Part I: the RESOLVE framework and discipline

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Part I: the RESOLVE framework and discipline: a research synopsis

Full text

Pdf (565 KB)

Source

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

Pages: 23 - 28

Year of Publication: 1994

ISSN:0163-5948

Authors

William F. Ogden
Murali Sitaraman
Bruce W. Weide
Stuart H. Zweben

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 11, Citation Count: 9

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.190681 What is a DOI?

CITED BY 9

	IEEE Transactions on Software Engineering staff, Guest Editorial: Introduction to the Special Section, IEEE Transactions on Software Engineering, v.23 n.2, p.65-66, February 1997
	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 , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
	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
	Yoonsik Cheon , Gary Leavens , Murali Sitaraman , Stephen Edwards, Model variables: cleanly supporting abstraction in design by contract: Research Articles, Software—Practice & Experience, v.35 n.6, p.583-599, May 2005
	Kyle D. Ross, Towards an automatic complexity analysis for generic programs, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	John C. Knight , Michael F. Dunn, Software quality through domain-driven certification, Annals of Software Engineering, 5, p.293-315, 1998
	A. Mili , R. Mili , R. T. Mittermeir, A survey of software reuse libraries, Annals of Software Engineering, 5, p.349-414, 1998