Modeling and verification using UML statecharts :

QR koda

Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

Hiển thị phiên bản (1) khác

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Drusinsky, Doron
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Burlington, MA Newnes 2006
Teme:	UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính Development,Phát triển
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

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)

UML pour l'analyse d'un système d'information :
od: Morley, Chantal
Izdano: (2002)

Kỹ thuật và ứng dụng UML với rotional rose 2002 :
Izdano: (2003)

Giáo trình ngôn ngữ mô hình hóa UML
od: Phạm, Thị Xuân Lộc
Izdano: (2014)

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

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

Bốn trăm mười ba 413 bài tập phân tích thiết kế hướng đối tượng bằng UML
od: Simon, Bennett
Izdano: (2009)

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

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

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

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

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

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

UML @ Classroom
od: Seidl, M, et al.
Izdano: (2015)

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

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

Objects, components, and frameworks with UML: The catalysis approach
od: Desmond Francis D'Souza
Izdano: (1999)

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

Software evolution with UML and XML
Izdano: (2005)

Giáo trình phân tích & thiết kế hướng đối tượng bằng UML /
od: Dương Anh Đức.
Izdano: (2002)

Giáo trình nhập môn UML
Izdano: (2007)

Giáo trình nhập môn UML
Izdano: (2006)

Systems analysis & design: an object-oriented approach with UML
od: Dennis, Alan
Izdano: (2014)

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

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)

Use case driven object modeling with UML
od: Rosenberg, Doug

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

Practical object-oriented design with UML /
Izdano: (2003)

Applying UML and patterns :
od: Larman, Craig
Izdano: (1997)

Applying UML and patterns : an introduction to object-oriented analysis and design and the unified process /
od: Larman, Craig.
Izdano: (2002)

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

Le guide de l'utilisateur UML
od: Booch- James, Grady
Izdano: (2003)

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)

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

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

An introduction to object-oriented systems analysis and design with UML and the unified process /
od: Schach, Stephen R.
Izdano: (2004)