Modeling and verification using UML statecharts :

kod QR

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

Pokaż inne wersje (1)

Zapisane w:

Opis bibliograficzny
1. autor:	Drusinsky, Doron
Format:	Książka
Język:	Undetermined
Wydane:	Burlington, MA Newnes 2006
Hasła przedmiotowe:	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
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

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

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

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)

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

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

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

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

Verification and validation for quality of UML 2.0 models
od: Unhelkar, Bhuvan
Wydane: (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
Wydane: (2009)

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

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

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

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

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

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

UML @ Classroom
od: Seidl, M, i wsp.
Wydane: (2015)

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

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

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

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

Software evolution with UML and XML
Wydane: (2005)

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

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

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

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

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)

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

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 /
Wydane: (2003)

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

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

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)

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

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

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

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

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