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