Íomhá chlúdaigh

Modular verification of collaboration-based software designs.

Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, collaboration-based software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting collaboration-base...

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:Software engineering notes. 26, 5 (2001).
Príomhchruthaitheoir: Fisler, Kathi
Formáid: Alt
Teanga:Béarla
Ábhair:
Software.
Software engineering.
Software / Program Verification.
Model checking.
Software architectures.
Languages (e.g., description, interconnection, definition).
Design tools and techniques.
Modules and interfaces.
Theory of computation.
Logics and meanings of programs.
Specifying and Verifying and Reasoning about Programs.
Specification techniques.
Design.
Verification.
Aspect oriented programming.
Collaboration based design.
Compositional reasoning.
Computer-aided verification.
Software architecture.