Component-based software using RESOLVE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Component-based software using RESOLVE

Full text

Pdf (182 KB)

Source

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

Pages: 21 - 22

Year of Publication: 1994

ISSN:0163-5948

Authors

Marulli Sitariman
Bruce Weide

Publisher

ACM New York, NY, USA

Bibliometrics

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

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

CITED BY 36

	John Hayward , Stephen Bale, Refinement of Z specifications using reusable software components in Ada, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.95-104, November 05-10, 1995, Anaheim, California, United States
	James D. Mooney, Portability and reusability: common issues and differences, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.150-156, February 28-March 02, 1995, Nashville, Tennessee, United States
	Murali Sitaraman , Timothy J. Long , Bruce W. Weide , E. James Harpner , Liqing Wang, A formal approach to component-based software engineering: education and evaluation, Proceedings of the 23rd International Conference on Software Engineering, p.601-609, May 12-19, 2001, Toronto, Ontario, Canada
	Timothy J. Long , Bruce W. Weide , Paolo Bucci , David S. Gibson , Joe Hollingsworth , Murali Sitaraman , Steve Edwards, Providing intellectual focus to CS1/CS2, ACM SIGCSE Bulletin, v.30 n.1, p.252-256, Mar. 1998
	Paolo Bucci , Timothy J. Long , Bruce W. Weide, Do we really teach abstraction?, ACM SIGCSE Bulletin, v.33 n.1, p.26-30, March 2001
	Allen Parrish , Brandon Dixon , David Cordes, Binary software components in the undergraduate computer science curriculum, ACM SIGCSE Bulletin, v.33 n.1, p.332-336, March 2001
	Murali Sitaraman , Greg Kulczycki , Joan Krone , William F. Ogden , A. L. N. Reddy, Performance specification of software components, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.3-10, May 2001
	Edward A. Addy , Murali Sitaraman, Formal specification of COTS-based software: a case study, Proceedings of the 1999 symposium on Software reusability, p.83-91, May 21-23, 1999, Los Angeles, California, United States
	M. Aronszajn , M. Sitaranman , S. Atkinson , G. Kulczycki, A system for predictable component-based software construction, High integrity software, Kluwer Academic Publishers, Norwell, MA, 2001
	Joseph E. Hollingsworth , Lori Blankenship , Bruce W. Weide, Experience report: using RESOLVE/C++ for commercial software, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.11-19, Nov. 2000
	Jose M. Mantas Ruiz , Julio Ortega Lopera , Jose A. Carrillo de la Plata, Component-based derivation of a parallel stiff ODE solver implemented in a cluster of computers, International Journal of Parallel Programming, v.30 n.2, p.99-148, April 2002
	Bruce W. Weide , William F. Ogden , Murali Sitaraman, Recasting Algorithms to Encourage Reuse, IEEE Software, v.11 n.5, p.80-88, September 1994
	Stephen H. Edwards, Representation Inheritance: A Safe Form of "White Box" Code Inheritance, IEEE Transactions on Software Engineering, v.23 n.2, p.83-92, February 1997
	Emily Howe , Matthew Thornton , Bruce W. Weide, Components-first approaches to CS1/CS2: principles and practice, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	Scott Thibault , Charles Consel, A framework for application generator design, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.131-135, May 1997
	Paolo Bucci , Timothy J. Long , Bruce W. Weide, Teaching software architecture principles in CS1/CS2, Proceedings of the third international workshop on Software architecture, p.9-12, November 01-05, 1998, Orlando, Florida, United States
	Murali Sitaraman , Bruce W. Weide , William F. Ogden, On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations, IEEE Transactions on Software Engineering, v.23 n.3, p.157-170, March 1997
	Don Batory , Bart J. Geraci, Composition Validation and Subjectivity in GenVoca Generators, IEEE Transactions on Software Engineering, v.23 n.2, p.67-82, February 1997
	Stephen H. Edwards , Murali Sitaraman , Bruce W. Weide , Joseph Hollingsworth, Contract-Checking Wrappers for C++ Classes, IEEE Transactions on Software Engineering, v.30 n.11, p.794-810, November 2004
	Rym Mili , Ali Mili , Roland T. Mittermeir, Storing and Retrieving Software Components: A Refinement Based System, IEEE Transactions on Software Engineering, v.23 n.7, p.445-460, July 1997
	Stuart H. Zweben , Stephen H. Edwards , Bruce W. Weide , Joseph E. Hollingsworth, The Effects of Layering and Encapsulation on Software Development Cost and Quality, IEEE Transactions on Software Engineering, v.21 n.3, p.200-208, March 1995
	Hamzeh Roumani, Design guidelines for the lab component of objects-first CS1, ACM SIGCSE Bulletin, v.34 n.1, March 2002
	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
	Gregory Kulczycki , Murali Sitaraman , Bruce W. Weide , Atanas Rountev, A specification-based approach to reasoning about pointers, ACM SIGSOFT Software Engineering Notes, v.31 n.2, March 2006
	Joan Krone, A project approach to the theory of programming languages, Journal of Computing Sciences in Colleges, v.22 n.1, p.84-93, October 2006
	Ge Li , Lu Zhang , Yan Li , Bing Xie , Weizhong Shao, Shortening retrieval sequences in browsing-based component retrieval using information entropy, Journal of Systems and Software, v.79 n.2, p.216-230, February 2006
	Jose M. Mantas Ruiz , Julio Ortega Lopera , Jose A. Carrillo De La Plata, Component-Based Derivation of a Parallel Stiff ODE Solver Implemented in a Cluster of Computers, International Journal of Parallel Programming, v.30 n.2, p.99-148, April 2002
	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
	Nigamanth Sridhar, Serfs: Dynamically-bound parameterized components, Journal of Systems and Software, v.80 n.5, p.736-749, May, 2007
	Gregory Kulczycki , Jyotindra Vasudeo, Simplifying reasoning about objects with Tako, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon
	Nighat Yasmin, Incremental computation of shortest paths in semi-dynamic graphs using software components, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida
	Hong Mei, A Component Model for Perspective Management of Enterprise Software Reuse, Annals of Software Engineering, v.11 n.1, p.219-236, November 2001
	Stephen H. Edwards , Bruce W. Weide, WISR8: 8th annual workshop on software reuse: summary and working group reports, ACM SIGSOFT Software Engineering Notes, v.22 n.5, p.17-32, Sept. 1997
	Giacomo Cabri, Introducing join-computing, Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, p.144-148, February 20-22, 2008, Cambridge, UK
	Nighat Yasmin , Murali Sitaraman, Compositional performance prediction exemplified using generic object finalization analysis, Proceedings of the 47th Annual Southeast Regional Conference, March 19-21, 2009, Clemson, South Carolina
	Dana P. Leonard , Jason O. Hallstrom , Murali Sitaraman, Injecting rapid feedback and collaborative reasoning in teaching specifications, Proceedings of the 40th ACM technical symposium on Computer science education, March 04-07, 2009, Chattanooga, TN, USA