7209 search results - page 238 / 1442 » Software Engineering for Multi-Agent Systems |
107
Voted
B
1998
Springer
15 years 4 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...
78
Voted
ICSM
2005
IEEE
15 years 6 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...
108
Voted
CGO
2008
IEEE
15 years 2 months 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...
142
click to vote
ISCI
2011
14 years 7 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 ...
94
Voted
FASE
2009
Springer
15 years 7 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 ...