Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Functional documents for computer systems
Science of Computer Programming
Proceedings of the 17th international conference on Software engineering
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Practical software requirements: a manual of content and style
Practical software requirements: a manual of content and style
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
A Reference Model for Requirements and Specifications
IEEE Software
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Software Requirements
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Optimieren von Requirements Management & Engineering: Mit dem HOOD Capability Model (Xpert.press)
Optimieren von Requirements Management & Engineering: Mit dem HOOD Capability Model (Xpert.press)
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Concurrency, Graphs and Models
On Non-Functional Requirements in Software Engineering
Conceptual Modeling: Foundations and Applications
Incremental System Modelling in Event-B
Formal Methods for Components and Objects
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Requirements Engineering: Fundamentals, Principles, and Techniques
Requirements Engineering: Fundamentals, Principles, and Techniques
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Rodin: an open toolset for modelling and reasoning in Event-B
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on VSTTE 2008
Dependability Arguments with Trusted Bases
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
On fitting a formal method into practice
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Reasoning about liveness properties in event-B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
On Using B in the Design of Secure Micro-controllers: An Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated property verification for large scale B models with ProB
Formal Aspects of Computing
B in large-scale projects: the canarsie line CBTC experience
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Control Systems: Phenomena and Structuring Functional Requirement Documents
ICECCS '12 Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The creation of a consistent system description is a challenging problem of requirements engineering. Formal and informal reasoning can greatly contribute to meet this challenge. However, this demands that formal and informal reasoning and the system description are connected in such a way that the reasoning permits drawing conclusions about the system description. We describe an incremental approach to requirements modelling and validation that incorporates formal and informal reasoning. Our main contribution is an approach to requirements tracing that delivers the necessary connection that links the reasoning to the system description. Formal refinement is used in order to deal with large and complex system descriptions. We discuss tool support for our approach to requirements tracing that combines informal requirements modelling with formal modelling and verification while tracing requirements among each other and into the formal model.