Formal specification of COTS-based software: A case study

Proceedings of the 1999 Symposium on Software Reusability, SSR 1999

Volumn , Issue , 1999, Pages 83-91

  Addy, Edward A ^a   Sitaraman, Murali ^b  

^a NASA HEADQUARTERS   (United States)

^b West Virginia University   (United States)

Author keywords

And RESOLVE; COTS products; Specification; Testing; Verification

Indexed keywords

FORMAL SPECIFICATION; NASA; REUSABILITY; SPECIFICATIONS; TESTING; VERIFICATION;

AND RESOLVE; COMMERCIAL OFF-THE-SHELF PRODUCTS; COTS PRODUCTS; SOFTWARE SYSTEMS; SURFACE MOVEMENT;

COMPUTER SOFTWARE REUSABILITY;

EID: 1642585457     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/303008.303034     Document Type: Conference Paper

References (21)

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. Y. Chen and B. H. C. Cheng, "Formalizing and Automating Component Reuse," in Proceedings of the 9th International Conference on Tools with Artificial Intelligence (Newport Beach CA, November 1997), IEEE Computer Society Press, 94-101.
3. G. W. Ernst, et. al., "Modular Verification of Ada Generics," Computer Languages, 16, 3/4 (March/April 1991), 259-280.
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. J. E. Hollingsworth, et. al., "RESOLVE Components in Ada and C++," Software Engineering Notes, 19, 4 (October 1994), 52-63.
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. G. T. Leavens, "Modular Specification and Verification of Object-Oriented Programs", IEEE Software, 8, 4 (July 1991), 72-80.
10. G. T. Leavens, O. Nierstrasz, and M. Sitaraman, "1997 Workshop on Foundations of Component-Based Systems," Software Engineering Notes, 23, 1 (January 1998), 38-41.
11. B. Meyer, "Applying 'Design by Contract'," Computer, 26, 10 (Oct 1992), 40-51.
12. P. A. Oberndorf, et. al., Workshop on COTS-Based Systems, Software Engineering Institute, CMU/SEI-97-SR-109, November 1997.
13. J. Rushby, S. Owre, and N. Shankar, "Subtypes for Specifications: Predicate Subtyping in PVS," IEEE Transactions on Software Engineering, 24, 9 (September 1998), 709-720.
14. Surface Movement Advisor Build 1 System Requirements Document, SMA-110, National Aeronautics and Space Administration, Ames Research Center, June 1995.
15. M. Sitaraman and B. Weide, "Component-Based Software using RESOLVE," Software Engineering Notes, 19, 4 (October 1994), 21-67.
16. J. M. Voas, "The Challenges of Using COTS Software in Component-Based Development," Computer, 31, 6 (June 1998), 44-45.
17. J. M. Voas, "Certifying Off-the-Shelf Components," Computer, 31, 6 (Jun 1998), 53-59.
18. B. W. Weide, William F. Ogden, and Murali Sitaraman, "Recasting Algorithms to Encourage Reuse," IEEE Software, 11, 5 (September 1994), 80-88.
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. E. J. Weyuker, "Testing Component-Based Software: A Cautionary Tale," IEEE Software, 15, 5 (September/October 1998), 54-59.
21. J. M. Wing, "A Specifier's Introduction to Formal Methods", Computer, 29, 9 (September 1990), 8-24.