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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Unhelkar, Bhuvan
Format:	Bog
Sprog:	Undetermined
Udgivet:	Hoboken, N.J. John Wiley 2005
Fag:	Computer software,Computer software,UML (Computer science) Verification,Quality control
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

Mastering UML with Rational Rose 2002 /
af: Boggs, Wendy.
Udgivet: (2002)

Modeling and verification using UML statecharts :
af: Drusinsky, Doron
Udgivet: (2006)

Modeling and verification using UML statecharts :
af: Drusinsky, Doron
Udgivet: (2006)

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

Software testing and continuous quality improvement
af: Lewis, William E.
Udgivet: (2005)

Software testing and continuous quality improvement
af: Lewis, William E.
Udgivet: (2005)

Software quality :
af: Khan, R A
Udgivet: (2006)

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

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

UML and the unified process :
af: Arlow, Jim
Udgivet: (2002)

Software quality engineering :
af: Tian, Jeff
Udgivet: (2005)

Software evolution with UML and XML
Udgivet: (2005)

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

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

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

Agile Modeling with UML
af: Rumpe, Bernhard
Udgivet: (2020)

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

Software Verification and Validation
af: Fisher, Marcus S.
Udgivet: (2020)

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

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

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

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

UML Demystified
af: Kimmel, Paul
Udgivet: (2005)

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

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

UML by example
af: Jalloul, Ghinwa
Udgivet: (2004)

Object-oriented modeling and design with UML
af: Blaha, Michael
Udgivet: (2005)

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

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

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

Lectures on Runtime Verification
af: Bartocci, Ezio, et al.
Udgivet: (2020)

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

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

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

Software quality
Udgivet: (2014)

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

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

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

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