Sciweavers

1101 search results - page 142 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
KBSE
1999
IEEE
15 years 2 months ago
Automatically Structuring Textual Requirement Scenarios
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
Andreas Becks, Jörg Köller
ICSM
1996
IEEE
15 years 2 months ago
Preprocessors from an Abstract Point of View
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
Jean-Marie Favre
COMPSAC
2008
IEEE
14 years 11 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
CMOT
2011
14 years 1 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
UML
2001
Springer
15 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck