Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The composability of ASTRAL realtime specifications
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
How to deal with deviations during process model enactment
Proceedings of the 17th international conference on Software engineering
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Comparing formal specifications by measuring
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Hybrid object-oriented real-time software development with VDM/sup ++/
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Hi-index | 0.00 |