Formal specification of COTS-based software

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal specification of COTS-based software: a case study

Full text

Pdf (1.27 MB)

Source

Symposium on Software Reusability archive
Proceedings of the 1999 symposium on Software reusability table of contents

Los Angeles, California, United States

Pages: 83 - 91

Year of Publication: 1999

ISBN:1-58113-101-1

Authors

Edward A. Addy	NASA/WVU Software Research Lab., 100 University Drive, Fairmont, WV
Murali Sitaraman	Computer Science and Electrical Engineering, West Virginia University. Morgantown, WV

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 21, Citation Count: 1

Additional Information:

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

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.

	1	D. Carney and P. Obemdorf, "The Commandments of COTS: Still in Search of the Promised Land," Crosstalk, 10, 5 (may 1997), 25-30.
	2	Betty Cheng, Formalizing and Automating Component Reuse, Proceedings of the 9th International Conference on Tools with Artificial Intelligence, p.94, November 03-08, 1997
	3	George W. Ernst , Raymond J. Hookway , James A. Menegay , William F. Ogden, Modular verification of Ada generics, Computer Languages, v.16 n.3-4, p.259-280, 1991 [doi>10.1016/0096-0551(91)90010-7]
	4	"Use of COTS/NDI in Safety-Critical Systems," Challenge 200 Subcommittee of the FAA Research, Engineering, and Development Advisory Committee, February 1996.
	5	W. Heym, et. al., Mathematical Foundations and Notation of RESOLVE, Tech Report OSU-CISRC-8/94/TR45, revised September 1998, Department of Computer and Information Science, The Ohio State University, Columbus, OH.
	6	Joseph E. Hollingsworth , Sethu Sreerama , Bruce W. Weide , Sergey Zhupanov, Part IV: RESOLVE components in Ada and C++, ACM SIGSOFT Software Engineering Notes, v.19 n.4, p.52-63, Oct. 1994 [doi>10.1145/190679.190684]
	7	J. Jeng and B. H. C. Cheng, "A Formal Approach to Reusing More General Components," in Proceedings of the 9th Knowledge-Based Software Engineering Conference (Monterey CA, September 1994), IEEE Computer Society Press, 90-97.
	8	R.J. Leach, Software Reuse, McGraw-Hill, New York, 1997.
	9	Gary T. Leavens, Modular Specification and Verification of Object-Oriented Programs, IEEE Software, v.8 n.4, p.72-80, July 1991 [doi>10.1109/52.300040]
	10	Gary T. Leavens , Oscar Nierstrasz , Murali Sitaraman, 1997 workshop on foundations of component-based systems, ACM SIGSOFT Software Engineering Notes, v.23 n.1, p.38-41, January 1998 [doi>10.1145/272263.272272]
	11	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992 [doi>10.1109/2.161279]
	12	P. A. Oberndorf, et. al., Workshop on COTS-Based Systems, Software Engineering Institute, CMU/SEI-97-SR-109, November 1997.
	13	John Rushby , Sam Owre , Natarajan Shankar, Subtypes for Specifications: Predicate Subtyping in PVS, IEEE Transactions on Software Engineering, v.24 n.9, p.709-720, September 1998 [doi>10.1109/32.713327]
	14	Surface Movement Advisor BuiM I System Requirements Document, SMA-iI0, National Aeronautics and Space Administration, Ames Research Center, June 1995.
	15	Marulli Sitariman , Bruce Weide, Component-based software using RESOLVE, ACM SIGSOFT Software Engineering Notes, v.19 n.4, p.21-22, Oct. 1994 [doi>10.1145/190679.199221]
	16	Jeffrey M. Voas, The Challenges of Using COTS Software in Component-Based Development, Computer, v.31 n.6, p.44-45, June 1998 [doi>10.1109/MC.1998.683006]
	17	Jeffrey M. Voas, Certifying Off-the-Shelf Software Components, Computer, v.31 n.6, p.53-59, June 1998 [doi>10.1109/2.683008]
	18	Bruce W. Weide , William F. Ogden , Murali Sitaraman, Recasting Algorithms to Encourage Reuse, IEEE Software, v.11 n.5, p.80-88, September 1994 [doi>10.1109/52.311066]
	19	B. W. Weide and Joseph E. Hollingsworth, On Local Certifiability of Software Components, Tech Report OSU- CISRC- 1/94-TR04, Department of Computer and Information Science, The Ohio State University, 1994.
	20	Elaine J. Weyuker, Testing Component-Based Software: A Cautionary Tale, IEEE Software, v.15 n.5, p.54-59, September 1998 [doi>10.1109/52.714817]
	21	Jeannette M. Wing, A Specifier's Introduction to Formal Methods, Computer, v.23 n.9, p.8-23, September 1990 [doi>10.1109/2.58215]