Verification and validation for quality of UML 2.0 models

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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Unhelkar, Bhuvan
Format:	Książka
Język:	Undetermined
Wydane:	Hoboken, N.J. John Wiley 2005
Hasła przedmiotowe:	Computer software,Computer software,UML (Computer science) Verification,Quality control
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

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

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

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

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

Software quality :
od: Khan, R A
Wydane: (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 /
Wydane: (2001)

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

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

Software evolution with UML and XML
Wydane: (2005)

Developing software with UML : object-oriented analysis and design in practice /
od: Oestereich, Bernd.
Wydane: (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
Wydane: (2002)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lectures on Runtime Verification
od: Bartocci, Ezio, i wsp.
Wydane: (2020)

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

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

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

Software quality
Wydane: (2014)

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

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

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

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