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. Prototyping
出版情報: Oxford ; New York : Pergamon Infotech, c1986  ix, 209 p. ; 31 cm
シリーズ名: State of the art report ; ser. 14, no. 4
所蔵情報: loading…
3.

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

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

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

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

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

図書
図書
8. An integrated approach to software development
Russell J. Abbott
出版情報: New York : Wiley, c1986  xxv, 334 p. ; 24 cm
所蔵情報: loading…
9.

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

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

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

図書
図書
12. 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…
13.

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

図書
図書
14. 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…
15.

図書
図書
15. 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…
16.

図書
図書
16. 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…
17.

図書
図書
17. 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…
18.

図書
図書
18. 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：
19.

図書
図書
19. 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…
20.

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

図書
図書
21. 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…
22.

図書
図書
22. 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：
23.

図書
図書
23. 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…
24.

図書
図書
24. 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…
25.

図書
図書
25. Software development and management for microprocessor-based systems
Tomlinson G. Rauscher, Linda M. Ott
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1987  xiv, 338 p. ; 24 cm
所蔵情報: loading…
26.

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

図書
図書
27. 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…
28.

図書
図書
28. 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…
29.

図書
図書
29. 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：
30.

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

図書
図書
31. 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…
32.

図書
図書
32. 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…
33.

図書
図書
33. 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…
34.

図書
図書
34. 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…
35.

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

図書
図書
36. 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…
37.

図書
図書
37. 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…
38.

図書
図書
38. 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…
39.

図書
図書
39. Developing user interfaces : ensuring usability through product & process
Deborah Hix, H. Rex Hartson
出版情報: New York : J. Wiley, c1993  xxix, 381 p. ; 24 cm
シリーズ名: Wiley professional computing
所蔵情報: loading…
40.

図書
図書
40. 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…
41.

図書
図書
41. 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…
42.

図書
図書
42. 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…
43.

図書
図書
43. 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…
44.

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

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

図書
図書
46. 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：
47.

図書
図書
47. 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：
48.

図書
図書
48. 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：
49.

図書
図書
49. 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…
50.

図書
図書
50. 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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