1121 search results - page 72 / 225 » Building Formal Requirements Models for Reliable Software |
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
131
click to vote
APSCC
2008
IEEE
15 years 1 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
107
click to vote
COMPSAC
2007
IEEE
15 years 17 hour ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
BIRTHDAY
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
114
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...