Management of Requirements Changes in Sequence-Based Specifications

Ordinary requirements come in many forms, natural languages, equations, tables, charts, predecessor systems, and ideas in the minds of domain experts. All forms can contain ambiguities, errors, and omissions. They change both during and after a phase of development. Sequence-based specification has in many field applications been effective in converting ordinary requirements to precise specifications through a constructive process. Algorithms for managing requirements changes meet a very great need in applications of sequence-based specification. In this paper we explore the change theory developed with the aid of an axiom system for sequence-based specification, and present algorithms for managing requirements changes of various kinds. This has established the basis for maximizing potential automation support and producing benefits in field applications as well as further development of sequencebased specification.

[1]  Ryszard Janicki,et al.  Foundations of the Trace Assertion Method of Module Interface Specification , 2001, IEEE Trans. Software Eng..

[2]  Stacy J. Prowell,et al.  Sequence‐based software specification of deterministic systems , 1998 .

[3]  Andrew Seawright,et al.  Clairvoyant: a synthesis system for production-based specification , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[4]  Stacy J. Prowell,et al.  Foundations of Sequence-Based Software Specification , 2003, IEEE Trans. Software Eng..

[5]  Philippa J. Hopcroft,et al.  Academia and industry meet: some experiences of formal methods in practice , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[6]  Stacy J. Prowell,et al.  SEQUENCE-BASED SPECIFICATION OF CRITICAL SOFTWARE SYSTEMS , 2004 .

[7]  S. Prowell,et al.  Sequence-Based Software Specification of Deterministic Systems , 1998, Softw. Pract. Exp..

[8]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[9]  Stacy J. Prowell,et al.  Cleanroom software engineering: technology and process , 1999 .

[10]  Andrew William Roscoe,et al.  Model-checking CSP , 1994 .

[11]  Constance L. Heitmeyer,et al.  SCR*: A Toolset for Specifying and Analyzing Software Requirements , 1998, CAV.

[12]  Philippa J. Hopcroft,et al.  Combining the Box Structure Development Method and CSP for Software Development , 2005, Electron. Notes Theor. Comput. Sci..

[13]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[14]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[15]  Carmen J. Trammell,et al.  Engineering Practices for Statistical Testing , 1998 .

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[17]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[18]  Harlan D. Mills,et al.  Stepwise refinement and verification in box-structured systems , 1988, Computer.

[19]  Jesse H. Poore,et al.  Management of requirements changes in sequence-based software specifications , 2006 .

[20]  Bogdan Korel,et al.  Understanding modifications in state-based models , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..