Relational heuristics for the design of deterministic programs
Acta Informatica
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Communications of the ACM - Special issue on analysis and modeling in software development
Categorizing scenarios: a quixotic quest?
ACM SIGCHI Bulletin
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal Approach to Scenario Analysis
IEEE Software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer program construction
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Embedding a demonic semilattice in a relation algebra
Theoretical Computer Science
A relational calculus for program construction by parts
Science of Computer Programming - Special issue on mathematics of program construction
Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Relational methods in computer science
Relational methods in computer science
Refinement and demonic semantics
Relational methods in computer science
Tabular representations in relational documents
Relational methods in computer science
A scenario-based methodology for conducting requirements elicitation
ACM SIGSOFT Software Engineering Notes
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
A formal approach to scenario integration
Annals of Software Engineering
IEEE Transactions on Software Engineering
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Utilizing Scenarios in the Software Development Process
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
Consistency and Refinement for Partial Specification in Z
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
WILL THE REAL SCENARIO PLEASE STAND UP?
ACM SIGCHI Bulletin
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Telecommunications Systems - Modeling, analysis, design and management
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
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.01 |