UML'99 - The Unified Modeling Language: Beyond the Standard

UML'99 - The Unified Modeling Language: Beyond the Standard PDF

Author: Robert B. France

Publisher: Springer

Published: 2003-07-31

Total Pages: 739

ISBN-13: 3540468528

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.

UML'99 - The Unified Modeling Language. Beyond the Standard

UML'99 - The Unified Modeling Language. Beyond the Standard PDF

Author: Robert B. France

Publisher: Springer

Published: 1999-10-15

Total Pages: 726

ISBN-13: 9783540667124

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.

Object Modeling with the OCL

Object Modeling with the OCL PDF

Author: Tony Clark

Publisher: Springer

Published: 2003-07-31

Total Pages: 287

ISBN-13: 3540456694

DOWNLOAD EBOOK →

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.

UML and the Unified Process

UML and the Unified Process PDF

Author: Liliana Favre

Publisher: IGI Global

Published: 2003-01-01

Total Pages: 420

ISBN-13: 9781931777445

DOWNLOAD EBOOK →

"Unified Modeling Language (UML), Unified Process (UP), and other information modeling methods are addressed in this scholarly consideration of the analysis, design, and development of web-based and enterprise applications. The most current research on conceptual, theoretical, and empirical issues of modeling for online business and static information is provided."

Conceptual Modeling - ER 2001

Conceptual Modeling - ER 2001 PDF

Author: Hideko S. Kunii

Publisher: Springer

Published: 2003-06-30

Total Pages: 633

ISBN-13: 3540455817

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001. The 45 revised full papers presented together with three keynote presentations were carefully reviewed and selected from a total of 197 submissions. The papers are organized in topical sections on spatial databases, spatio-temporal databases, XML, information modeling, database design, data integration, data warehouse, UML, conceptual models, systems design, method reengineering and video databases, workflows, web information systems, applications, and software engineering.

Formal Methods for Distributed Processing

Formal Methods for Distributed Processing PDF

Author: Howard Bowman

Publisher: Cambridge University Press

Published: 2001-10-22

Total Pages: 494

ISBN-13: 9780521771849

DOWNLOAD EBOOK →

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Lanterna Rally - Theme by Grace Themes