close
1.

図書

図書
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:
2.

図書

図書
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
3.

図書

図書
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:
4.

図書

図書
[edited by] Bill Curtis
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  v, 730 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
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:
6.

図書

図書
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
7.

図書

図書
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:
8.

図書

図書
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:
9.

図書

図書
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:
10.

図書

図書
出版情報: Oxford ; New York : Pergamon Infotech, c1986  ix, 209 p. ; 31 cm
シリーズ名: State of the art report ; ser. 14, no. 4
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