Communicating sequential processes
Communicating sequential processes
Improving Software Productivity
Computer
A field study of the software design process for large systems
Communications of the ACM
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
A classical mind
Software maintenance: an approach to impact analysis of objects change
Software—Practice & Experience
Sequence-based software specification of deterministic systems
Software—Practice & Experience
Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
Derivatives of Regular Expressions
Journal of the ACM (JACM)
The new math of computer programming
Communications of the ACM
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Impact analysis in the software change process: a year 2000 perspective
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Change Analysis: A Step towards Meeting the Challenge of Changing Requirements
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Enhancing Requirements and Change Management through Process Modeling and Measurement
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Impact Analysis and Change Management of UML Models
ICSM '03 Proceedings of the International Conference on Software Maintenance
Academia and industry meet: Some experiences of formal methods in practice
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Understanding Modifications in State-Based Models
IWPC '04 Proceedings of the 12th IEEE International Workshop on Program Comprehension
Change Impact Analysis for Requirement Evolution using Use Case Maps
IWPSE '05 Proceedings of the Eighth International Workshop on Principles of Software Evolution
Representation of a class of nondeterministic semiautomata by canonical words
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Supporting Change Impact Analysis for Service Oriented Business Applications
SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
Management of requirements changes in sequence-based software specifications
Management of requirements changes in sequence-based software specifications
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
An axiom system for sequence-based specification
Theoretical Computer Science
A systematic testing approach for autonomousm mobile robots using domain-specific languages
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Dealing with known unknowns: towards a game-theoretic foundation for software requirement evolution
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
Hi-index | 0.00 |
Requirements change both during and after a phase of development for a variety of reasons, including error correction and feature changes. Requirements change management is one of the most complex and difficult problems to deal with in requirements elicitation and tracking. It is generally not understood how a specific change propagates through the specification and into the code. In this paper we capture requirements changes as series of atomic changes in specifications. Using a rigorous specification method called sequence-based specification, we propose a set of algorithms for managing all possible atomic requirements changes. The algorithms have been formulated within an axiom system for sequence-based specification and proven for correctness. They have also been implemented in a prototype tool with which users are able to push requirements changes through to changes in specifications, maintain old specifications over time and evolve them into new specifications with the least amount of human interaction and rework. The approach of utilizing state machines to model and manage requirements changes guarantees strong evidence about the correctness and completeness of the proposed theory that will lead to more reliable software in the presence of change, especially with embedded systems and safety-critical systems. The solution described is general enough for adoption by software and system developers, and well suited for incremental development. Copyright © 2008 John Wiley & Sons, Ltd.