메뉴 건너뛰기




Volumn , Issue , 2008, Pages 133-142

Automatic conceptual analysis of user requirements with the Requirements Engineering Assistance Diagnostic (READ) tool

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DATA STRUCTURES; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; PROCESS ENGINEERING; REQUIREMENTS ENGINEERING; RISK ASSESSMENT; SOFTWARE ENGINEERING; STATIC ANALYSIS;

EID: 53149100963     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERA.2008.34     Document Type: Conference Paper
Times cited : (5)

References (17)
  • 2
    • 0020845864 scopus 로고
    • Program Design by Informal English Descriptions
    • ACM, New York, NY, USA
    • Abbott, R.J., Program Design by Informal English Descriptions, Communications of the ACM (CACM), ACM, New York, NY, USA 1983, vol. 26, no. 11, pp. 882-894
    • (1983) Communications of the ACM (CACM) , vol.26 , Issue.11 , pp. 882-894
    • Abbott, R.J.1
  • 3
    • 0022670294 scopus 로고
    • Object-Oriented Development
    • IEEE Press, Piscataway, NJ, USA
    • Booch, G. "Object-Oriented Development", IEEE Transactions on Software Engineering (TSE), IEEE Press, Piscataway, NJ, USA, 1986, vol. 12, no. 2, pp. 211-221
    • (1986) IEEE Transactions on Software Engineering (TSE) , vol.12 , Issue.2 , pp. 211-221
    • Booch, G.1
  • 7
    • 0036041195 scopus 로고    scopus 로고
    • Automated Conversion from Requirement Documentation to an Object-Oriented Formal Specification Language
    • SAC: Madrid, Spain
    • Lee, B.S. and B.R. Bryant, "Automated Conversion from Requirement Documentation to an Object-Oriented Formal Specification Language," In Proceedings of ACM Symposium on Applied Computing, SAC: Madrid, Spain, 2002, pp. 932-936.
    • (2002) Proceedings of ACM Symposium on Applied Computing , pp. 932-936
    • Lee, B.S.1    Bryant, B.R.2
  • 8
    • 53149151472 scopus 로고    scopus 로고
    • Perez-Gonzalez, H.G. and J.K. Kalita, GOOAL: A Graphic Object-Oriented Analysis Laboratory, In Companion of the 17th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. Seattle, USA, OOPSLA 2002, pp. 38-39.
    • Perez-Gonzalez, H.G. and J.K. Kalita, "GOOAL: A Graphic Object-Oriented Analysis Laboratory," In Companion of the 17th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. Seattle, USA, OOPSLA 2002, pp. 38-39.
  • 9
    • 0141651829 scopus 로고    scopus 로고
    • Automating Transition from Use-Cases to Class Model Canadian Conference on Electrical and Computer Engineering
    • May 4-7
    • Liu, D., K. Subramaniam, B.H. Far, and A. Eberlein, "Automating Transition from Use-Cases to Class Model" Canadian Conference on Electrical and Computer Engineering. IEEE CCECE, May 4-7 2003, vol. 2, pp. 831-834.
    • (2003) IEEE CCECE , vol.2 , pp. 831-834
    • Liu, D.1    Subramaniam, K.2    Far, B.H.3    Eberlein, A.4
  • 12
    • 0348237315 scopus 로고    scopus 로고
    • New York, NY, USA Wiley Computer Publishing
    • Silverston, L. The Data Model Resource Book, Vol. 1, New York, NY, USA Wiley Computer Publishing, 2001.
    • (2001) The Data Model Resource Book , vol.1
    • Silverston, L.1
  • 13
    • 0004012875 scopus 로고    scopus 로고
    • 3rd Ed, Upper Saddle River, NJ, USA, Prentice Hall
    • Larman, C. Applying UML and Patterns, 3rd Ed., Upper Saddle River, NJ, USA, Prentice Hall, 2005.
    • (2005) Applying UML and Patterns
    • Larman, C.1
  • 14
    • 0004289791 scopus 로고    scopus 로고
    • Christiane Fellbaum, ed, Cambridge, MA: MIT Press
    • Christiane Fellbaum, ed. WORDNET: An Electronic Lexical Database. Cambridge, MA: MIT Press. 1998.
    • (1998) WORDNET: An Electronic Lexical Database
  • 17
    • 84878251011 scopus 로고    scopus 로고
    • Requirement Capture, Formal Description and Verification of an Invoicing System
    • Sighireanu M. and Turner K.J. Requirement Capture, Formal Description and Verification of an Invoicing System, Research Report, http://www.inrialpes.fr/ vasy/Publications/Sighireanu-turner-98.html
    • Research Report
    • Sighireanu, M.1    Turner, K.J.2


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