Modeling and verification using UML statecharts :

QR Code (код быстрого отклика)

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

Сохранить в:

Библиографические подробности
Главный автор:	Drusinsky, Doron
Формат:	‌
Язык:	Undetermined
Опубликовано:	Burlington, MA Newnes 2006
Предметы:	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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Modeling and verification using UML statecharts :
по: Drusinsky, Doron
Опубликовано: (2006)

Verification and validation for quality of UML 2.0 madels
по: Unhelkar, Bhuvan
Опубликовано: (2005)

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)

UML pour l'analyse d'un système d'information :
по: Morley, Chantal
Опубликовано: (2002)

Kỹ thuật và ứng dụng UML với rotional rose 2002 :
Опубликовано: (2003)

Giáo trình ngôn ngữ mô hình hóa UML
по: Phạm, Thị Xuân Lộc
Опубликовано: (2014)

UML by example
по: Jalloul, Ghinwa
Опубликовано: (2004)

Verification and validation for quality of UML 2.0 models
по: Unhelkar, Bhuvan
Опубликовано: (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
по: Simon, Bennett
Опубликовано: (2009)

Mastering UML with Rational Rose 2002 /
по: Boggs, Wendy.
Опубликовано: (2002)

UML and the unified process :
по: Arlow, Jim
Опубликовано: (2002)

Object-oriented modeling and design with UML
по: Blaha, Michael
Опубликовано: (2005)

Developing software with UML : object-oriented analysis and design in practice /
по: Oestereich, Bernd.
Опубликовано: (1999)

UML Demystified
по: Kimmel, Paul
Опубликовано: (2005)

Object-oriented modeling and design with UML
по: Blaha, Michael
Опубликовано: (2005)

UML @ Classroom
по: Seidl, M, et al.
Опубликовано: (2015)

UML components: A simple process for specifying component-based software
по: John Cheesman
Опубликовано: (2001)

Giáo trình nhập môn UML
по: Huỳnh Văn Đức
Опубликовано: (2003)

Objects, components, and frameworks with UML: The catalysis approach
по: Desmond Francis D'Souza
Опубликовано: (1999)

Visual modeling with Rational Rose and UML /
по: Quatrani, Terry.
Опубликовано: (1998)

Software evolution with UML and XML
Опубликовано: (2005)

Giáo trình phân tích & thiết kế hướng đối tượng bằng UML /
по: Dương Anh Đức.
Опубликовано: (2002)

Giáo trình nhập môn UML
Опубликовано: (2007)

Giáo trình nhập môn UML
Опубликовано: (2006)

Systems analysis & design: an object-oriented approach with UML
по: Dennis, Alan
Опубликовано: (2014)

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

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)

Use case driven object modeling with UML
по: Rosenberg, Doug

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

Practical object-oriented design with UML /
Опубликовано: (2003)

Applying UML and patterns :
по: Larman, Craig
Опубликовано: (1997)

Applying UML and patterns : an introduction to object-oriented analysis and design and the unified process /
по: Larman, Craig.
Опубликовано: (2002)

Giáo trình nhập môn UML (Kèm CD) /
по: Huỳnh Văn Đức,
Опубликовано: (2003)

Le guide de l'utilisateur UML
по: Booch- James, Grady
Опубликовано: (2003)

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)

Java the UML way: Integrating object-oriented design and programming
по: Else Lervik
Опубликовано: (2002)

Classical and object-oriented software engineering with UML and Java
по: STEPHEN R SCHACH
Опубликовано: (1999)

An introduction to object-oriented systems analysis and design with UML and the unified process /
по: Schach, Stephen R.
Опубликовано: (2004)