|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 31 gevonden artikelen
| Titel: |
A Rewriting Framework for Rule-Based Programming Dynamic Applications |
| Auteur: |
Doroshenko, Anatoliy Shevchenko, Ruslan |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 72 (2006) nr. 1-3 pagina's 95-108 |
| Jaar: |
2006-08-08 |
| Inhoud: |
In recent years light-weighted formal methods in construction and analysis of complex concurrent software system are of growing interest. In this paper a new rule-action based term rewriting framework, called TermWare, is proposed and its application to software system analysis is described to provide better cost effectiveness of software maintenance under varied requirements and specifications of operation. The main advantage is light-weighted formal model based on not computational semantics but on particular properties of software system to be analyzed. Such approach eliminates the need in full formal analysis of software system and allows extreme flexibility of applications in two major concerns: high adaptability to changeable environment and easy reengineering and component reuse. The language and formal semantics of the system are defined. A new semantic model, called term system with action, is proposed for TermWare. A case study with some representative examples in source code analysis and software development with TermWare framework is presented. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 31 gevonden artikelen
| << vorige | volgende >> |