Specification and verification of component-based systems 2007

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specification and verification of component-based systems 2007

Full text

Pdf (449 KB)

Source

Foundations of Software Engineering archive
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering table of contents

Dubrovnik, Croatia

WORKSHOP SESSION: Workshops summaries table of contents

Pages: 609 - 610

Year of Publication: 2007

ISBN:978-1-59593-811-4

Authors

Jonathan Aldrich	Carnegie Mellon, Pittsburgh, PA
Mike Barnett	Microsoft Research, Redmond, WA
Dimitra Giannakopoulou	RIACS/NASA Ames Research Center, Moffet Field, CA
Gary T. Leavens	Iowa State University, Ames, IA
Natasha Sharygina	University of Lugano, Lugano, Switzerland

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 49, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1287624.1287724 What is a DOI?

ABSTRACT

SAVCBS is a workshop for research and experience reports on the specification and verification of component-based systems.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

http://www.cs.iastate.edu/~leavens/SAVCBS/index.html

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification