Verification and validation for quality of UML 2.0 models

Codi QR

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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Unhelkar, Bhuvan
Format:	Llibre
Idioma:	Undetermined
Publicat:	Hoboken, N.J. John Wiley 2005
Matèries:	Computer software,Computer software,UML (Computer science) Verification,Quality control
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Verification and validation for quality of UML 2.0 madels
per: Unhelkar, Bhuvan
Publicat: (2005)

Mastering UML with Rational Rose 2002 /
per: Boggs, Wendy.
Publicat: (2002)

Modeling and verification using UML statecharts :
per: Drusinsky, Doron
Publicat: (2006)

Modeling and verification using UML statecharts :
per: Drusinsky, Doron
Publicat: (2006)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
per: D'Souza, Deepak, et al.
Publicat: (2015)

Software testing and continuous quality improvement
per: Lewis, William E.
Publicat: (2005)

Software testing and continuous quality improvement
per: Lewis, William E.
Publicat: (2005)

Software quality :
per: Khan, R A
Publicat: (2006)

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

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Publicat: (2001)

UML and the unified process :
per: Arlow, Jim
Publicat: (2002)

Software quality engineering :
per: Tian, Jeff
Publicat: (2005)

Software evolution with UML and XML
Publicat: (2005)

Developing software with UML : object-oriented analysis and design in practice /
per: Oestereich, Bernd.
Publicat: (1999)

Phân tích thiết kế hướng đối tượng bằng UML
per: Đặng Văn Đức
Publicat: (2002)

Classical and object-oriented software engineering with UML and Java
per: STEPHEN R SCHACH
Publicat: (1999)

Agile Modeling with UML
per: Rumpe, Bernhard
Publicat: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Publicat: (2020)

Software Verification and Validation
per: Fisher, Marcus S.
Publicat: (2020)

Systems analysis and design: An object-oriented approach with UML
per: Alan Dennis
Publicat: (2002)

Systems analysis and design: An object-oriented approach with UML
per: Alan Dennis
Publicat: (2002)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
per: Núñez, Manuel, et al.
Publicat: (2015)

Java the UML way: Integrating object-oriented design and programming
per: Else Lervik
Publicat: (2002)

UML Demystified
per: Kimmel, Paul
Publicat: (2005)

Classical and object-oriented software engineering with UML and Java /
per: Schach, Stephen R.
Publicat: (1999)

Classical and object-oriented software engineering with UML and Java /
per: Schach, Stephen R.
Publicat: (1999)

UML by example
per: Jalloul, Ghinwa
Publicat: (2004)

Object-oriented modeling and design with UML
per: Blaha, Michael
Publicat: (2005)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
per: Fantechi, Alessandro, et al.
Publicat: (2020)

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

UML components: A simple process for specifying component-based software
per: John Cheesman
Publicat: (2001)

Lectures on Runtime Verification
per: Bartocci, Ezio, et al.
Publicat: (2020)

Visual modeling with Rational Rose and UML /
per: Quatrani, Terry.
Publicat: (1998)

Giáo trình nhập môn UML
per: Huỳnh, Văn Đức
Publicat: (2004)

Giáo trình nhập môn UML
per: Huỳnh, Văn Đức
Publicat: (2003)

Software quality
Publicat: (2014)

Guidance for the verification and validation of neural networks
per: Pullum, Laura L.
Publicat: (2007)

Verification, Model Checking, and Abstract Interpretation
per: Dillig, Isil, et al.
Publicat: (2020)

Verification, Model Checking, and Abstract Interpretation
per: Cook, Byron, et al.
Publicat: (2020)

Verification, Model Checking, and Abstract Interpretation
per: Bouajjani, Ahmed, et al.
Publicat: (2020)