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 (446 KB)

Source

Foundations of Software Engineering archive
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers table of contents

Dubrovnik, Croatia

WORKSHOP SESSION: Workshops summaries table of contents

Pages: 609 - 610

Year of Publication: 2007

ISBN:978-1-59593-812-1

Authors

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

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
CEPIS : The Council of European Professional Informatics Societies

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 18, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/1295014.1295056 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