Using state machines to model and manage requirements changes and specification changes
暂无分享,去创建一个
[1] Jesse H. Poore,et al. Management of requirements changes in sequence-based software specifications , 2006 .
[2] Harlan D. Mills,et al. Trace: Tennessee Research and CreativeExchange , 2022 .
[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] Ryszard Janicki,et al. Foundations of the Trace Assertion Method of Module Interface Specification , 2001, IEEE Trans. Software Eng..
[6] JanickiRyszard,et al. Foundations of the Trace Assertion Method of Module Interface Specification , 2001 .
[7] Stacy J. Prowell,et al. Sequence‐based software specification of deterministic systems , 1998 .
[8] Bogdan Korel,et al. Understanding modifications in state-based models , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..
[9] Helmut Jürgensen,et al. Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules , 2007, Int. J. Found. Comput. Sci..
[10] David Lorge Parnas,et al. Using assertions about traces to write abstract specifications for software modules , 1978, ECI.