7202 search results - page 231 / 1441 » Software System Engineering: A Tutorial |
181
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
193
click to vote
COMPSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
175
click to vote
B
1998
Springer
15 years 10 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...
140
click to vote
ICSM
2005
IEEE
16 years 4 days 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...
183
click to vote
CGO
2008
IEEE
15 years 8 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...