Galileo: a tool built from mass-market applications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 750-753

  Coppit, David ^a   Sullivan, Kevin J ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE COMPONENT INTEGRATION; PACKAGE ORIENTED PROGRAMMING; SOFTWARE PACKAGE COTS; SOFTWARE PACKAGE GALILEO; SOFTWARE PACKAGE INTERNET EXPLORER; SOFTWARE PACKAGE MICROSOFT WORD; SOFTWARE PACKAGE VISIO;

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; GRAPHICAL USER INTERFACES; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS; SOFTWARE PROTOTYPING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033683198     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Anju Anand and Arun K. Somani, "Hierarchical analysis of fault trees with dependencies, using decomposition," In Proceedings of the Reliability and Maintainability Symposium, January 1998, pages 6975.
2. Ted Biggerstaff and Charles Richter. Reusability framework, assessment, and directions. IEEE Software, 4(2):41-9, March 1987.
3. Mark A. Boyd, Dynamic Fault tree models: Techniques for Analysis of Advanced Fault Tolerant Computer Systems, Ph.D. thesis. Department of Computer Science, Duke University, 1990.
4. David Coppit and Kevin J. Sullivan. Formal specification in collaborative design of critical software tools. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 13-20, Washington, D.C., 13-14 November 1998. IEEE.
5. David Coppit and K. J. Sullivan, "Multiple mass-market applications as components," Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, 4-11 June 2000.
6. David Coppit and Kevin J. Sullivan. "Unwrapping." Technical Report CS-98-08, Department of Computer Science, University of Virginia, 4 May 1998.
7. Joanne Bechta Dugan, Salvatore J. Bavuso and Mark A. Boyd, "Dynamic fault tree models for fault tolerant computer systems," IEEE Transactions on Reliability, Volume 41, Number 3, pages 363-377, September 1992.
8. Dugan, Venkataraman, and Gulati, "DIFtree: A software package for the analysis of dynamic fault tree models," Proceedings of the 1997 Reliability and Maintainability Symposium, January 1997.
9. Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a low-cost, high-quality software tool for dynamic fault tree analysis. Transactions on Reliability (to appear).
10. David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17-26, November 1995.
11. Rohit Gulati and Joanne Bechta Dugan, "A modular approach for analyzing static and dynamic fault trees," in Proceedings of the Reliability and Maintainability Symposium, January 1997.
12. Ragavan Manian, "Software architectural design and implementation of a dynamic fault tree analyzer," Master's Thesis, University of Virginia, August 1998.
13. Microsoft Corporation, Visio. http://www.visio.com/
14. Reliasoft. http://www.reliasoft.com/
15. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
16. Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, and David Coppit, "Package-oriented programming of engineering tools," In Proceedings of the 19th International Conference on Software Engineering, pages 616-617, Boston, Massachusetts, 17-23 May 1997, IEEE.
17. Kevin J. Sullivan, Joanne Bechta Dugan and David Coppit, "The Galileo Fault Tree Analysis Tool," Proceedings of the 29th International Conference on Fault-Tolerant Computing (FTCS-29), 1999.
18. K. J. Sullivan and J.C. Knight, "Building Programs from Massive Components," in Proceedings of the 21st Annual Software Engineering Workshop, Greenbelt, MD, Dec. 4-5, 1996.
19. K. J. Sullivan and J.C. Knight, "Experience Assessing an Architectural Approach to Large-Scale, Systematic Reuse," Proceedings of the 18th International Conference on Software Engineering, Berlin, March 1996, pages 220-229.
20. United States Nuclear Regulatory Commission, Fault Tree Handbook, NUREG-0492, 1981.