close
1.

図書
図書
1. Software tools : improving applications : proceedings of the conference held at Software Tools 87, London, June 1987
Software Tools Conference ; Online Conferences Ltd.
出版情報: London : Online, c1987  xii, 277 p. ; 30 cm
シリーズ名: Advanced computing series ; 8
所蔵情報: loading…
2.

図書
図書
2. Research directions in object-oriented programming
edited by Bruce Shriver and Peter Wegner
出版情報: Cambridge, Mass. : MIT Press, c1987  585 p. ; 24 cm
シリーズ名: MIT Press series in computer systems
所蔵情報: loading…
3.

図書
図書
3. Software engineering : planning for change (: pbk.)
David Alex Lamb
出版情報: Englewood Cliffs, NJ : Prentice-Hall, c1988  xxii, 298 p. ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. Specification of computer programs
Władysław M. Turski, Thomas S.E. Maibaum
出版情報: Woking, England ; Reading, Mass. : Addison-Wesley, c1987  x, 278 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
5.

図書
図書
5. Software engineering environments : concepts and technology
Robert N. Charette
出版情報: New York, NY : Intertext Publications, c1986  407 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Modula-2 : a software development approach
Gary Ford, Richard Wiener
出版情報: New York : Wiley, c1986  xii, 404 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Software process : principles, methodology, and technology
Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
出版情報: Berlin ; New York : Springer, c1999  xii, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1500
所蔵情報: loading…
目次情報: 続きを見る
The Software Process: Modelling and Technology / 1：
Introduction / 1.1：
The Perspective of this Book / 1.2：
Processes and Process Models / 1.3：
A Simple Example: Software Change / 1.4：
Process Modelling / 1.5：
Basic Elements / 1.5.1：
Process Model Levels / 1.5.2：
Process Model Views / 1.5.3：
Process-sensitive Software Engineering Environments / 1.6：
Meta-Process / 1.7：
Conclusion / 1.8：
Software Process - Standards, Assessments and Improvement / 2：
Standard Processes / 2.1：
ISO 9000-3 / 2.2.1：
PSS-05 / 2.2.2：
ISO-12207 / 2.2.3：
Assessment Methods / 2.3：
The Capability Maturity Model / 2.3.1：
Bootstrap / 2.3.2：
SPICE / 2.3.3：
Summary / 2.3.4：
Improvement Methods / 2.4：
Quality Improvement Paradigm / 2.4.1：
The Personal Software Process / 2.4.2：
Total Quality Management / 2.4.3：
Standards and Software Process Technology / 2.5：
Process Modelling Languages / 3：
Requirements on Process Modelling Languages / 3.1：
Process Elements / 3.2.1：
PML Requirements and Meta-process Phases / 3.2.2：
Possible PML Technologies from Other Languages/Domains / 3.3：
Project Management / 3.3.1：
Formal Specification Languages / 3.3.2：
Informal Design Notations / 3.3.3：
Programming Languages / 3.3.4：
Database Languages / 3.3.5：
CASE Tools and Tool Integration Mechanisms / 3.3.6：
WorkFlow and Groupware / 3.3.7：
The PML Design Dilemma: One or Many PMLs? / 3.3.8：
Process Modelling Languages in the Promoter Context / 3.4：
The Survey Method / 3.4.1：
EPOS SPELL / 3.4.2：
SOCCA / 3.4.3：
Merlin / 3.4.4：
OIKOS / 3.4.5：
ALF / 3.4.6：
ADELE-TEMPO / 3.4.7：
SPADE / 3.4.8：
PEACE+ / 3.4.9：
E3 / 3.4.10：
PADM / 3.4.11：
Discussion / 3.4.12：
Other PMLs / 3.5：
APPL/A / 3.5.1：
MARVEL / 3.5.2：
Process Weaver / 3.5.3：
Possible Groups of PMLs and PSEEs / 3.6：
Overview / 3.7：
Meta-Process and Quality Improvement / 4.1.2：
Existing Meta-Processes / 4.1.3：
Requirements for a Meta-Process / 4.2：
A Model of the Meta-Process / 4.3：
Control and Problem Solving / 4.3.1：
Consistency Management / 4.3.3：
Task Decomposition / 4.3.4：
Method Specialisation / 4.3.5：
Remarks on the Model / 4.3.6：
PROMOTER Reference Model (PRM) / 4.4：
Model Structure / 4.4.1：
Validation of the PRM with Respect to Requirements / 4.4.2：
Empirical Justification of PRM / 4.6：
The Customisation of PRM as QIP / 4.6.1：
The Customisation of PRM as PRISM / 4.6.3：
The Customisation of PRM as "Process Life-cycle" / 4.6.4：
Experience from Empirical Justification / 4.6.5：
Validation with respect to CMM / 4.7：
Task Decomposition View / 4.7.1：
Method Specialisation View / 4.7.4：
Validation of PRM with respect to Implementation / 4.8：
Process Wise Integrator / 4.8.1：
The Model / 4.8.3：
The Scenario / 4.8.4：
Requirements / 4.9：
Managing the Process Improvement Process / 4.9.2：
Looking at other Meta-Processes / 4.9.3：
Why Use a PRM? / 4.9.4：
The Way Forward / 4.9.5：
Architectural Views and Alternatives / 5：
Basic Components / 5.1：
A Reference Model for Architectures in PSEEs / 5.1.1：
Dialog Management / 5.1.2：
Process Management / 5.1.3：
Workspace Management / 5.1.4：
Repository Management / 5.1.5：
Communication Management / 5.1.6：
Tools / 5.1.7：
Architectures for Distributed PSEEs / 5.2：
Determinant Requirements on Architectures for Distributed PSEEs / 5.2.1：
Architectural Alternatives for Distributed PSEEs / 5.2.2：
Example Architecture: The Distributed PSEE Merlin / 5.3：
Instance View on the Merlin Architecture / 5.3.1：
Type View on the Merlin Architecture / 5.3.2：
Cooperation Control in PSEE / 6：
Objective / 6.1：
An Illustrative Example / 6.1.2：
Organisation of the Chapter / 6.1.3：
Moving from Traditional to Advanced Applications / 6.2：
ACID Properties / 6.2.1：
From ACID to Non-ACID / 6.2.2：
From Flat to Nested / 6.2.3：
From Closed to Open / 6.2.4：
Hierarchical versus Layered / 6.2.5：
Homogeneous versus Heterogeneous / 6.2.6：
From Transient to Persistent / 6.2.7：
Available Advanced Transaction Models / 6.2.8：
Summary and Analysis / 6.2.9：
Impact of Cooperation Control on the Architecture of PSEE / 6.3：
Impact of the Repository on Consistency Maintenance / 6.3.1：
Workspaces: an Abstract Level to Support Flexibility / 6.3.2：
Predefined Synchronisation Strategies Layer / 6.3.3：
The Knowledge Management Layer / 6.3.4：
The Interface Layer / 6.3.5：
Current Work / 6.4：
The COO System / 6.4.1：
The MERLIN System / 6.4.2：
The ADELE System / 6.4.3：
The SPADE System / 6.4.4：
Other Facets of Cooperation / 6.4.5：
The Human Dimension of the Software Process / 6.5：
Three Organisational Contexts of Software Development / 7.1：
In-house Development in "ACME Stores": the Fetish of Methodology / 7.2.1：
Case B: Implementing Quality Management in a Software House (Columbine) / 7.2.2：
Case C: User Involvement in the Development of a Medical Workstation / 7.2.3：
General Remarks on the Cases / 7.2.4：
The Social Dynamics of the Software Process / 7.3：
MIS Research on the Software Process / 7.3.1：
The Contribution of Software Psychology / 7.3.2：
Process Modelling and Enactment: Some Practical Experiences / 7.3.3：
The Human Role in the Software Process: Dowson's framework / 7.4：
Dowson's Framework / 7.4.1：
User Interaction / 7.4.2：
User Interaction, Learning and the Meta-Process / 7.4.3：
Interpersonal Interaction / 7.4.4：
A Human-Centred Approach to Software Process Support / 7.5：
The Need for an "Ecological Approach" in Software Process Research / 7.5.1：
Synergy with Computer Supported Cooperative Work / 7.5.2：
The Limits of the Process Enactment Paradigm / 7.5.3：
The Software Process is a Learning Process / 7.5.4：
Software Process: Key Issues and Future Directions / 7.6：
Summary of Key Issues / 8.1：
The Meta-Process / 8.2.1：
PSEE Architecture / 8.2.3：
Cooperation Control / 8.2.4：
Social Aspects / 8.2.5：
Wider Applications / 8.3：
Future Trends / 8.4：
Evolution of Software Development Practice / 8.4.1：
Technology Evolution / 8.4.2：
Application Domain Evolution / 8.4.3：
Appendix
Lifecycle (Sub) Process Demonstration Scenario (ISPW 9) / A：
Background / A.1：
Problem Reporting and Change Process / A.2：
Sub-scenarios / A.4：
Annotated Bibliography on PSEE/PML / B：
PMLs / B.1：
Japanese and American PSEEs / B.1.1：
European PSEEs / B.1.2：
Case Study Demonstrating the Wider Applicability of the PSEE Paradigm / C：
Informal Formulation of the Example / C.1：
A Preliminary Discussion of the Example / C.3：
A First Level of Process Modelling / C.4：
A Top-Down LCPS Model for the Example Process / C.5：
Discussion of the Example Process Models / C.6：
Assessment Framework for PSEEs / C.7：
Product / D.1：
Activity / D.2：
Workspace / D.3：
Cooperation / D.4：
Process and Meta-process Support / D.5：
Process Tracking and Time Constraints / D.6：
Human and Social Aspects: Costs and Benefits / D.7：
Glossary
References
Index
The Software Process: Modelling and Technology / 1：
Introduction / 1.1：
The Perspective of this Book / 1.2：
8.

