Modeling and verification using UML statecharts :

Mã QR

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Drusinsky, Doron
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Burlington, MA Newnes 2006
Những chủ đề:	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
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Modeling and verification using UML statecharts :
Bỡi: Drusinsky, Doron
Được phát hành: (2006)

Verification and validation for quality of UML 2.0 madels
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Giáo trình nhập môn UML
Bỡi: Huỳnh, Văn Đức
Được phát hành: (2004)

Giáo trình nhập môn UML
Bỡi: Huỳnh, Văn Đức
Được phát hành: (2003)

UML pour l'analyse d'un système d'information :
Bỡi: Morley, Chantal
Được phát hành: (2002)

Kỹ thuật và ứng dụng UML với rotional rose 2002 :
Được phát hành: (2003)

UML by example
Bỡi: Jalloul, Ghinwa
Được phát hành: (2004)

Giáo trình ngôn ngữ mô hình hóa UML
Bỡi: Phạm, Thị Xuân Lộc
Được phát hành: (2014)

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
Bỡi: Simon, Bennett
Được phát hành: (2009)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Object-oriented modeling and design with UML
Bỡi: Blaha, Michael
Được phát hành: (2005)

Mastering UML with Rational Rose 2002 /
Bỡi: Boggs, Wendy.
Được phát hành: (2002)

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

UML and the unified process :
Bỡi: Arlow, Jim
Được phát hành: (2002)

UML Demystified
Bỡi: Kimmel, Paul
Được phát hành: (2005)

Developing software with UML : object-oriented analysis and design in practice /
Bỡi: Oestereich, Bernd.
Được phát hành: (1999)

Object-oriented modeling and design with UML
Bỡi: Blaha, Michael
Được phát hành: (2005)

UML @ Classroom
Bỡi: Seidl, M, et al.
Được phát hành: (2015)

Systems analysis & design: an object-oriented approach with UML
Bỡi: Dennis, Alan
Được phát hành: (2014)

UML components: A simple process for specifying component-based software
Bỡi: John Cheesman
Được phát hành: (2001)

Giáo trình nhập môn UML
Bỡi: Huỳnh Văn Đức
Được phát hành: (2003)

Objects, components, and frameworks with UML: The catalysis approach
Bỡi: Desmond Francis D'Souza
Được phát hành: (1999)

Software evolution with UML and XML
Được phát hành: (2005)

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

Visual modeling with Rational Rose and UML /
Bỡi: Quatrani, Terry.
Được phát hành: (1998)

Modeling ODP computational specifications using UML /
Bỡi: Romero, Jose Raul.

Use case driven object modeling with UML
Bỡi: Rosenberg, Doug

Giáo trình nhập môn UML (Kèm CD) /
Bỡi: Huỳnh Văn Đức,
Được phát hành: (2003)

Phân tích thiết kế hướng đối tượng bằng UML
Bỡi: Đặng Văn Đức
Được phát hành: (2002)

Systems analysis and design : An Object-Oriented appoach with UML
Bỡi: Dennis, Alan
Được phát hành: (2015)

Giáo trình phân tích hệ thống hướng đối tượng với UML /
Được phát hành: (2009)

413 bài tập phân tích thiết kế hướng đối tượng bằng UML : Có lời giải /
Bỡi: Bennett, Simon.
Được phát hành: (2009)

Giáo trình nhập môn UML
Bỡi: Huỳnh, Văn Đức
Được phát hành: (2006)

Phát triển hệ thống hướng đối tượng với UML 2.0 và C + + /
Bỡi: Nguyễn Văn Ba
Được phát hành: (2005)

Phát triển hệ thống hướng đối tượng với UML 2.0 và C + + /
Bỡi: Nguyễn Văn Ba.
Được phát hành: (2008)

Applying UML and patterns :
Bỡi: Larman, Craig
Được phát hành: (1997)

Le guide de l'utilisateur UML
Bỡi: Booch- James, Grady
Được phát hành: (2003)

Applying UML and patterns : an introduction to object-oriented analysis and design and the unified process /
Bỡi: Larman, Craig.
Được phát hành: (2002)

Peter Norton's essential concepts
Bỡi: Norton, Peter
Được phát hành: (2003)

Giáo trình phân tích & thiết kế hướng đối tượng bằng UML
Bỡi: Dương, Anh Đức