Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
Communication and concurrency
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software engineering mathematics
Software engineering mathematics
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symbolic Model Checking
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Principles of Program Design
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
Specifying and analysing multimedia systems
Formal methods for distributed processing
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Requirements interaction management
ACM Computing Surveys (CSUR)
Formalisms for multi-agent systems
The Knowledge Engineering Review
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Towards a solution for synchronizing disparate models of ultra-large-scale systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
NAOMI --- An Experimental Platform for Multi---modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |
We propose a technique to help people organize and write complex specifications, exploiting the best features of several different specification languages. Z is supplemented, primarily with automata and grammars, to provide a rigorous and systematic mapping from input stimuli to convenient operations and arguments for the Z specification. Consistency analysis of the resulting specificaiton is based on the structural rules. The technique is illustrated by two examples, a graphical human-computer interface and a telecommunications system.