Sistem Informasi Pustaka

リアルタイムUMLワークショップ

組込みシステムの「現実的」で「解決困難」な問題に正面から取り組むワークブック。モデル駆動型開発によるシステムの要求分析からコード生成・検証までを網羅。「非機能要件」等、現実的な問題の扱いについても明示した組込み開発者必携の書。

ダイアグラム別UML徹底活用

UML 2.xに全面対応リニューアル!一層簡潔に、さらに判りやすく。ダイアグラムのマスターに最適な「使いどころ」やノウハウを満載。ユースケース図やクラス図、コンポーネント図はもちろんタイミング図/相互作用概要図、コンポジット構造図、パッケージ図やバージョンの混在による問題点などまで幅広く実用的にフォーカス。

Analyse und Design mit UML 2.1

objektorientierte Softwareentwicklung

UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools

5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings

UML-B Specification for Proven Embedded Systems Design

Software Evolution with UML and XML

This title provides a forum where expert insights are presented on the subject of linking three current phenomena: software evolution, UML and XML.

Use Case Driven Object Modeling with UML

The UML Profile for Framework Architectures

This book presents a set of principles for designing frameworks and practical techniques for adapting them efficiently. It also describes how UML may be used to model frameworks and their applications
Selengkapnya...

Process Quality Assurance for UML-based Projects

Readers can learn the "what, when, and how" of measuring quality and how to apply it to the next project, as well as learn to verify and validate UML-based diagrams to ensure quality before coding. Th
Selengkapnya...

Sebanyak 44165 item atau buku ditemukan

Previous 1..2444 2445 2446 2447 244824492450 2451 2452 2453..3681 Next

リアルタイムUMLワークショップ

ブルース・ダグラス,

組込みシステムの「現実的」で「解決困難」な問題に正面から取り組むワークブック。モデル駆動型開発によるシステムの要求分析からコード生成・検証までを網羅。「非機能要 ...

ダイアグラム別UML徹底活用

井上樹,

UML 2.xに全面対応リニューアル!一層簡潔に、さらに判りやすく。ダイアグラムのマスターに最適な「使いどころ」やノウハウを満載。ユースケース図やクラス図、コンポーネント ...

UML 2.0(생각하며 배우는)

김현남,

UML 이해와 실제

박현철,

UML für IT-Berufe

Dirk Hardy,

Analyse und Design mit UML 2.1

objektorientierte Softwareentwicklung

Bernd Oestereich,

UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools

5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings

Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to “third-generation” or “high-level” p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.

Jean-Marc Jezequel, Heinrich Hussman, Stephen Cook,

More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year.

UML-B Specification for Proven Embedded Systems Design

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Jean Mermet,

Software Evolution with UML and XML

This title provides a forum where expert insights are presented on the subject of linking three current phenomena: software evolution, UML and XML.

Yang, Hongji,

This title provides a forum where expert insights are presented on the subject of linking three current phenomena: software evolution, UML and XML.

Use Case Driven Object Modeling with UML

Theory and Practice

Use Case Driven Object Modeling with UML: Theory and Practice shows how to drive an object-oriented software design from use case all the way through coding and testing, based on the minimalist, UML-based ICONIX process. In addition to a comprehensive explanation of the foundations of the approach, the book makes extensive use of examples and provides exercises at the back of each chapter. This book leads by example. It demonstrates common analysis and design errors, shows how to detect and fix them, and suggests how to avoid making the same errors in the future. The book also encourages you to examine its UML examples and to search for specific errors. You'll get clues, then later receive the answers during review sessions toward the end of the book.

Doug Rosenberg, Matt Stephens, Matt Stephens,

In addition to a comprehensive explanation of the foundations of the approach, the book makes extensive use of examples and provides exercises at the back of each chapter. This book leads by example.

The UML Profile for Framework Architectures

Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe,

This book presents a set of principles for designing frameworks and practical techniques for adapting them efficiently.

Process Quality Assurance for UML-based Projects

Bhuvan Unhelkar,

With this book you will be able to: Understand the elusive nature of software quality, the pressures on software quality, and the importance of processes and modeling in enhancing software qualityDivide modeling into three distinct but ...

Previous 1..2444 2445 2446 2447 244824492450 2451 2452 2453..3681 Next