최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.28 no.3, 2001년, pp.211 - 223
조진형 (동양공업전문대학 전산경영기술공학부) , 배두환 (한국과학기술원 전산학과)
Joanne M. Atlee and John Gannon, State-based Model Checking of Event-driven System Requirements, IEEE Trans. on Software Engineering, Vol.19, No.1, pp. 24-40, Jan. 1993
B.W. Boehm, Verifying and Validating Software Requirement Specification and Design Specification, IEEE Software, pp. 61-72, 1984
G. Booch, Object Oriented Design with applications, Benjamin/Cummings Publishing Company,1994
A.M. Davis, Software Requirement Analysis and Top-Down Software Development, Report HPL-91-21,Feb. 1991
Bruce P. Douglass, Real Time UML: Developing Efficient Objects for Embedded Systems, Addison-Wesley, 1998
Eriksson and Penker, Unified Modeling Language Toolkit, Wiley Computer Publishing,1998
Fiona Hayes, Derek Coleman, Coherent Models for Objected-Oriented Analysis, ACM OOPSLA 91Conference Proceedings, pp. 171-183, Oct. 1991
P. Hsia, Behavior based Acceptance Testing of Software Systems: A Formal Scenario Approach,IEEE Software, pp. 293-298, Nov. 1994
Ivar Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley,1992
Shekhar Kirani and W.T. Tsai, Method Sequence Specification and Verification of Classes, JOOP,pp.28-37, Oct. 1994
Edward Kit, Software Testing in the Real World: Improving the Process, Addison-Wesley, 1995
Terry Quatrani, Visual Modeling with Rational Rose and UML, Addison-Wesley, 1998
Neil C. Rowe, Artificial Intelligence Through Prolog, Prentice-Hall, 1988
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, 1991
Klaus Weidenhaupt, Scenarios in System Development : Current Practice, IEEE Software, pp.34-45, Mar. 1998
김도형, 객체 모형화 기법에서 메시지행적과 상태도간에 일관성 점검을 통한 요구사항 확인, 한국정보과학회 논문지, Vol. 23, No. 2, pp. 1527-1530, 1996
이광용, 객체지향 분석모델의 완전성과 일관성 점검을 위한 진단모델의 설계, 숭실대학교 석사학위논문, 1992
염근혁, 분산시스템을 위한 객체지향 소프트웨어 개발에서 요구명세에 대한 검증 방법, 한국정보과학회학술발표논문집, Vol. 23, No. 1, pp. 643-646, 1996
백진욱, 배두환, 객체지향 요구명세의 동적행위 검증을 위한 방법, 한국정보과학회 학술발표논문집, Vol. 24, No. 1, pp. 567-570, 1997
※ AI-Helper는 부적절한 답변을 할 수 있습니다.