2838 search results - page 1 / 568 » Verifying Controlled Components |
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
ICCS
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
RSP
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...