7209 search results - page 447 / 1442 » Software Engineering for Multi-Agent Systems |
115
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
120
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
126
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
138
Voted
VAMOS
2008
Springer
15 years 4 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...