SAVCBS 2003: Specification and Verification of Component-Based Systems

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra and Leavens, Gary T. (2003) SAVCBS 2003: Specification and Verification of Component-Based Systems. Technical Report 03-11, Computer Science, Iowa State University.

Full text available as:

Adobe PDF

Abstract

These are the proceedings for the SAVCBS 2003 workshop. This workshop was held at ESEC/FSE 2003 in Helsinki Finland in September 2003.

Keywords:	specification, verification, component-based systems, formal methods
Subjects:	Software: PROGRAMMING TECHNIQUES (E) Software: PROGRAMMING TECHNIQUES (E): Object-oriented Programming 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) 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:	00000311
Deposited by:	Gary T. Leavens on 19 September 2003
Alternative Locations:	http://www.cs.iastate.edu/~leavens/SAVCBS/2003/papers/SABCBS03.pdf

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