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
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
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
A compositional axiomatization of Statecharts
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
Categorizing scenarios: a quixotic quest?
ACM SIGCHI Bulletin
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Computation as logic
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Hilbert's tenth problem
Real-time object-oriented modeling
Real-time object-oriented modeling
Formal Approach to Scenario Analysis
IEEE Software
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
Mechanizing Formal Methods: Opportunities and Challenges
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
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
Automated Deduction and Formal Methods
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
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
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An algebra of product families
Software and Systems Modeling (SoSyM)
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Hi-index | 0.00 |
We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain a more global view of user-system interactions. We restrict ourselves to the sequential case, meaning that we suppose that there is only one user (thus, the scenarios we wish to integrate cannot occur concurrently). Our view of scenarios is state-based, rather than event-based, like most of the other approaches, and can be grafted to the well-established specification language Z. Also, the end product of scenario integration, the specification of the functional aspects of the system, is given as a relation; this specification can be refined using independently developed methods. Our formal description is coupled with a diagram-based, transition-system like, presentation of scenarios, which is better suited to communication between clients and specifiers.