참고문헌 (25)

1. 10.1007/3-540-45657-0_29 Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) NuSMV version 2: An opensource tool for symbolic model checking. In: International Conference on Computer-Aided Verification (CAV, LNCS 2404), Denmark 

   상세보기

2. Sci Comput Programm A Dardenne 20 1-2 3 1993 10.1016/0167-6423(93)90021-G Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Programm 20(1-2):3-50 

   상세보기

3. 10.1145/239098.239131 Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. FSE-4-4th ACM Symposium on the Foundations of Software Engineering, San Francisco 

   

4. Softw Eng S Easterbrook 24 1 4 1998 10.1109/32.663994 Easterbrook S, Lutz RR, Covington R, Kelly J, Ampo Y, Hamilton D (1998) Experiences using lightweight formal methods for requirements modeling. Softw Eng 24(1):4-14 

   상세보기

5. The Standish Group (1995) http://www.standishgroup.com/chaos 

6. European Software Institute (1996) European user survey analysis, report usv_eyr 2.1 espiti project 

7. 10.1145/355045.355063 Jackson D (2000) Automating first-order relational logic, ACM SIGSOFT. In: Proceedings of the Conference Foundations of Software Engineering 

   

8. 10.1007/3-540-56283-4 Koymans R (1992) Specifying message passing and time-critical systems with temporal logic, lncs 651, Springer-Verlag 

   

9. 10.1145/581352.581353 Letier E, van Lamsweerde A (2001) Agent-based tactics for goal-oriented requirements elaboration 

   

10. 10.1145/587051.587070 Letier E, van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: FSE'10: 10th ACM S1GSOFT Symposium on the Foundations of Software Engineering, Charleston 

    

11. Leveson NG (1995) Safeware, system safety and computers, Addison-Wesley 

12. RR Lutz 126 1993 IEEE International Symposium on Requirements Engineering Lutz RR (1993) Analyzing software requirements errors in safety-critical, embedded systems. IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, San Diego, CA, pp 126-133 

13. 10.1145/337180.337368 Magee J, Pryce N, Giannakopoulou D, Kramer J (2000) Graphical animation of behavior models. Int Conf Softw Eng pp. 499-508 

    

14. 10.1007/978-1-4612-0931-7 Manna Z, Pnueli A (1992) The reactive behavior of reactive and concurrent system, Springer-Verlag 

    

15. 10.21236/ADA465571 McLean J, Heitmeyer C (1995) High assurance computer systems: A research agenda. America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda 

    

16. 10.1007/3-540-44957-4_29 Muller T (2000) Promoting constraints to first-class status. First International Conference on Computational Logic (CL, LNAI 1861), London UK 

    상세보기

17. 10.1007/11752707_21 Ponsard C, Balych N, Massonet P, van Lamsweerde A, Vanderdonckt J (2005) Goal-oriented design of domain control panels. In: 12th International Workshop on Design, Specification and Verification of Interactive Systems, Newcastle, UK 

    상세보기

18. 10.1109/HASE.2000.895446 Rushby J (2000) Disappearing formal methods. High-assurance systems engineering symposium. Association for Computing Machinery, Albuquerque, NM, pp 95-96 

    

19. The Objectiver Tool, http://wwww.objectiver.com 

20. Tran Van H, van Lamsweerde A, Massonet P, Ponsard C (2004) Goal-oriented requirements animation. In: 12th IEEE International Requirements Engineering Conference, Kyoto, Japan 

21. van Lamsweerde A (2001) Goal-oriented requirements engineering: A guided tour 

22. 10.1109/32.730542 van Lamsweerde A, Darimont R, Letier E (1998) Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development 

    상세보기

23. 10.1109/32.879820 van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng, Special Issue on Except Handl 26(10) 

    상세보기

24. 10.1007/978-3-540-24626-8_23 van Lamsweerde A, Letier E (2003) From object orientation to goal orientation: A paradigm shift for requirements engineering. Radical Innovations of Software & System Engineering, Montery'02 Workshop, Venice, Italy, LNCS 

    

25. 10.1145/337180.337184 van Lamsweerde A (2000) Requirements engineering in the year 00: a research perspective. In: International Conference on Software Engineering, pp 5-19