User menu

Early verification and validation of mission critical systems

Bibliographic reference Ponsard, Christophe ; Massonet, Philippe ; Rifaut, André ; Molderez, Jean-François ; van Lamsweerde, Axel ; et. al. Early verification and validation of mission critical systems. In: Formal Methods in System Design : an international journal, Vol. 30, no. 3, p. 233-247 (2007)
Permanent URL
  1. 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. Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Programm 20(1–2):3–50
  3. 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. 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)
  6. European Software Institute (1996) European user survey analysis, report usv_eyr 2.1 espiti project
  7. Jackson D (2000) Automating first-order relational logic, ACM SIGSOFT. In: Proceedings of the Conference Foundations of Software Engineering
  8. Koymans R (1992) Specifying message passing and time-critical systems with temporal logic, lncs 651, Springer-Verlag
  9. Letier E, van Lamsweerde A (2001) Agent-based tactics for goal-oriented requirements elaboration
  10. 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. 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. Magee J, Pryce N, Giannakopoulou D, Kramer J (2000) Graphical animation of behavior models. Int Conf Softw Eng pp. 499–508
  14. Manna Z, Pnueli A (1992) The reactive behavior of reactive and concurrent system, Springer-Verlag
  15. 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. Muller T (2000) Promoting constraints to first-class status. First International Conference on Computational Logic (CL, LNAI 1861), London UK
  17. 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. Rushby J (2000) Disappearing formal methods. High-assurance systems engineering symposium. Association for Computing Machinery, Albuquerque, NM, pp 95–96
  19. The Objectiver Tool,
  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. 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. 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. 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. van Lamsweerde A (2000) Requirements engineering in the year 00: a research perspective. In: International Conference on Software Engineering, pp 5–19