ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to VLSI Systems
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Predicate Diagrams for the Verification of Reactive Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Engineering the usability of visual formalisms: a case study in real time logics
AVI '98 Proceedings of the working conference on Advanced visual interfaces
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Dynamic graphical UML views from formal B specifications
Information and Software Technology
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
Predicate-action diagrams, which are similar to standard state-transition diagrams, are precisely defined as formulas of TLA (the Temporal Logic of Actions). We explain how these diagrams can be used to describe aspects of a specification驴and those descriptions then proved correct驴even when the complete specification cannot be written as a diagram. We also use the diagrams to illustrate proofs.