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
How Accurate is Scientific Software?
IEEE Transactions on Software Engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multiple mass-market applications as components
Proceedings of the 22nd international conference on Software engineering
Galileo: a tool built from mass-market applications
Proceedings of the 22nd international conference on Software engineering
Safety critical systems: challenges and directions
Proceedings of the 24th International Conference on Software Engineering
Package-Oriented Software Engineering: A Generic Architecture
IT Professional
Prospects for an Engineering Discipline of Software
IEEE Software
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Engineering modeling and analysis: sound methods and effective tools
Engineering modeling and analysis: sound methods and effective tools
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
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.00 |
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, dependable tools; and low engineering costs. Today we lack adequate means to develop such methods. We present a partial solution combining two techniques: formal methods for language design, and package-oriented programming for function and usability at low cost. We have evaluated the approach in an end-to-end experiment. We deployed an existing reliability method to NASA in a package-oriented tool and surveyed engineers to assess its usability. We formally specified, improved, and validated the language. To assess cost, we built a package-based tool for the new language. Our data show that the approach can enable costeffective deployment of sound methods by effective tools.