Verification and validation for quality of UML 2.0 models

QR Code (код быстрого отклика)

Verification and validation for quality of UML 2.0 models

This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the discussion on the nature and creation of UML models. This is followed by a demonstration of how to appl...

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	Unhelkar, Bhuvan
Формат:	‌
Язык:	Undetermined
Опубликовано:	Hoboken, N.J. John Wiley 2005
Предметы:	Computer software,Computer software,UML (Computer science) Verification,Quality control
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Схожие документы

Verification and validation for quality of UML 2.0 madels
по: Unhelkar, Bhuvan
Опубликовано: (2005)

Mastering UML with Rational Rose 2002 /
по: Boggs, Wendy.
Опубликовано: (2002)

Modeling and verification using UML statecharts :
по: Drusinsky, Doron
Опубликовано: (2006)

Modeling and verification using UML statecharts :
по: Drusinsky, Doron
Опубликовано: (2006)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
по: D'Souza, Deepak, et al.
Опубликовано: (2015)

Software testing and continuous quality improvement
по: Lewis, William E.
Опубликовано: (2005)

Software testing and continuous quality improvement
по: Lewis, William E.
Опубликовано: (2005)

Software quality :
по: Khan, R A
Опубликовано: (2006)

UML modeling of user and database interaction /
по: Almendros-Jimenez, Jesus M.

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Опубликовано: (2001)

UML and the unified process :
по: Arlow, Jim
Опубликовано: (2002)

Software quality engineering :
по: Tian, Jeff
Опубликовано: (2005)

Software evolution with UML and XML
Опубликовано: (2005)

Developing software with UML : object-oriented analysis and design in practice /
по: Oestereich, Bernd.
Опубликовано: (1999)

Phân tích thiết kế hướng đối tượng bằng UML
по: Đặng Văn Đức
Опубликовано: (2002)

Classical and object-oriented software engineering with UML and Java
по: STEPHEN R SCHACH
Опубликовано: (1999)

Agile Modeling with UML
по: Rumpe, Bernhard
Опубликовано: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Опубликовано: (2020)

Software Verification and Validation
по: Fisher, Marcus S.
Опубликовано: (2020)

Systems analysis and design: An object-oriented approach with UML
по: Alan Dennis
Опубликовано: (2002)

Systems analysis and design: An object-oriented approach with UML
по: Alan Dennis
Опубликовано: (2002)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
по: Núñez, Manuel, et al.
Опубликовано: (2015)

Java the UML way: Integrating object-oriented design and programming
по: Else Lervik
Опубликовано: (2002)

UML Demystified
по: Kimmel, Paul
Опубликовано: (2005)

Classical and object-oriented software engineering with UML and Java /
по: Schach, Stephen R.
Опубликовано: (1999)

Classical and object-oriented software engineering with UML and Java /
по: Schach, Stephen R.
Опубликовано: (1999)

UML by example
по: Jalloul, Ghinwa
Опубликовано: (2004)

Object-oriented modeling and design with UML
по: Blaha, Michael
Опубликовано: (2005)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
по: Fantechi, Alessandro, et al.
Опубликовано: (2020)

Modeling ODP computational specifications using UML /
по: Romero, Jose Raul.

UML components: A simple process for specifying component-based software
по: John Cheesman
Опубликовано: (2001)

Lectures on Runtime Verification
по: Bartocci, Ezio, et al.
Опубликовано: (2020)

Visual modeling with Rational Rose and UML /
по: Quatrani, Terry.
Опубликовано: (1998)

Giáo trình nhập môn UML
по: Huỳnh, Văn Đức
Опубликовано: (2004)

Giáo trình nhập môn UML
по: Huỳnh, Văn Đức
Опубликовано: (2003)

Software quality
Опубликовано: (2014)

Guidance for the verification and validation of neural networks
по: Pullum, Laura L.
Опубликовано: (2007)

Verification, Model Checking, and Abstract Interpretation
по: Dillig, Isil, et al.
Опубликовано: (2020)

Verification, Model Checking, and Abstract Interpretation
по: Cook, Byron, et al.
Опубликовано: (2020)

Verification, Model Checking, and Abstract Interpretation
по: Bouajjani, Ahmed, et al.
Опубликовано: (2020)