close
1.

図書
図書
1. Foundations of programming (alk. paper)
Jacques Arsac; translated by Fraser Duncan
出版情報: London; Orlando : Academic Press, 1985  xxxii, 265 p.; 24 cm.
シリーズ名: A.P.I.C. studies in data processing ; vol. 23
所蔵情報: loading…
目次情報: 続きを見る
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
From Recursion to Iteration
Regular Actions
Program Transformations
The Transformation of Subprograms from Recursive to Iterative
Analysis Programming
Bibliography
Index
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
2.

図書
図書
2. Microprocessors systems : a 16 bit approach (est.)
William J. Eccles
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1985  xviii, 458 p. ; 24 cm
所蔵情報: loading…
3.

図書
図書
3. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985  xii, 618 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
4.

図書
図書
4. Diagramming techniques for analysts and programmers
James Martin, Carma McClure
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xvi, 396 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Computer science Logo style
Brian Harvey
出版情報: Cambridge, Mass. : MIT Press, c1985-c1986  2 v. ; 23 cm
所蔵情報: loading…
6.

図書
図書
6. Software engineering. 2nd ed. (: pbk.)
I. Sommerville
出版情報: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley, c1985  xi, 334 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Overview / Part 1：
Introduction / Chapter 1：
FAQs about software engineering / 1.1：
Professional and ethical responsibility / 1.2：
Key points
Further reading
Exercises
Computer-based system engineering / Chapter 2：
Emergent system properties / 2.1：
Systems and their environment / 2.2：
System modelling / 2.3：
The system engineering process / 2.4：
System procurement / 2.5：
Software processes / Chapter 3：
Software process models / 3.1：
Process iteration / 3.2：
Software specification / 3.3：
Software design and implementation / 3.4：
Software validation / 3.5：
Software evolution / 3.6：
Automated process support / 3.7：
Project management / Chapter 4：
Management activities / 4.1：
Project planning / 4.2：
Project scheduling / 4.3：
Risk management / 4.4：
Requirements / Part 2：
Software requirements / Chapter 5：
Functional and non-functional requirements / 5.1：
User requirements / 5.2：
System requirements / 5.3：
The software requirements document / 5.4：
Requirements engineering processes / Chapter 6：
Feasibility studies / 6.1：
Requirements elicitation and analysis / 6.2：
Requirements validation / 6.3：
Requirements management / 6.4：
System models / Chapter 7：
Context models / 7.1：
Behavioural models / 7.2：
Data models / 7.3：
Object models / 7.4：
CASE workbenches / 7.5：
Software prototyping / Chapter 8：
Prototyping in the software process / 8.1：
Rapid prototyping techniques / 8.2：
User interface prototyping / 8.3：
Formal specification / Chapter 9：
Formal specification in the software process / 9.1：
Interface specification / 9.2：
Behavioural specification / 9.3：
Design / Part 3：
Architectural design / Chapter 10：
System structuring / 10.1：
Control models / 10.2：
Modular decomposition / 10.3：
Domain-specific architectures / 10.4：
Distributed systems architectures / Chapter 11：
Multiprocessor architectures / 11.1：
Client-server architectures / 11.2：
Distributed object architectures / 11.3：
CORBA / 11.4：
Object-oriented design / Chapter 12：
Objects and object classes / 12.1：
An object-oriented design process / 12.2：
Design evolution / 12.3：
Real-time software design / Chapter 13：
System design / 13.1：
Real-time executives / 13.2：
Monitoring and control systems / 13.3：
Data acquisition systems / 13.4：
Design with reuse / Chapter 14：
Component-based development / 14.1：
Application families / 14.2：
Design patterns / 14.3：
User interface design / Chapter 15：
User interface design principles / 15.1：
User interaction / 15.2：
Information presentation / 15.3：
User support / 15.4：
Interface evaluation / 15.5：
Critical Systems / Part 4：
Dependability / Chapter 16：
Critical systems / 16.1：
Availability and reliability / 16.2：
Safety / 16.3：
Security / 16.4：
Critical systems specification / Chapter 17：
Software reliability specification / 17.1：
Safety specification / 17.2：
Security specification / 17.3：
Critical systems development / Chapter 18：
Fault minimisation / 18.1：
Fault tolerance / 18.2：
Fault-tolerant architectures / 18.3：
Safe system design / 18.4：
Verification and Validation / Part 5：
Verification and validation / Chapter 19：
Verification and validation planning / 19.1：
Software inspections / 19.2：
Automated static analysis / 19.3：
Cleanroom software development / 19.4：
Software testing / Chapter 20：
Defect testing / 20.1：
Integration testing / 20.2：
Object-oriented testing / 20.3：
Testing workbenches / 20.4：
Critical systems validation / Chapter 21：
Formal methods and critical systems / 21.1：
Reliability validation / 21.2：
Safety assurance / 21.3：
Security assessment / 21.4：
Management / Part 6：
Managing people / Chapter 22：
Limits to thinking / 22.1：
Group working / 22.2：
Choosing and keeping people / 22.3：
The People Capability Maturity Model / 22.4：
Software cost estimation / Chapter 23：
Productivity / 23.1：
Estimation techniques / 23.2：
Algorithmic cost modelling / 23.3：
Project duration and staffing / 23.4：
Quality management / Chapter 24：
Quality assurance and standards / 24.1：
Quality planning / 24.2：
Quality control / 24.3：
Software measurement and metrics / 24.4：
Process improvement / Chapter 25：
Process and product quality / 25.1：
Process analysis and modelling / 25.2：
Process measurement / 25.3：
The SEI Process Capability Maturity Model / 25.4：
Process classification / 25.5：
Evolution / Part 7：
Legacy systems / Chapter 26：
Legacy system structures / 26.1：
Legacy system design / 26.2：
Legacy system assessment / 26.3：
Software change / Chapter 27：
Program evolution dynamics / 27.1：
Software maintenance / 27.2：
Architectural evolution / 27.3：
Software re-engineering / Chapter 28：
Source code translation / 28.1：
Reverse engineering / 28.2：
Program structure improvement / 28.3：
Program modularisation / 28.4：
Data re-engineering / 28.5：
Configuration management / Chapter 29：
Configuration management planning / 29.1：
Change management / 29.2：
Version and release management / 29.3：
System building / 29.4：
CASE tools for configuration management / 29.5：
References
Index
Preface
Overview / Part 1：
Introduction / Chapter 1：
7.