図書
図書
8. Compiler construction
Niklaus Wirth
出版情報: Harlow ; Tokyo : Addison-Wesley, 1996  xi, 176 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
9.

図書
図書
9. Secrets of Delphi 2 : exposing undocumented features of Delphi
Ray Lischner
出版情報: Corte Madera, CA : Waite Group Press, 1996  xxvii, 831 p. ; 23 cm
所蔵情報: loading…
10.

図書
図書
10. Formal development of reactive systems : case study production cell
Claus Lewerentz, Thomas Lindner (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xi, 394 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 891
所蔵情報: loading…
11.

図書
図書
11. Bringing design to software
Terry Winograd ... [et al.]
出版情報: Reading, Mass. ; Tokyo : Addison Wesley, c1996  xxv, 321 p. ; 24 cm
シリーズ名: ACM Press books
所蔵情報: loading…
12.

図書
図書
12. KORSO : methods, languages, and tools for the construction of correct software : final report
Manfred Broy, Stefan Jähnichen (eds.)
出版情報: Berlin ; New York : Springer, c1995  x, 449 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1009
所蔵情報: loading…
13.

図書
図書
13. Readings in object-oriented systems and applications (: microfiche ; : paper ; : case)
[edited by] David C. Rine
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  ix, 243 p. ; 29 cm
所蔵情報: loading…
14.

図書
図書
14. The Imperative future : principles of executable temporal logic (: Wiley ; : Research Studies)
edited by Howard Barringer ... [et al.]
出版情報: Taunton, Somerset, England : Research Studies Press , New York : Wiley, c1996  xv, 239 p. ; 23 cm
シリーズ名: Advanced software development series
所蔵情報: loading…
15.

図書
図書
15. Application development systems : the inside story of multinational product development (: U.S ; : Germany ; : Japan)
edited by Tosiyasu L. Kunii
出版情報: Tokyo ; New York : Springer-Verlag, c1986  viii, 382 p. ; 25 cm
所蔵情報: loading…
16.

図書
図書
16. Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988
edited by Bernard De Neumann, Dan Simpson, Gil Slater
出版情報: Oxford : Clarendon , New York : Oxford University Press, 1991  xiii, 355 p. ; 25 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; New sereis ; 27
所蔵情報: loading…
目次情報: 続きを見る
The Role of Mathematics in Software Engineering / T. Denvir1：
Verification and Transformation of Simple Recursive Programs--An Algebraic Approach / C.T.P. Burton2：
The Need For Standards in Computing Mathematics / H.L. Porteous3：
Some Proposals Toward a Theory of Notation in Software Engineering / W. Godwin4：
A Random Walk Through Software Reliability Theory / P.G. Bishop ; F.D. Pullen5：
Mathematical Modelling of Software Testing / T. Downs6：
Draft MOD Policy for Safety Critical Software / K. Geary7：
Introducing Formal Methods: The CICS Experience with Z / B.P. Collins ; J.E. Nicholls ; I.H. Sorenson8：
Why Execute Formal Specifications? / A. M. Gravell ; P. Henderson9：
An Evolutionary Software Model / C. Rattray10：
Software Engineering Practices and Numerical Mathematical Software / G. Markham11：
Using Discrete Mathematics to Formalise the Software Testing Process / P.Dunne ; M. Roper ; P. Smith12：
Programming as Constructive Mathematics / S. Reeves13：
Conceptual Modelling of Software Diversity / B. Littlewood ; D. Miller14：
Formal Development of Communication Software / H. Haughton15：
An Evaluation of Functional Programming for the Commercial Environment / P. Sanders16：
Software Engineering and the Maintenance of a Large Old Program / A.J.S. Mann17：
Modal Action Logic for the Specification and Validation of Safety / W.D. Atkinson ; J.P. Booth ; W.J. Quirk18：
Formal Specification and Verification of Synchronised Resources Using an Extended Path Notation / C.C. Tam19：
The Role of Mathematics in Software Engineering / T. Denvir1：
Verification and Transformation of Simple Recursive Programs--An Algebraic Approach / C.T.P. Burton2：
The Need For Standards in Computing Mathematics / H.L. Porteous3：
17.

図書
図書
17. Prototyping : an approach to evolutionary system development (: Berlin ; : New York)
Reinhard Budde ... [et al.] ; with the cooperation of Philip Bacon
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 205 p. ; 25 cm
所蔵情報: loading…
18.

図書
図書
18. Software specification and design : a disciplined approach for real-time systems
Marilyn Keller, Ken Shumate
出版情報: New York : Wiley, c1992  xxiv, 405 p. ; 24 cm
シリーズ名: Wiley series in software engineering practice
所蔵情報: loading…
目次情報: 続きを見る
Systems Engineering and the System Development Process
The Systems Software Development Process
Software Specification
System Requirements Analysis
System Design
Software Requirements Analysis
Software Design
Top-Level Design
Detailed Design
Appendix
Glossary
References
Index
Systems Engineering and the System Development Process
The Systems Software Development Process
Software Specification
19.

図書
図書
19. The Unified computation laboratory : modelling, specifications, and tools
edited by Charles Rattray and Robert G. Clark
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1992  xiii, 461 p. ; 24 cm
シリーズ名: The Institute of Mathematics and its Applications conference series ; new series no. 35
所蔵情報: loading…
20.

図書
図書
20. Formal specification and design
L. M. G. Feijs & H. B. M. Jonkers
出版情報: Cambridge ; New York : Cambridge University Press, 1992  xvi, 335 p. ; 26 cm
シリーズ名: Cambridge tracts in theoretical computer science ; 35
所蔵情報: loading…
目次情報: 続きを見る
Algebraic Specification / Part I：
Introducing the basic concepts / 1：
Setting up algebraic specifications / 2：
Structuring algebraic specifications / 3：
Implementing algebraic specifications / 4：
State-Based Specification / Part II：
From algebras to states / 5：
Setting up state-based specification / 6：
Structuring state-based specification / 7：
Implementing state-based specification / 8：
Advanced Techniques / Part III：
Theoretical topics / 9：
Additional language constructs / 10：
Towards large systems / 11：
Bibliography
Appendices
Index
Algebraic Specification / Part I：
Introducing the basic concepts / 1：
Setting up algebraic specifications / 2：
21.

図書
図書
21. Eclipse : an integrated project support environment
edited by Frank Bott ; with a foreword by Brian Oakley
出版情報: London : Peter Peregrinus on behalf of the Institution of Electrical Engineers, 1989  xiv, 245 p. ; 24 cm
シリーズ名: IEE Computing series ; 14
所蔵情報: loading…
22.

図書
図書
22. JSP and JSD : the Jackson approach to software development. 2nd ed (: case)
John R. Cameron
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  x, 526 p. ; 26 cm
所蔵情報: loading…
23.

図書
図書
23. Object-oriented systems analysis : modeling the world in data (: pbk)
Sally Shlaer, Stephen J. Mellor
出版情報: Englewood Cliffs, N.J. : Yourdon Press, c1988  xii, 144 p. ; 24 cm
シリーズ名: Yourdon Press computing series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Why Information Modeling? / 1：
Difficulties in software development
How projects go awry
Information modeling as an answer
When to use information modeling in the software development process
Preview
Basic Ideas / 2：
A quick intuitive introduction to the elements of the model
Objects / 3：
Definition of object
Identifying objects
Object descriptions
Naming objects
Testing objects
Attributes / 4：
Definition of attributes
Notation
Finding and classifying attributes
Identifiers
Attribute descriptions
Domains
Formalizing the concept of table
Relationships / 5：
Concept of a relationship
Forms of binary relationships
Unconditional one-to-one relationships
Unconditional one-to-many relationships
Unconditional many-to-many relationships
Semantics and modeling of conditional forms
Constructions Involving Many Objects / 6：
Subtypes and supertypes
Associative objects
Representation of the Information Model / 7：
Information structure diagrams
Overview information structure diagram
Object specification document
Relationship specification document
Summary document
Techniques / 8：
Document research
Dialog
Technical notes
Reviews
Other suggestions
The Role of the Information Model in System Development / 9：
Software development processes
The analysis phase: An object-oriented approach
The external specification phase
The system design phase
The implementation phase
Summary
Information Model for Management of Magnetic Tapes / Appendix A：
Data Organization for a Real-Time Process Control System / Appendix B：
References / Appendix C：
Index
Preface
Why Information Modeling? / 1：
Difficulties in software development
24.

図書
図書
24. Structured rapid prototyping : an evolutionary approach to software development
John L. Connell, Linda Shafer
出版情報: Englewood Cliffs, N.J. : Yourdon Press, c1989  xiv, 299 p. ; 24 cm
シリーズ名: Yourdon Press computing series
所蔵情報: loading…
25.

図書
図書
25. Software development with Ada (: pbk)
Ian Sommerville, Ron Morrison
出版情報: Wokingham, England ; Tokyo : Addison-Wesley, 1987  xi, 360 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
26.

図書
図書
26. Object-oriented software construction (: pbk)
Bertrand Meyer
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1988  xviii, 534 p. ; 25 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
The Issues / Part A：
Software Quality / 1：
Criteria of Object Orientation / 2：
The Road to Object Orientation / Part B：
Modularity / 3：
Approaches to Reusability / 4：
Towards Object Technology / 5：
Abstract Data Types / 6：
Object-Oriented Techniques / Part C：
The Static Structure: Classes / 7：
The Run-Time Structure: Objects / 8：
Memory Management / 9：
Genericity / 10：
Design By Contract: Building Reusable Software
When the Contract is Broken: Exception Handling / 12：
Supporting Mechanisms / 13：
Introduction to Inheritance / 14：
Multiple Inheritance / 15：
Inheritance Techniques / 16：
Typing / 17：
Global Objects and Constraints / 18：
Object-Oriented Methodology: Applying the Method Well / Part D：
On Methodology / 19：
Design Pattern: Multi-panel Interactive Systems / 20：
Inheritance Case Study: "undo" in an Interactive System / 21：
How to Find the Classes / 22：
Principles of Class Design / 23：
Using Inheritance Well / 24：
Useful Techniques / 25：
A Sense of Style / 26：
Object-Oriented Analysis / 27：
The Software Construction Process / 28：
Teaching the Method / 29：
Advanced Topics / Part E：
Concurrency, Distribution, Client-Server and the Internet / 30：
Object Persistence and Databases / 31：
Some O-O Techniques for Graphical Interactive Applications / 32：
Applying the Method in Various Languages and Environments / Part F：
O-O Programming and Ada / 33：
Emulating Object Technology in non-O-O Environments / 34：
Simula to Java and Beyond: Major O-O Languages and Environments / 35：
Doing it Right / Part G：
An Object-Oriented Environment / 36：
Epilogue
Appendices / Part H：
Extracts From the Base Libraries / Appendix A：
Genericity Versus Inheritance / Appendix B：
Principles, Rules, Precepts and Definitions / Appendix C：
A Glossary of Object Technology / Appendix D：
Bibliography Index / Appendix E：
Bibliography
The Issues / Part A：
Software Quality / 1：
Criteria of Object Orientation / 2：
27.

図書
図書
27. MetaSoft primer : towards a metalanguage for applied denotational semantics (: gw ; : us)
Andrzej Blikle
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xii, 140 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 288
所蔵情報: loading…
目次情報:
An Example Definition of a Subset of Pascal
References
An Example Definition of a Subset of Pascal
References
28.

図書
図書
28. Object-oriented environments : the Mjølner approach
edited by J. L. Knudsen ... [et al.]
出版情報: New York : Prentice Hall, 1993  xii, 627 p. ; 24 cm
シリーズ名: Prentice Hall object-oriented series
所蔵情報: loading…
29.

図書
図書
29. Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us)
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  371 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 755
所蔵情報: loading…
30.

