Part II: specifying components in RESOLVE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Part II: specifying components in RESOLVE

Full text

Pdf (819 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 19 , Issue 4 (October 1994) table of contents

Pages: 29 - 39

Year of Publication: 1994

ISSN:0163-5948

Authors

Stephen H. Edwards
Wayne D. Heym
Timothy J. Long
Murali Sitaraman
Bruce W. Weide

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

cited by 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/190679.190682 What is a DOI?

CITED BY 6

	Stéphane Ducasse , Oscar Nierstrasz , Nathanael Schärli , Roel Wuyts , Andrew P. Black, Traits: A mechanism for fine-grained reuse, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.331-388, March 2006
	Gary T. Leavens , Yoonsik Cheon , Curtis Clifton , Clyde Ruby , David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005
	Gary T. Leavens , Jean-Raymond Abrial , Don Batory , Michael Butler , Alessandro Coglio , Kathi Fisler , Eric Hehner , Cliff Jones , Dale Miller , Simon Peyton-Jones , Murali Sitaraman , Douglas R. Smith , Aaron Stump, Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
	Bruce W. Weide, SAVCBS 2006 challenge: specification of iterators, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon
	Paul C. Clements, A Survey of Architecture Description Languages, Proceedings of the 8th International Workshop on Software Specification and Design, p.16, March 22-23, 1996
	Murali Sitaraman , Jason O. Hallstrom , Jarred White , Svetlana Drachova-Strang , Heather K. Harton , Dana Leonard , Joan Krone , Rich Pak, Engaging students in specification and reasoning: "hands-on" experimentation and evaluation, ACM SIGCSE Bulletin, v.41 n.3, September 2009