図書
図書
7. Advanced UNIX programming (: pbk.)
Marc J. Rochkind
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xv, 265 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
8.

図書
図書
8. Structure and interpretation of computer programs (: MIT Press ; : MIT Press : pbk ; : McGraw-Hill)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985  xx, 542 p. ; 24 cm
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
目次情報: 続きを見る
Contents
Foreword
Preface to the Second Edition
Preface to the First Edition
Acknowledgments
Building Abstractions with Procedures / 1：
The Elements of Programming / 1.1：
Procedures and the Processes They Generate / 1.2：
Formulating Abstractions with Higher-Order Procedures / 1.3：
Building Abstractions with Data / 2：
Introduction to Data Abstraction / 2.1：
Hierarchical Data and the Closure Property / 2.2：
Symbolic Data / 2.3：
Multiple Representations for Abstract Data / 2.4：
Systems with Generic Operations / 2.5：
Modularity, Objects and State / 3：
Assignment and Local State / 3.1：
The Environmental Model of Evaluation / 3.2：
Modeling with Mutable Data / 3.3：
Concurrency: Time Is of the Essence / 3.4：
Streams / 3.5：
Metalinguistic Abstraction / 4：
The Metaciricular Evaluator / 4.1：
Variations on a Scheme--Lazy Evaluation / 4.2：
Variations on a Scheme--Nondeterministic Computing / 4.3：
Logic Programming / 4.4：
Computing with Register Machines / 5：
Designing Register Machines / 5.1：
A Register-Machine Simulator / 5.2：
Storage Allocation and Garbage Collection / 5.3：
The Explicit Control Evaluator / 5.4：
Compilation / 5.5：
References
List of Exercises
Index
Contents
Foreword
Preface to the Second Edition
9.

図書
図書
9. Software engineering
Marc Thorin
出版情報: London ; Boston : Butterworths, 1985  130 p. ; 22 cm
所蔵情報: loading…
10.

図書
図書
10. Communicating sequential processes (: pbk)
C.A.R. Hoare
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1985  viii, 256 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
Communication / 4：
Sequential Processes / 5：
Shared Resources / 6：
Discussion / 7：
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