Refinement and validation of software requirements using incremental simulation

IEICE Transactions on Information and Systems

Volumn E81-D, Issue 2, 1998, Pages 171-182

  Kang, Kyo Chul ^a   Lee, Kwan W ^a   Lee, Ji Young ^a   Kim, Jounghyun ^a   Kim, Hye Jung ^a  

^a Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

Incremental development; Real time systems; Requirements analysis; Requirements specification; Specification execution; Statechart; Validation; Verification

Indexed keywords

COMPUTER SIMULATION; DECISION SUPPORT SYSTEMS; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING;

INCREMENTAL SIMULATION; INCREMENTAL VALIDATION; SPECIFICATION EXECUTION; STATECHART;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0031996185     PISSN: 09168532     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. R.M. Balzer, D. Cohen, M.S. Feather, N.M. Goldman, W. Swartout, and D.S. Wile, "Operational Specification As The Basis For Specification Validation," Theory and Practice of Software Technology, North-Holland Publishing Company, pp.21-49, 1983.
2. J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, and B. Ritchie, "Proof in VDM: A Practitioner's Guide," Springer-Verlag, London, 1994.
3. B.W. Boehm, "A spiral model of software development and enhancement," IEEE Computer, pp.61-72, May 1988.
4. W. Bruyn, R. Jensen, D. Keskar, and P. Ward, "ESML: An extended systems modeling language based on the data flow diagram," ACM Software Engineering Notes, vol.13, no.1, pp.58-67, Nov. 1987.
5. C.J. Coomber, "SCHEMASIM: A simulation environment for real-time systems," Simulation Digest, Spring 1994.
6. A.M. Davis, "Software Requirements: Objects, Functions, and States," P T R Prentice-Hall, 1993.
7. C. Gaskell and R. Phillips, "Executable specifications and CASE," Software Engineering Journal, pp.174-182, July 1994.
8. P.A. Fishwick, "Simulation Model Design and Execution," Building Digital Worlds, Prentice Hall, 1995.
9. N.M. Goldman, D.S. Wile, M. Feather, and W.L. Johnson, "Gist Language Description," Information Science Institute, Sept. 1988.
10. D. Harel, "On visual formalisms," Communications of the ACM, vol.31, no.5, May 1988.
11. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, "STATEMATE: A working environment for the development of complex reactive systems," IEEE Trans. Software Engineering, vol.16, no.4, pp.403-414, April 1990.
12. D. Harel and M. Politi, "Modeling Reactive Systems using Statecharts: The Statemate Approach," Part no.D-1100-43, 6/96 i-Logix Inc., 1996.
13. M.P.E. Heimdahl and N.G. Leveson, "Completeness and consistency analysis of state-based requirements," Proc. ICSE'95, Seattle, U.S.A., pp.3-14, April 23-30, 1995.
14. S.V. Hoover and R.F. Perry, "SIMULATION: A Problem-Solving Approach," Addison Wesley, 1990.
15. F. Jahanian and A. Mok, "Safety analysis of timing properties in real-time systems," IEEE Trans. Software Engineering, vol.9, pp.890-904, 1986.
16. K.C. Kang and G.I. Ko, "PARTS: A temporal logic-based real-time software specification and verification method," Proc. ICSE'95, Seattle, U.S.A., pp.169-176, April 23-30, 1995.
17. K.C. Kang, M. Christel, J. Herman, J. Morin, P. Place, and D. Wood, "Requirements Engineering Project: Project Plan," Unpublished Work, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, 1991.
18. H.J. Kim and H.Y. Kim, "ASADAL specification of an avionics system," POSTECH/CS/SE-95-TM-4 Technical Report, Software Engineering Laboratory, Pohang University of Science and Technology, 1995.
19. Z. Manna and A. Pnueli, "Temporal Verification of Reactive Systems: Safety," Springer-Verlag, New York, 1995.
20. S.J. Ostroff, "Formal methods for the specification and design of real-time safety critical systems," The Journal of Systems and Software, pp.33-60, April 1992.
21. P.T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing," IEEE Trans. Software Engineering, vol.12, no.2, Feb. 1986.