메뉴 건너뛰기




Volumn 3513, Issue , 2005, Pages 392-397

Automatic transition of natural language software requirements specification into formal presentation

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING; SYSTEMS ANALYSIS;

EID: 25144517705     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11428817_45     Document Type: Conference Paper
Times cited : (73)

References (12)
  • 1
    • 84963812084 scopus 로고    scopus 로고
    • Object-oriented natural language requirements specification
    • ACSC 2000.
    • Bryant, B.R.: Object-Oriented Natural Language Requirements Specification. In 23rd Australian Computer Science Conference, 2000 (ACSC 2000).
    • (2000) 23rd Australian Computer Science Conference
    • Bryant, B.R.1
  • 2
    • 25144496371 scopus 로고    scopus 로고
    • The unified modeling language user guide
    • Addison-Wesley, 19983. van Leeuwen, J. (ed.)
    • Booch G., Rumbaugh J., Jacobson I.: The Unified Modeling Language User Guide, Addison-Wesley, 19983. van Leeuwen, J. (ed.): Computer Science Today.
    • Computer Science Today
    • Booch, G.1    Rumbaugh, J.2    Jacobson, I.3
  • 6
    • 0036041195 scopus 로고    scopus 로고
    • Automated conversion from requirements documentation to an object-oriented formal specification language
    • March 10-14, Madrid, Spain, ACM 2002.
    • Lee, B.-S., Bryant, B.R.: Automated conversion from requirements documentation to an object-oriented formal specification language. In Proceedings of SAC 2002, March 10-14, 2002, Madrid, Spain, ACM 2002.
    • (2002) Proceedings of SAC 2002
    • Lee, B.-S.1    Bryant, B.R.2
  • 7
    • 25144506379 scopus 로고    scopus 로고
    • Deriving behavior specifications from textual use cases
    • Sep 21, part of ASE 2004, Lenz, Austria, ISBN 3-85403-180-7, Oesterreichische Computer Gesellschaft.
    • Mencl, V.: Deriving Behavior Specifications from Textual Use Cases. In Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Lenz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft.
    • (2004) Proceedings of Workshop on Intelligent Technologies for Software Engineering WITSE04 , pp. 331-341
    • Mencl, V.1
  • 10
    • 33646828426 scopus 로고    scopus 로고
    • Automated test generation from object-oriented specifications of real-time reactive systems
    • December 10-12, Chiang Mai, Thailand
    • V. S. Alagar, M. Chen, O. Ormandjieva, M. Zheng: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. Tenth Asia-Pacific Software Engineering Conference, December 10-12, 2003, Chiang Mai, Thailand
    • (2003) Tenth Asia-pacific Software Engineering Conference
    • Alagar, V.S.1    Chen, M.2    Ormandjieva, O.3    Zheng, M.4
  • 11
    • 25144438868 scopus 로고    scopus 로고
    • Discovering business processes 1
    • http://odl-skopje.etf.ukim.edu.mk/UML-Help/html/05day2.html - "Discovering Business Processes 1" - The Digital Library - Example.
    • The Digital Library - Example


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