図書
図書
30. Software system development : a gentle introduction
Carol Britton, Jill Doake
出版情報: London : McGraw-Hill, c1993  x, 214 p ; 23 cm
シリーズ名: The McGraw-Hill international series in software engineering
所蔵情報: loading…
31.

図書
図書
31. Software development : manual for the planning, realization, and installation of DP systems
Wolfgang End, Horst Gotthardt, and Rolf Winkelmann ; translated by A.J. and B.D. Tebby
出版情報: Chichester [West Sussex] ; New York : Wiley, c1983  ix, 345 p. ; 24 cm
所蔵情報: loading…
32.

図書
図書
32. Object-oriented system development
Dennis De Champeaux, Douglas Lea, Penelope Faure
出版情報: Reading, Mass. : Addison-Wesley, c1993  xviii, 532 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Overview / 1：
Scope
Objects
Development Paradigms
Development Phases
Summary
Further Reading
Exercises
Analysis / I：
Introduction to Analysis / 2：
Purpose
Models
Process
Object Statics / 3：
Instances
Classes
Attributes
Attribute Features
Constraints
Identifying Objects and Classes
Object Relationships / 4：
Relationships
Collections
Identifying Relationships Summary
Object Dynamics / 5：
Describing Behavior
Transition Networks
Examples
Reducing Complexity
Object Interaction / 6：
Transitions
Sending and Receiving Events
Interaction Notations
Class Relationships / 7：
Property Inheritance
Subclasses
Multiple Inheritance
Sibling Relationships
Set Operations
Inheritance of Relations
Subclasses and Instances / 8：
Metaclasses
Parametric Instances
Ensembles / 9：
Exposing Constituents
Other Decomposition Constructs
Ensembles as Systems
Constructing a System Model / 10：
Requirements Fragment
Use Cases
Subsystems
Vocabulary
Model
Other Requirements / 11：
Resources
Timing
Other Constraints
The Analysis Process / 12：
Software Development Process
Default Sequence of Steps
OO Analysis of the OO Analysis Process
Alternative Processes
Tools
Domain Analysis / 13：
Reuse
The Grady Experience / 14：
Design / II：
From Analysis to Design / 15：
Continuity
Transformation
Design Phases
Design Criteria
Managing Design
Description and Computation / 16：
Translating Analysis Models
From Abstract to Concrete Concrete
Composing Classes
Controlling Transitions
Generic Classes
Generating Instances
Design for Testability
Transformation and Composition
Attributes in Design / 17：
Defining Attributes
Concrete Attributes
Views
Exports
Composition and Inheritance
Relationships in Design / 18：
Coordinators
Relations versus Composites
Designing Transitions / 19：
States and Guards
Atomicity
Timing Constraints
Concrete Transitions
Overview / 1：
Scope
Objects
33.

