SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

Date
2004-01-01
Authors
Barnett, Mike
Edwards, Stephen
Giannakopoulou, Dimitra
Leavens, Gary
Sharygina, Natasha
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Abstract

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability.

Description
Keywords
Specification, Verification, Component-Based Systems
Citation
DOI
Source
Collections