Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN:3540340211
Lecture Notes in Statistics 142 Bilinear Stochastic Models and Related Problems of Nonlinear Time Se
Gyorgy Terdik1999 年出版262 页ISBN:
OBJECT-ORIENTED MODELING AND DESIGN
[美]拉姆博等著2004 年出版500 页ISBN:7508318102
UML(统一建模语言)是当今主流的建模语言,不过作为其重要基石的OMT(对象建模技术)却不太为国人所知,了解OMT的本质对深刻理解UML和面向对象,进而研究自己的建模技术有着重要意义。本书由OMT的倡导者James Rumbaugh...
A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN:0521392962
The Object Primer中文版 agile model-driven development with UML 2.0
(加)Scott W. Ambler著;车皓阳,张家才译2005 年出版350 页ISBN:7111168208
本书以一种直接的、易于理解的方式讲解了使用面向对象和关系数据库技术应该怎样进行敏捷软件开发(ASD)。它涵盖了ASD的基本概念,描述了如何采用敏捷的方法定义需求,进行分析和设计。...
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262