図書
図書
33. Software reengineering (: case)
Robert S. Arnold
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xi, 675 p. ; 28 cm
シリーズ名: IEEE Computer Society Press tutorial
所蔵情報: loading…
34.

図書
図書
34. Program development by specification and transformation : the PROSPECTRA methodology, language family, and system (: us ; : gw)
Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiv, 623 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 680
所蔵情報: loading…
35.

図書
図書
35. The design of an extendible graph editor (: gw ; : us)
Frances Newbery Paulisch
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiii, 184 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 704
所蔵情報: loading…
36.

図書
図書
36. Larch : languages and tools for formal specification (: us ; : gw)
John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]
出版情報: New York : Springer-Verlag, c1993  xiii, 250 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
37.

図書
図書
37. User interface software
edited by Len Bass and Prasun Dewan
出版情報: Chichester ; New York : Wiley, c1993  xiv, 201 p. ; 25 cm
シリーズ名: Trends in software ; 1
所蔵情報: loading…
38.

図書
図書
38. Systematic software development using VDM. 2nd ed
Cliff B. Jones
出版情報: New York : Prentice Hall, 1990  xiv, 333 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
39.

図書
図書
39. Software ecosystems : analyzing and managing business networks in the software industry (: [pbk])
edited by Slinger Jansen, Michael Cusumano, Sjaak Brinkkemper
出版情報: Cheltenham, UK : Edward Elgar, c2013  xii, 344 p. ; 25 cm
所蔵情報: loading…
40.

図書
図書
40. Head first iPhone and iPad development. 2nd ed
Dan Pilone, Tracey Pilone
出版情報: Sebastopol, Calif. : O'Reilly, 2011  xxxiv, 634 p. ; 24 cm
所蔵情報: loading…
41.

