Verification and validation for quality of UML 2.0 models

QR kȏd

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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Unhelkar, Bhuvan
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Hoboken, N.J. John Wiley 2005
Teme:	Computer software,Computer software,UML (Computer science) Verification,Quality control
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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

Mastering UML with Rational Rose 2002 /
od: Boggs, Wendy.
Izdano: (2002)

Modeling and verification using UML statecharts :
od: Drusinsky, Doron
Izdano: (2006)

Modeling and verification using UML statecharts :
od: Drusinsky, Doron
Izdano: (2006)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
od: D'Souza, Deepak, i dr.
Izdano: (2015)

Software testing and continuous quality improvement
od: Lewis, William E.
Izdano: (2005)

Software testing and continuous quality improvement
od: Lewis, William E.
Izdano: (2005)

Software quality :
od: Khan, R A
Izdano: (2006)

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

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

UML and the unified process :
od: Arlow, Jim
Izdano: (2002)

Software quality engineering :
od: Tian, Jeff
Izdano: (2005)

Software evolution with UML and XML
Izdano: (2005)

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

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

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

Agile Modeling with UML
od: Rumpe, Bernhard
Izdano: (2020)

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

Software Verification and Validation
od: Fisher, Marcus S.
Izdano: (2020)

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

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

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
od: Núñez, Manuel, i dr.
Izdano: (2015)

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

UML Demystified
od: Kimmel, Paul
Izdano: (2005)

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

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

UML by example
od: Jalloul, Ghinwa
Izdano: (2004)

Object-oriented modeling and design with UML
od: Blaha, Michael
Izdano: (2005)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
od: Fantechi, Alessandro, i dr.
Izdano: (2020)

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

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

Lectures on Runtime Verification
od: Bartocci, Ezio, i dr.
Izdano: (2020)

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

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

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

Software quality
Izdano: (2014)

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

Verification, Model Checking, and Abstract Interpretation
od: Dillig, Isil, i dr.
Izdano: (2020)

Verification, Model Checking, and Abstract Interpretation
od: Cook, Byron, i dr.
Izdano: (2020)

Verification, Model Checking, and Abstract Interpretation
od: Bouajjani, Ahmed, i dr.
Izdano: (2020)