Sciweavers

1026 search results - page 91 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
SEKE
2004
Springer
15 years 5 months ago
Mapping UML Diagrams to a Petri Net Notation for System Simulation
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
Zhaoxia Hu, Sol M. Shatz
IJIT
2004
15 years 1 months ago
Modeling Biology Inspired Reactive Agents Using X-machines
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
George Eleftherakis, Petros Kefalas, Anna Sotiriad...
ISSTA
1989
ACM
15 years 3 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
ICSE
2007
IEEE-ACM
15 years 12 months ago
Ajaxifying Classic Web Applications
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
Ali Mesbah
MODELS
2009
Springer
15 years 4 months ago
Report of the 14th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 14th Workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven Engineering Languages and Sy...
Jörg Kienzle, Jeff Gray, Dominik Stein, Thoma...