図書
図書
41. Advances in exception handling techniques
Alexander Romanovsky ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  xii, 288 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2022
所蔵情報: loading…
目次情報: 続きを見る
Language Support for Exception Handling / Part 1：
Fault Tolerance and Exception Handling in BETA / Jørgen Lindskov Knudsen
A Fully Object-Oriented Exception Handling System: Rationale and
Smalltalk Implementation / Christophe Dony
Condition Handling in the Lisp Language Family / Kent M. Pitman
Design and Modeling of Exception Handling Structures / Part 2：
Exception Safety: Concepts and Techniques / Bjarne Stroustrup
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model / Yolande Ahronovitz ; Marianne Huchard
Supporting Evolution of Interface Exceptions / Anna Mikhailova ; Alexander Romanovsky
Exception Handling in Concurrent and Distributed Systems / Part 3：
Concurrent Exception Handling / Valérie Issarny
Exception Handling in Agent-Oriented Systems / Anand Tripathi ; Robert Miller
Action-Oriented Exception Handling in Cooperative and Competitive
Concurrent Object-Oriented Systems / Jörg Kienzle
Exception Handling and Resolution for Transactional Object Groups / Marta Patiño-Martínez ; Ricardo Jiménez-Peris ; Sergio Arévalo
Applications of Exception Handling Techniques / Part 4：
Experiences with Error Handling in Critical Systems / Charles Howell ; Gary Vecellio
An Architectural-Based Reflective Approach to Incorporating Exception Handling into Dependable Software / Alessandro F. Garcia ; Cecília M. F. Rubira
Adapting C== Exception Handling to an Extended COM Exception Model / Bjørn Egil Hansen ; Henrik Fredholm
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling / Tatsurou Sekiguchi ; Takahiro Sakamoto ; Akinori Yonezawa
Exception Handling in Information Systems / Part 5：
Exception Handling in Object-Oriented Databases / Elisa Bertino ; Giovanna Guerrini ; Isabella Merlo
Error Handling in Process Support Systems / Fabio Casati ; Gianpaolo Cugola
ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions / Dickson K.W. Chiu ; Qing Li ; Kamalakar Karlapalem
Author Index
Language Support for Exception Handling / Part 1：
Fault Tolerance and Exception Handling in BETA / Jørgen Lindskov Knudsen
A Fully Object-Oriented Exception Handling System: Rationale and
42.

図書
図書
42. Modular specification and verification of object-oriented programs
Peter Müller
出版情報: Berlin : Springer, c2002  xiv, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2262
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Specification and Verification Technique / 1.2：
The Problem / 1.3：
Modular Correctness / 1.3.1：
The Frame Problem / 1.3.2：
Modular Verification of Type Invariants / 1.3.3：
The Extended State Problem / 1.3.4：
Alias Control / 1.3.5：
Modularity Aspects of Programs, Specifications, and Proofs / 1.4：
Modularity of Programs / 1.4.1：
Modularity of Universal Specifications / 1.4.2：
Modularity of Interface Specifications / 1.4.3：
Modularity of Correctness Proofs / 1.4.4：
Approach, Outline, and Contributions / 1.5：
Approach / 1.5.1：
Outline / 1.5.2：
Contributions / 1.5.3：
Related Work / 1.6：
Specification Techniques / 1.6.1：
Verification and Analysis Techniques / 1.6.2：
Mojave and the Universe Type System / 2：
Mojave: The Language / 2.1：
The Language Core / 2.1.1：
Modularity / 2.1.2：
Universes: A Type System for Flexible Alias Control / 2.2：
The Ownership Model / 2.2.1：
The Universe Programming Model / 2.2.2：
Programming with Universes / 2.2.3：
Examples / 2.2.4：
Formalization of the Universe Type System / 2.2.5：
Discussion / 2.2.6：
The Semantics of Mojave / 2.3：
Programming Logic / 3.1：
Formal Data and State Model / 3.1.1：
Axiomatic Semantics / 3.1.2：
Language Properties / 3.1.3：
Type Safety / 3.2.1：
Liveness Properties / 3.2.2：
Properties of Readonly Methods / 3.2.3：
Correctness / 3.3：
Correctness of Closed Programs / 3.3.1：
Correctness of Open Programs: Modular Correctness / 3.3.2：
Modular Soundness / 3.3.3：
Composition of Modular Correct Open Programs / 3.3.4：
Modular Specification and Verification of Functional Behavior / 3.4：
Foundations of Interface Specifications / 4.1：
Specification of Functional Behavior / 4.2：
Abstract Fields / 4.2.1：
Pre-post-specifications / 4.2.2：
Verification of Functional Behavior / 4.3：
Verification of Method Bodies / 4.3.1：
Proofs for Virtual Methods / 4.3.2：
Example / 4.3.3：
Modular Specification and Verification of Frame Properties / 4.4：
Meaning of Modifies-Clauses / 5.1：
Explicit Dependencies / 5.1.2：
Modularity Rules / 5.1.3：
Formalization of Explicit Dependencies / 5.2：
Declaration of Dependencies / 5.2.1：
Axiomatization of the Depends-Relation / 5.2.2：
Consistency with Representation / 5.2.3：
Formalization of the Modularity Rules / 5.2.4：
Axiomatization of the Notdepends-Relation / 5.2.5：
Formalization of Modifies-Clauses / 5.2.6：
Verification of Frame Properties / 5.4：
Local Update Property / 5.4.1：
Accessibility Properties / 5.4.3：
Modularity Theorem for Frame Properties / 5.4.4：
Leino's and Nelson's Work on Dependencies / 5.4.5：
Other Work on the Frame Problem / 5.5.2：
Modular Specification and Verification of Type Invariants / 6：
Motivation and Approach / 6.1：
Invariant Semantics for Nonmodular Programs / 6.1.1：
Problems for Modular Verification of Invariants / 6.1.2：
Specification of Type Invariants / 6.1.3：
Declaration of Type Invariants / 6.2.1：
Formal Meaning of Invariants / 6.2.2：
Verification of Type Invariants / 6.3：
Verification Methodology / 6.3.1：
Module Invariants / 6.3.2：
History Constraints / 6.4.2：
Conclusion / 6.5：
Summary and Contributions / 7.1：
The Lopex Project / 7.2：
Tool Support / 7.3：
Directions for Future Work / 7.4：
Formal Background and Notations / A：
Formal Background / A.1：
Notations / A.2：
Predefined Type Declarations / B：
Doubly Linked List / C：
Property Editor / C.2：
Auxiliary Lemmas, Proofs, and Models / D：
Auxiliary Lemmas and Proofs from Chapter 3 / D.1：
Auxiliary Lemmas and Proofs from Chapter 5 / D.2：
Auxiliary Lemmas and Proofs from Chapter 6 / D.3：
A Model for the Axiomatization of the Depends-Relation / D.4：
Bibliography
List of Figures
Index
Introduction / 1：
Motivation / 1.1：
Specification and Verification Technique / 1.2：
43.

