close
1.

図書

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

図書

図書
Johann Christoph Freytag
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xi, 131 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 261
所蔵情報: loading…
3.

図書

図書
Robert E. Filman, Daniel P. Friedman
出版情報: New York ; Tokyo : McGraw-Hill, c1984  xx, 370 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
4.

図書

図書
editor, S. Eisenbach
出版情報: Chichester [West Sussex] : E. Horwood , New York : Halsted Press, 1987  174 p. ; 25 cm
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications
所蔵情報: loading…
5.

図書

図書
Timothy Budd
出版情報: Reading, Mass. : Addison-Wesley, c1987  xv, 280 p. ; 24 cm
所蔵情報: loading…
6.

図書

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

図書

図書
Janet I. Egan and Thomas J. Teixeira
出版情報: New York : Wiley, c1988  viii, 357 p. ; 26 cm
所蔵情報: loading…
8.

図書

図書
[edited by] Peter Freeman, Anthony I. Wasserman
出版情報: [Silver Spring, MD] : IEEE Computer Society Press , [Los Angeles, CA] : Order from IEEE Computer Society, c1983  ix, 719 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
Lawrence H. Miller
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1986  xv, 574 p. ; 25 cm
所蔵情報: loading…
10.

図書

図書
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
11.

図書

図書
by Maurice V. Wilkes, David J. Wheeler, and Stanley Gill ; with a new introduction by Martin Campbell-Kelly
出版情報: Los Angeles : Tomash Publishers, c1982  xxxi, 167 p. ; 24 cm
シリーズ名: The Charles Babbage Institute reprint series for the history of computing ; v. 1
所蔵情報: loading…
12.

図書

図書
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
13.

図書

図書
edited by Alan Bundy
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xxv, 150 p. ; 25 cm
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
14.

図書

図書
Hugh Glaser, Chris Hankin and David Till
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984  xi, 251 p. ; 24 cm
所蔵情報: loading…
15.

図書

図書
Wolfgang Kreutzer
出版情報: Sydney ; Tokyo : Addison-Wesley, c1986  xi, 366 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
16.

図書

図書
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983  vii, 217 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: loading…
17.

図書

図書
[edited by] Steven S. Muchnick, Neil D. Jones
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  xvii, 418 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
18.

図書

図書
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xiv, 482 p. ; 24 cm
所蔵情報: loading…
19.

図書

図書
Mitchell Wand
出版情報: New York : North Holland, c1980  xii, 202 p. ; 24 cm
所蔵情報: loading…
20.

図書

図書
F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper
出版情報: Berlin ; New York : Springer-Verlag, 1982  xvi, 497 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
21.

図書

図書
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 300 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
22.

図書

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

図書

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

図書

図書
W. Wesley Peterson and Art Lew
出版情報: New York : Wiley, c1986  xv, 381 p. ; 25 cm
所蔵情報: loading…
25.

図書

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

図書

図書
Brian Harvey
出版情報: Cambridge, Mass. : MIT Press, c1985-c1986  2 v. ; 23 cm
所蔵情報: loading…
27.

図書

図書
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980  vi, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: loading…
28.

図書

図書
by Alan Wayne Madison
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  xx, 115 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 5
所蔵情報: loading…
29.

図書

図書
by Loretta Guarino Reid
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  viii, 163 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 13
所蔵情報: loading…
30.

図書

図書
by John Lowe Woods
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  viii, 108 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 12
所蔵情報: loading…
31.

図書

図書
Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982  xiv, 311 p. ; 24 cm.
所蔵情報: loading…
32.

図書

図書
by Elaine Kant
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  viii, 162 p. ; 23 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 8
所蔵情報: loading…
33.

図書

図書
J.K. Iliffe
出版情報: London ; Englewoods Cliffs, N.J. : Prentice-Hall International, c1982  ix, 469 p. ; 24 cm
所蔵情報: loading…
34.

図書

図書
Leon S. Levy
出版情報: New York : Wiley, c1980  310 p. ; 24 cm
所蔵情報: loading…
35.

図書

図書
William A. Wulf ... [et al.]
出版情報: Reading, Mass. : Addison-Wesley, c1981  xviii, 621 p. ; 24 cm
所蔵情報: loading…
36.

図書

図書
Lydia Kronsjö
出版情報: Chichester ; New York : Wiley, c1987  xiii, 363 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
37.

図書

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

図書

図書
Wilson T. Price
出版情報: New York : Holt, Rinehart and Winston, c1983  xiv, 429 p. ; 23 cm
所蔵情報: loading…
39.

図書

図書
Barbara Liskov and John Guttag
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986  xv, 469 p. ; 24 cm
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
40.

図書

図書
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  vii, 533 p. ; 24 cm
所蔵情報: loading…
41.

図書

図書
Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
出版情報: Chichester [West Sussex] ; New York : J. Wiley, c1986  ix, 145 p. ; 23 cm
所蔵情報: loading…
42.

図書

図書
Roland C. Backhouse
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1986  281 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
43.

図書

図書
Nissim Francez
出版情報: New York ; Tokyo : Springer, 1986  xiii, 295 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
44.

図書

図書
L. Ammeraal
出版情報: Chichester [West Sussex] ; New York : Wiley, c1986  viii, 168 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
Perspective
Hidden-Line Elimination
Hidden-Surface Elimination
Some Applications
Appendices
Bibliography
Index
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
45.

図書

図書
by Richard William Carr
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  xiii, 158 p. ; 24 cm
シリーズ名: Computer science / ed. by Harold S. Stone ; Systems programming ; no. 20
所蔵情報: loading…
46.

図書

図書
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984  294 p. ; 25 cm
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
47.

図書

図書
Peter Grogono, Sharon H. Nelson
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1982  xvi, 284 p. ; 24 cm
所蔵情報: loading…
48.

図書

図書
editors, B. L. Meek and P. M. Heath
出版情報: Chichester [England] : E. Horwood, 1980 , New York : Halsted Press  181 p. ; 24 cm
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications 3
所蔵情報: loading…
49.

図書

図書
Richard Bird, Philip Wadler
出版情報: New York ; Tokyo : Prentice Hall, 1988  xv, 293 p. ; 23 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Fundamental Concepts / 1:
Simple Datatypes / 2:
Numbers / 3:
Lists / 4:
Examples / 5:
Trees / 6:
Efficiency / 7:
Abstract Datatypes / 8:
Monads and Interaction / 9:
Case Study / 10:
Fundamental Concepts / 1:
Simple Datatypes / 2:
Numbers / 3:
50.

図書

図書
Jim Woodcock, Martin Loomes
出版情報: London : Pitman, 1988  [7], 291 p. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