High-Integrity System Specification and Design

Authors:
Michael G. Hinchey;J. P. Bowen;S. A. Schuman
Affiliations:
-;-;-
Venue:
High-Integrity System Specification and Design
Year:
1999

Citing 0
Cited 15

The ethics of safety-critical systems

Communications of the ACM
Experience teaching Z with tool and web support

ACM SIGSOFT Software Engineering Notes
Ravenscar-Java: a high integrity profile for real-time Java

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
An Approach to the Specification and Verification of a Hardware Compilation Scheme

The Journal of Supercomputing
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Assessment of the Java programming language for use in high integrity systems

ACM SIGPLAN Notices
Confessions of a formal methodist

SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Design of self-managing dependable systems with UML and fault tolerance patterns

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS

Journal of Integrated Design & Process Science
Formal verification of security specifications with common criteria

Proceedings of the 2007 ACM symposium on Applied computing
Software engineering and formal methods

Communications of the ACM - Enterprise information integration: and other tools for merging data
Desert Island Column

Automated Software Engineering
Software architecture awareness in long-term software product evolution

Journal of Systems and Software
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments

Proceedings of the Workshop on Performance Metrics for Intelligent Systems

Quantified Score

Hi-index	0.02

Visualization

Abstract

From the Publisher:This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Jonathan Bowen and Michael Hinchey, along with reprints of classic articles on high-integrity systems which have never before appeared together in a single volume.