archives

SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001. Technical Report 01-09, Computer Science, Iowa State Univeristy.

Full text available as:Adobe PDF

Abstract

These are the proceedings of the Workshop on Specification and Verification of Component-Based Systems. The workshop was held at OOPSLA 2001.

Keywords:specification, verification, component-based systems
Comments:See also http://www.cs.iastate.edu/~leavens/SAVCBS/index.html
Subjects:Software: PROGRAMMING TECHNIQUES (E)
Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Testing and Debugging
Software: SOFTWARE ENGINEERING (K.6.3): Distribution, Maintenance, and Enhancement
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)
ID code:00000249
Deposited by:Gary T. Leavens on 11 October 2001
Alternative Locations:http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001/TR.pdf



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