図書
図書
43. Arithmetic optimization techniques for hardware and software design
Ryan Kastner, Anup Hosangadi, Farzan Fallah
出版情報: Cambridge, UK : Cambridge University Press, 2010  viii, 187 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
List of abbreviations
Preface
Introduction / 1：
Overview / 1.1：
Salient features of this book / 1.2：
Organization / 1.3：
Target audience / 1.4：
Use of polynomial expressions and linear systems / 2：
Chapter overview / 2.1：
Approximation algorithms / 2.2：
Computer graphics / 2.3：
Digital signal processing (DSP) / 2.4：
Cryptography / 2.5：
Address calculation in data intensive applications / 2.6：
Summary / 2.7：
Software compilation / 3：
Basic software compiler structure / 3.1：
Algebraic transformations in optimizing software compilers / 3.3：
Hardware synthesis / 3.4：
Hardware synthesis design flow / 4.1：
System specification / 4.3：
Program representation / 4.4：
Algorithmic optimization / 4.5：
Resource allocation / 4.6：
Operation scheduling / 4.7：
Resource binding / 4.8：
Case study: FIR filter / 4.9：
Fundamentals of digital arithmetic / 4.10：
Basic number representation / 5.1：
Two-operand addition / 5.3：
Multiple-operand addition / 5.4：
Polynomial expressions / 5.5：
Problem formulation / 6.1：
Related optimization techniques / 6.4：
Algebraic optimization of arithmetic expressions / 6.5：
Experimental results / 6.6：
Optimal solutions for reducing the number of operations in arithmetic expressions / 6.7：
Linear systems / 6.8：
Linear system basics / 7.1：
Single-constant multiplication (SCM) / 7.3：
Multiple-constant multiplication (MCM) / 7.5：
Overview of linear system optimizations / 7.6：
Transformation of a linear system into a polynomial expression / 7.7：
Optimization for synthesis using two-operand adders / 7.8：
FIR filter optimization / 7.9：
Synthesis for multiple-operand addition / 7.10：
Delay-aware optimization / 7.11：
Software optimization / 7.12：
Index / 7.13：
List of abbreviations
Preface
Introduction / 1：
44.

