메뉴 건너뛰기




Volumn , Issue , 2006, Pages 236-245

A rigorous approach to requirements validation

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS SYSTEMS; COMPREHENSIVE METHOD; FORMAL ANALYSIS; OBJECT DIAGRAMS; PROTOTYPE TOOLS; REQUIREMENTS VALIDATION; RIGOROUS APPROACH; SCENARIO GENERATION; SOFTWARE SYSTEMS; VISUAL MODELING; VISUAL NOTATIONS;

EID: 67649648189     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2006.5     Document Type: Conference Paper
Times cited : (10)

References (19)
  • 2
    • 14744281167 scopus 로고    scopus 로고
    • SAL 2
    • R. Alur and D. Peled, editors of Lecture Notes in Computer Science Boston, MA, July 2004. Springer-Verlag. see also
    • L. de Moura, S. Owre, H. Rueß, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari. SAL 2. In R. Alur and D. Peled, editors, Computer-Aided Verification, CAV 2004, volume 3114 of Lecture Notes in Computer Science, pages 496-500, Boston, MA, July 2004. Springer-Verlag. see also http://sal.csl.sri. com.
    • Computer-aided Verification, CAV 2004 , vol.3114 , pp. 496-500
    • De Moura, L.1    Owre, S.2    Rueß, H.3    Rushby, J.4    Shankar, N.5    Sorea, M.6    Tiwari, A.7
  • 6
    • 0038507387 scopus 로고    scopus 로고
    • Alloy: A lightweight object modelling notation
    • DOI 10.1145/505145.505149
    • D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2):256-290, 2002. (Pubitemid 44159313)
    • (2002) ACM Transactions on Software Engineering and Methodology , vol.11 , Issue.2 , pp. 256-290
    • Jackson, D.1
  • 8
    • 0000381112 scopus 로고    scopus 로고
    • Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
    • D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637-664, 1999. (Pubitemid 129556008)
    • (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 637-664
    • Latella, D.1    Majzik, I.2    Massink, M.3
  • 9
    • 0030212784 scopus 로고    scopus 로고
    • Principles and methods of testing finite state machines - A survey
    • PII S0018921996055247
    • D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE, 84(8):1090-1123, Aug. 1996. (Pubitemid 126752579)
    • (1996) Proceedings of the IEEE , vol.84 , Issue.8 , pp. 1090-1123
    • Lee, D.1    Yannakakis, M.2
  • 10
    • 0347990505 scopus 로고    scopus 로고
    • Calculating the return on investment from more effective requirements management
    • D. Leffingwell. Calculating the return on investment from more effective requirements management. American Programmer, 10(4):13-16, 1997. (Pubitemid 127547041)
    • (1997) Cutter IT Journal , vol.10 , Issue.4 , pp. 13-16
    • Leffingwell, D.1
  • 11
    • 0034999066 scopus 로고    scopus 로고
    • A general framework for formalizing UML with formal languages
    • W. E. McUmber and B. H. C. Cheng. General framework for formalizing UML with formal languages. In Proceedings of the 23rd International Conference on Software Engeneering (ICSE-01), pages 433-442, Los Alamitos, California, May12-19 2001. IEEE Computer Society. (Pubitemid 32485673)
    • (2001) Proceedings - International Conference on Software Engineering , pp. 433-442
    • McUmber, W.E.1    Cheng, B.H.C.2
  • 12
    • 2542488419 scopus 로고    scopus 로고
    • A framework and tool support for the systematic testing of model-based specifications
    • T. Miller and P. Strooper. A framework and tool support for the systematic testing of model-based specifications. ACM Transactions on Software Engineering and Methodology, 12(4):409-439, 2003.
    • (2003) ACM Transactions on Software Engineering and Methodology , vol.12 , Issue.4 , pp. 409-439
    • Miller, T.1    Strooper, P.2
  • 14
    • 84944186496 scopus 로고    scopus 로고
    • Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
    • Fundamental Approaches to Software Engineering
    • G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001, volume 2029 of LNCS, pages 171-186. Springer, 2001. (Pubitemid 33256473)
    • (2001) Lecture Notes in Computer Science , Issue.2029 , pp. 171-186
    • Reggio, G.1    Cerioli, M.2    Astesiano, E.3
  • 15
    • 0010361611 scopus 로고    scopus 로고
    • The economic impacts of inadequate infrastructure of software testing
    • RTI, Health, Social and Economics Research NIST, USA
    • RTI, Health, Social and Economics Research. The Economic impacts of inadequate infrastructure of Software Testing. Technical Report RTI 7007.011, NIST, USA, 2002.
    • (2002) Technical Report RTI 7007.011
  • 16
    • 0000101791 scopus 로고    scopus 로고
    • Test generation with inputs, outputs and repetitive quiescence
    • J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
    • (1996) Software - Concepts and Tools , vol.17 , Issue.3 , pp. 103-120
    • Tretmans, J.1
  • 17
    • 82655189125 scopus 로고    scopus 로고
    • white paper. Available at
    • Business modelling study - the library. TriReme International Ltd. white paper. Available at http://www.trireme.com.
    • Business Modelling Study - The Library
  • 18
    • 82655167145 scopus 로고    scopus 로고
    • Analyzing partition testing strategies
    • R. Poston, editor IEEE Computer society press
    • E. Weyuker and B. Jeng. Analyzing partition testing strategies. In R. Poston, editor, Automating specification-based software testing, pages 64 - 72. IEEE Computer society press, 1996.
    • (1996) Automating Specification-based Software Testing , pp. 64-72
    • Weyuker, E.1    Jeng, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.