Computer Language
The Z notation: a reference manual
The Z notation: a reference manual
Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems
Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems
Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
Package-oriented programming of engineering tools
ICSE '97 Proceedings of the 19th international conference on Software engineering
Multiple mass-market applications as components
Proceedings of the 22nd international conference on Software engineering
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Formal Specification in Collaborative Design of Critical Software Tools
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Unwrapping
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
A strategy for reliability assessment of future nano-circuits
ICC'07 Proceedings of the 11th Conference on Proceedings of the 11th WSEAS International Conference on Circuits - Volume 11
Bounds for two-terminal network reliability with dependent basic events
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Modeling agent-based traffic simulation properties in Alloy
Proceedings of the 2012 Symposium on Agent Directed Simulation
Hi-index | 0.00 |
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call package-oriented programming (POP). Galileo represents an ongoing evaluation of the POP approach, where multiple large, architecturally coherent components are tightly integrated in an overall software system. Galileo utilizes Microsoft Word, Internet Explorer, and Visio to provide a low cost, richly functional fault tree modeling superstructure. Based on the success of previous prototypes of the tool, we are now building a version for industrial use under an agreement with NASA Langley Research Center.