archives

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


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, Computer Science, Iowa State University.

Full text available as:Adobe PDF

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.

Keywords:Specification, Verification, Component-Based Systems.
Subjects:Software: PROGRAMMING TECHNIQUES (E): Concurrent Programming
Software: PROGRAMMING TECHNIQUES (E): Sequential Programming
Software: PROGRAMMING TECHNIQUES (E): Object-oriented Programming
Software: SOFTWARE ENGINEERING (K.6.3)
Software: SOFTWARE ENGINEERING (K.6.3): General (K.5.1)
Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: General
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Semantics of Programming Languages (D.3.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Studies of Program Constructs (D.3.2-3)
ID code:00000347
Deposited by:Gary T. Leavens on 09 November 2004
Alternative Locations:http://www.cs.iastate.edu/~leavens/SAVCBS/2004/savcbs04.pdf



Contact site administrator at: ssg@cs.iastate.edu