Verification and validation for quality of UML 2.0 models

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

Đã lưu trong:

书目详细资料
主要作者:	Unhelkar, Bhuvan
格式:	图书
语言:	Undetermined
出版:	Hoboken, N.J. John Wiley 2005
主题:	Computer software,Computer software,UML (Computer science) Verification,Quality control
标签:	添加标签没有标签, 成为第一个标记此记录!

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)