7209 search results - page 238 / 1442 » Software Engineering for Multi-Agent Systems |
B
1998
Springer
14 years 3 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
ICSM
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
CGO
2008
IEEE
14 years 23 days ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
ISCI
2011
13 years 5 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...
FASE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...