図書
図書
44. Software design. 2nd ed
David Budgen
出版情報: Harlow, England : Pearson Education Limited, 2003  xvi, 468 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
目次情報: 続きを見る
The Role of Software Design / Part 1：
The Nature of the Design Process / 1：
The Software Design Process / 2：
Design in the Software Development Process / 3：
Design Qualities / 4：
Transferring Design Knowledge / Part 2：
Describing a Design Solution / 5：
Some Design Representations / 6：
The Rationale for Method / 8：
Design Processes and Design Strategies / 9：
Design Patterns / 10：
Design Practices / Part 3：
Stepwise Refinement / 11：
Incremental Design / 12：
Structured Systems Analysis and Structured Design / 13：
Jackson Structured Programming (JSP / 14：
Jackson System Development (JSD / 15：
Designing with Objects / 16：
Component-Based Design / 17：
A Formal Approach to Design / 18：
Whither Software Design? / 19：
The Role of Software Design / Part 1：
The Nature of the Design Process / 1：
The Software Design Process / 2：
45.

図書
図書
45. Making software : what really works, and why we believe it
edited by Andy Oram and Greg Wilson
出版情報: Sebastopol, Calif. : O'Reilly, c2011  xv, 602 p. ; 24 cm
シリーズ名: Theory in practice
所蔵情報: loading…
46.

図書
図書
46. Software modeling and design : UML, use cases, patterns, and software architectures (: hardback)
Hassan Gomaa
出版情報: New York, N.Y. : Cambridge University Press, 2011  xxv, 550 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Overview / Part I：
Introduction / 1：
Overview of UML notation / 2：
Software life cycles and processes / 3：
Software design and architecture concepts / 4：
Overview of software modeling and design method / 5：
Software Modeling / Part II：
Use case modeling / 6：
Static modeling / 7：
Object and class structuring / 8：
Dynamic interaction modeling / 9：
Finite state machines and statecharts / 10：
State-dependent dynamic interaction modeling / 11：
Architectural Design / Part III：
Overview of software architecture / 12：
Software subsystem architectural design / 13：
Designing object-oriented software architectures / 14：
Designing client/server software architectures / 15：
Designing service-oriented architectures / 16：
Designing component-based software architectures / 17：
Designing concurrent and real-time software architectures / 18：
Designing software product line architectures / 19：
Software quality attributes / 20：
Case Studies / Part IV：
Client/server software architecture case study: banking system / 21：
Service-oriented architecture case study: online shopping system / 22：
Component-based software architecture case study: emergency monitoring system / 23：
Real-time software architecture case study: automated guided vehicle system / 24：
catalog of software architectural patterns / Appendix A：
Overview / Part I：
Introduction / 1：
Overview of UML notation / 2：
47.

図書
図書
47. Creating effective software : computer program design using the Jackson methodology
David King
出版情報: Englewood : Yourdon Press, c1988  xix, 246 p. ; 25 cm
シリーズ名: Yourdon Press computing series
所蔵情報: loading…
48.

図書
図書
48. Go to : the story of the math majors, bridge players, engineers, chess wizards, maverick scientists and iconoclasts : the programmers who created the software revolution (: pbk)
Steve Lohr
出版情報: New York : Basic Books, c2001  x, 250 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Acknowledgments
Introduction: The Rise of Software and the Programming Art / 1：
Fortran: The Early "Turning Point" / 2：
The Hard Lessons of the Sixties: From Exuberance to the Realities of COBOL and the IBM 360 Project / 3：
Breaking Big Iron's Grip: Unix and C / 4：
Programming for the Millions: The BASIC Story from Dartmouth to Visual Basic / 5：
The European Influence: From Algol to Pascal to C++ / 6：
A Computer of My Own: The Beginning of the PC Industry and the Story of Word / 7：
Computing for the Masses: The Long Road to "Gooey" and the Macintosh / 8：
Programming for Everyman: Just Let the Users Do It / 9：
Java: The Messy Birth of a New Language / 10：
There Has To Be a Better Way: Apache and the Open Source Movement / 11：
Afterword
Notes
References
Index
Acknowledgments
Introduction: The Rise of Software and the Programming Art / 1：
Fortran: The Early "Turning Point" / 2：
49.

図書
図書
49. Contributing to Eclipse : principles, patterns, and plug-ins
Erich Gamma, Kent Beck
出版情報: Boston : Addison-Wesley , Boston : Pearson Education, 2003, c2004  xix, 395 p. ; 24 cm
シリーズ名: The eclipse series
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
The Big Picture / Chapter 1：
Book Goals / 1.1：
Plug-In / 1.2：
Eclipse in a Nutshell / 1.3：
Circle Zero: Hello World / Part I：
Setting Up Eclipse for Plug-In Development / Chapter 2：
Setting Up a Workspace / 2.1：
Browsing and Searching Source / 2.2：
Hello World / Chapter 3：
Declaration/Implementation Split / 3.1：
Hello Button / 3.2：
Saying "Hello" / 3.3：
Circle One: Basic Plug-In / Part II：
Der Plan / Chapter 4：
JUnit by Example / 4.1：
JUnit Integration / 4.2：
Contributing a Menu Item to Run Tests / Chapter 5：
Implementing the Menu Item Behavior / Chapter 6：
Displaying the Results / Chapter 7：
Defining an Extension Point / Chapter 8：
Notifying Extensions / Chapter 9：
Publishing / Chapter 10：
Package the Plug-In / 10.1：
Bundling the Plug-In into a Feature / 10.2：
Contributing / 10.3：
Closing Circle One / Chapter 11：
Interlude
Test-Driven Plug-In Development / Chapter 12：
PDE JUnit / 12.1：
A Test Project Fixture / 12.2：
Testing the Contributed JUnit Plug-In / 12.3：
And Now... / 12.4：
Circle Two: The Rest of the Plug-In / Part III：
Viewing Results / Chapter 13：
Contributing a View / 13.1：
Listening to Testing Progress / 13.2：
Changing Colors / 13.3：
Menu Contributions / Chapter 14：
Creating Context Menus / 14.1：
Contributing Menu Items / 14.2：
Failed Tests Are Compile Errors / Chapter 15：
Test Failures as Markers / Chapter 16：
Test for a Marker / 16.1：
Passing the Project / 16.2：
Creating Markers / 16.3：
Deleting Markers / 16.4：
Marker Images / 16.5：
Marker Resolution / 16.6：
Finding Tests / Chapter 17：
Builders and Natures / Chapter 18：
Resource Listeners Versus Builders / 18.1：
Using Natures to Configure Builders / 18.2：
Auto-Test Property / Chapter 19：
Exception Handling / Chapter 20：
IStatus, CoreException / 20.1：
Presenting Exceptions in an Error Dialog / 20.2：
Logging Errors / 20.3：
Tracing--Instrumenting a Plug-In / Chapter 21：
Marker Resolution--Invoking a Long-Running Operation / Chapter 22：
Testing Marker Resolution / 22.1：
Build and Rerun / 22.2：
Showing Progress / 22.3：
Rerunning the Test / 22.4：
Test Report View--Using JFace / Chapter 23：
TestResult / 23.1：
The Test / 23.2：
The View / 23.3：
TestReportLabelProvider / 23.4：
TestReportContentProvider / 23.5：
Handling Events / 23.6：
A Simple Editor to Exclude Tests / Chapter 24：
Contributing an Editor / 24.1：
Contributing a Contributor / 24.2：
ResultView Revisited--Observing Changes / Chapter 25：
Testing Color / 25.1：
Observing Changes / 25.2：
Reacting to Changes / 25.3：
Perspectives / Chapter 26：
Views in Perspective / 26.1：
Show View Menu / 26.2：
Help / Chapter 27：
Top-Level Help / 27.1：
Integrated Help / 27.2：
Context-Sensitive Help / 27.3：
Internationalization and Accessibility / Chapter 28：
Externalizing Strings from the Manifest Files / 28.1：
Externalizing Strings from Code / 28.2：
Accessibility / 28.3：
Publishing a Plug-In for Other Programmers / Chapter 29：
Defining the API / 29.1：
Exporting Classes / 29.2：
Separating Published from Internal Packages / 29.3：
Separating Core from UI / 29.4：
Publishing an Extension Point--Extension Point Schemas / 29.5：
Closing Circle Two / Chapter 30：
Redeploying the Plug-In / 30.1：
Where to Go Next? / 30.3：
Circle Three: Pattern Stories / Part IV：
Core Runtime--IAdaptable / Chapter 31：
Extension Object/Extension Interface / 31.1：
Surfacing Interfaces Using IAdaptable / 31.2：
AdapterFactories--Adding Interfaces to Existing Types / 31.3：
Core Workspace--Resources / Chapter 32：
Accessing File-System Resources--Proxy and Bridge / 32.1：
The Workspace--Composite / 32.2：
Traversing the Resource Tree--Visitor / 32.3：
Tracking Resource Changes--Observer / 32.4：
Batching Changes--Execute Around Method / 32.5：
Java Core / Chapter 33：
From Resources to Java Elements--Adapter / 33.1：
Java Elements--(Virtual) Proxy / 33.2：
The Java Element Tree--Composite / 33.3：
Type Hierarchies--Objectifying an Association / 33.4：
Traversing the Java Model / 33.5：
Tracking Java Element Changes--Observer / 33.6：
Collecting Results--Builder / 33.7：
Abstract Syntax Tree Analysis--Visitor / 33.8：
Standard Widget Toolkit--SWT / Chapter 34：
Composing Widgets--Composite / 34.1：
Defining the Layout--Strategy / 34.2：
Responding to Events--Observer / 34.3：
JFace--User Interface Frameworks / Chapter 35：
Viewers: Connecting a Widget to a Model--Pluggable Adapter / 35.1：
Viewers: Customizing a Viewer without Subclassing--Strategy / 35.2：
Actions--Command / 35.3：
UI Workbench / Chapter 36：
Implementing the Lazy Loading Rule--Virtual Proxies / 36.1：
Persisting UI State--Memento / 36.2：
Workbench Services--IAdaptable / 36.3：
Closing Circle Three / Chapter 37：
Final Forward Pointers / 37.1：
An Invitation to Contribute / 37.2：
Appendices / Part V：
TestRunner Details / Appendix A：
TestRunner / A.1：
SocketTestRunner / A.2：
The TestProject Fixture / Appendix B：
Foreword
Preface
The Big Picture / Chapter 1：
50.

図書
図書
50. UML 2 toolkit
Hans-Erik Eriksson ... [et al.]
出版情報: Indianapolis, Ind. : Wiley Pub., c2004  xxvii, 511 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
OMG Press Books in Print
About the OMG
2003 OMG Press Advisory Board
Preface for the Second Edition
About the Authors
Acknowledgments
What Is UML? / Chapter 1：
The Purpose of Modeling
Software Development, Methods, and Models
The Method Wars
Acceptance of UML
The Object Management Group
Unified Modeling Language Elements
Methods and Modeling Languages
Object-Oriented Software Development
Concepts of Object Orientation
Business Engineering
Disciplines of System Development
Requirements
Analysis
Design
Implementation
Test
Relevant Changes in UML 2
Summary
An Overview of UML / Chapter 2：
Views
Use-Case View
Logical View
Implementation View
Process View
Deployment View
Diagrams
Use-Case Diagram
Class Diagram
Object Diagram
State Machines
Activity Diagram
Interaction Diagrams
Sequence Diagram
Communication Diagram
Interaction Overview Diagram
Component Diagram
Deployment Diagram
Composite Structure Diagram
Model Elements
General Mechanisms
Adornments
Comments
Specifications
Extending UML
Stereotypes
Tagged Values
Constraints
Model Driven Architecture with UML
Software Development Process and UML
Tools
Drawing Support
Model Repository
Navigation
Multiuser Support
Code Generation
Reverse Engineering
Integration
Interchange of Models
Tool Options
Use-Case Modeling / Chapter 3：
Basics of Use Cases
System
Actors
Finding Actors
Actors in UML
Relationships between Actors
Use Cases
Finding Use Cases
Use Cases in UML
Relationships between Use Cases
Generalization Relationship
Extend Relationship
Include Relationship
Organizing Use Cases
Describing Use Cases
Assessing Use Cases
Testing Use Cases
Use Cases and Requirements Management
Realizing Use Cases
Classes, Objects, and Their Relationships / Chapter 4：
Classes and Objects
Finding Classes
Name Compartment
Attributes Compartment
Java Implementation
Operations Compartment
Using Primitive Types
Relationships
Associations
Normal Association
Recursive Association
Roles in an Association
Qualified Association
Xor Constraint
Ordered Association
Association Class
Ternary Association
Aggregation
Aggregate
Shared Aggregation
Composition Aggregation
Generalization
Basic Generalization
Advanced Generalization
Generalization Set
Powertype
Dependencies and Abstractions
Constraints, Expressions, and Derivations
Interfaces and Ports
Ports
Packages
Templates
Dynamic Modeling / Chapter 5：
States and Transitions
Event-Signature
Guard-Condition
Action-Expression
Send-Clause
Events
Sending Messages Between State Machines
Substates
Entry, Exit, and Terminate Indicators
History Indicator
Activity Diagrams
Actions and Edges
Activity Partitions
Objects
Signals
Pins
Business Modeling with Activity Diagrams
Sequence Diagrams
Generic and Instance Form
Concurrent Objects
Combined Fragments
Interaction Occurrences
Creating and Destroying Objects
Recursion
Interaction Overviews
Communication Diagrams
Message Labels
Using Communication Diagrams
Advanced Dynamic Modeling Illustrated by Real-Time Systems / Chapter 6：
What Is a Real-Time System?
Attributes of a Real-Time System
Types of Real-Time Systems
Concepts in UML for Real-Time Systems
Active Classes and Active Objects
Active Class Implementation
Active Object Interactions
Communication
Events and Triggers
Messages
Synchronization and Concurrency
Synchronization Issues
Synchronization Mechanisms
Fault Tolerance
Implementation in Java
UML Time Elements
Real-Time Modeling in UML Diagrams
The Token Flow Model in Activity Diagrams
Chocolate Factory: Streaming Input and Output Example
Processing Applications: Expansion Regions and Structured Activities
Investment Simulation: Interruptible Regions and Storage
House Alarm: Static Structure for Dynamic Messages
Static Diagrams
Detailed Activity Diagram Showing Message Handling
Basic Sequence Diagram
Advanced Sequence Diagrams with Combined Fragments
Timing Diagrams
Behavioral State Machines
Handling Active Classes and Objects
State Machine Regions and Concurrency
Handling Triggers on Events in Composite States
Transitions and Synchronization
Complex State Machines and Run-to-Completion Semantics
State Machine Redefinition and Reuse
Protocol State Machines
Advanced Modeling, Design, and Optimization
Design Overview
Modeling Processes and Threads with Objects
Designing Active Classes
Design and the Implementation Environment
Approaches to Showing Behavioral Diagrams
Performance Optimization
Design Optimization
Optimization and the Operating System
Representing Architecture / Chapter 7：
Logical Architecture
Logical Architecture Structure
Components
Collaborations
Composite Structure Diagrams
Patterns in Architecture
The Proxy Pattern
Modeling Patterns in UML
Showing Patterns in Diagrams
Patterns and Use Cases
Physical Architecture
Hardware
Software
Nodes
Communication Paths
Deployed Artifacts
Allocating Artifacts to Nodes
Standard Extensions Overview / Chapter 8：
Tagged Values and Properties
Standard Tag Value Examples
Tag Value from a Profile
Defining Your Own Tagged Values
Creating a Stereotype
Examples of UML Stereotypes
Metainformation
Dependency Stereotypes
Customization with Components
Stereotypes Applied to Deployment Artifacts
Utility
Use Case Stereotypes
Signal
Control, Boundary, and Entity
Stereotypes for Creation and Destruction
Retired Standard Stereotypes
Defining Your Own Stereotypes
Examples of UML Constraints
Constraints for Associations
Constraints for Association Roles and Properties
Defining Your Own Constraints
A Language for Expressing Constraints
OCL Metamodel
Basic Structure of OCL Expressions
Invariants, Preconditions, and Postconditions
Language Architecture and Kernel Overview
High-Level Language Constructs
Reviewing the UML Kernel
The Profile Package
Architecture Overview Summary and Observations
Model Driven Architecture / Chapter 9：
MDA Evolution and Goals
Background and General Goals
Model Levels
Model Compilers
Mapping the Many Elements of MDA
From the Business Model to PIM and PSM
The High-Level Review
Defining Functionality with No Platform
Platform-Specific Models
Information Management Solution
Tips for Modeling in the MDA World
Modeling for Business and Functional Analysis
Modeling for the Software Architect
Modeling for the Developer
High-Level Assessment of MDA Opportunities
Opportunities
A Necessary Evolutionary Step for Increased Coordination
Cost-Aware MDA
Warnings
Too Much Modeling Overhead and Complexity
Lack of Universality in Tool Implementation
Untested Behavioral Modeling
Misuse of MDA
A Process for Using UML / Chapter 10：
Defining and Understanding Software-Engineering Processes
Process Context
Process User
Process Steps
Problem Formulation
Solution Design
Implementation Design
Process Evaluation
The Basis for a UML Process
Use-Case-Driven Systems
Architecture-Centric Approach
Iterative Approach
Incremental Approach
A Traditional Object-Oriented Method
The Unified Process
The Life Cycle
Inception
Elaboration
Construction
Transition
Comparing the Unified Process to a Traditional Process
Process Tools
Model Quality
What Is a Good Model?
Can You Communicate the Model?
Does the Model Fit Its Purpose?
Does the Model Capture the Essentials?
Naming Conventions
Model Coordination
Model Complexity
Case Study / Chapter 11：
Developing a Vision
Modeling Use Cases
Establishing the Domain Model
Performing Use-Case Analysis
Not UML? How Can That Be?
Designing the Architecture
System Structure
Architectural Mechanisms
Design Patterns
Design Policies
Performing Detailed Design
Business Package
Presentation Package
Use-Case Design
Designing the User Interface
Test and Deployment
Exercises
Requirements and Analysis Exercises
Design and Construction Exercises
Visual Glossary / Appendix A：
Glossary / Appendix B：
References / Appendix C：
What's on the CD-ROM? / Appendix D：
Index
End-User License Agreement
GNU General Public License
OMG Press Books in Print
About the OMG
2003 OMG Press Advisory Board
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