Computer Science/Information Technology: Resources in Software Engineering
This guide lists information resources in the field of software engineering
available at RIT Library. It includes a selection of the books in this
subject area recently added to the collection, lists of relevant journals,
conference proceedings, and indexing and abstracting services. RIT Library
locations and holdings are listed for all materials. Hints for further research
into the literature of the field are also provided.
New from ACM is the Digital Library; providing access to the full-text of articles from the core group of ACM
journals and magazines, and papers from the proceedings of numerous ACM conferences.
Software Engineering - Recent Acquisitions (and a few old favorites)
QA76.76.D47 A53 1991
Andriole, Stephen J. Rapid Application Prototyping:
The Storyboarding Approach to User Requirements Analysis. QED Technical Pub.
Group, c1992.
QA76.758.A76 1993
Arnold, Robert S. Software Reengineering. IEEE
Computer Society Press, 1993.
QA76.76.Q35 A3 1993
Arthur, Lowell J.Improving Software Quality: An
Insider's Guide to TQM. Wiley, c1993.
QA76.754.B45 1992
Bennett, William S.Visualizing Software: A Graphical
Notation for Analysis, Design, and Discussion. Marcel Dekker, c1992.
QA76.76.D47 P66 1992
Bischofberger, W. Prototyping-oriented Software
Development: Concepts and Tools. Springer-Verlag, c1992.
QA76.758.B78 1992
Blum, Bruce I. Software Engineering: A Holistic
View. Oxford University Press, 1992.
QA76.758 .B67 1991
Borenstein, Nathaniel S.Programming as if People
Mattered: Friendly Programs, Software Engineering, and Other Noble
Delusions. Princeton University Press, 1991.
QA76.8.M3 C39 1992
Carter, Daniel. Writing Localizable Software for the
Macintosh. Addison-Wesley, c1992.
QA76.758.C5 1993
Chikofsky, Elliott J.Computer-aided Software Engineering
(CASE), 2nd ed. IEEE Computer Society Press, 1993.
K1443.C6 C56 1993
Clapes, Anthony L. Softwars: The Legal Battles for
Control of the Global Software Industry. Quorum Books, 1993.
QA76.758 .D44 1990
DeGrace, Peter.Wicked Problems, Righteous Solutions : a
Catalogue of Modern Software Engineering Paradigms. Yourdon Press,
c1990.
QA76.73.Z2 D55 1990
Diller, Antoni. An Introduction to Formal
Methods. Z: Wiley, c1990.
QA76.758.E45 1991
Ejiogu, Lem O. Software Engineering with Formal
Metrics. QED, c1991.
QA76.64.E43 1992
Embley, David W. Object-oriented Systems Analysis: A
Model-driven Approach. Yourdon Press, c1992.
QA76.76.D47 F44 1992
Feijs, J. M. G. Formal Specification and Design.
Cambridge University Press, 1992.
QA76.64.F57 1992
Firesmith, Donald G. Object-oriented Requirements
Analysis and Logical Design: A Software Engineering Approach. Wiley, 1992.
QA76.9.S88 G44 1992
Gibson, Robin.Managing Computer Projects: Avoiding
Pitfalls. Prentice Hall, 1992.
QA76.76.Q35 G5 1992
Gillies, Alan.Software Quality: Theory and
Management. Chapman & Hall, 1992.
QA76.76.Q35 G53 1992
Glass, Robert L. Building Quality Software.
Prentice Hall, c1992.
QA76.758.G66 1993
Goodman, Paul. Practical Implementation of Software
Metrics. McGraw-Hill, c1993.
QA76.76.D47 G72 1992
Grady, Robert B. Practical Software Metrics for
Project Management and Process Improvement. Prentice Hall, c1992.
QA76.76.Q35 H36 1992
Handbook of Software Quality Assurance. Van
Nostrand Reinhold, c1992.
QA76.6.H66 1993
Horning, J. J.Larch: Languages and Tools for Formal Specification.
Springer-Verlag, c1993.
QA76.9.S88 K69 1992
Kowal, James A.Behavior Models: Specifying User's Expectations.
Prentice Hall, c1992.
QA76.76.S64 L36 1992
Landsbaum, Jerome B. Measuring and Motivating Maintenance Programmers.
Prentice Hall, c1992.
QA76.9.U83 L37 1992
Larson, James A. Interactive Software: Tools for Building Interactive
User Interfaces. Yourdon Press, c1992.
QA76.76.D47 L67 1993
Lorenz, Mark. Object-oriented Software Development: A Practical
Guide. PTR Prentice Hall, 1993.
QA76.76.T48 M37 1992
Marks, David M. Testing Very Big Systems.
McGraw-Hill, c1992.
QA76.758.N68 1992
Norris, Mark.Software Engineering Explained.
Wiley, c1992.
QA76.76.D47 O48 1993
Olson, Dave.Exploiting Chaos: Cashing in on the Realities of
Software Development. Van Nostrand Reinhold, c1993.
QA76.758.P75 1991
Pressman, Roger S.Software Engineering: A Practitioner's Approach, 3rd
ed. McGraw-Hill, c1992.
QA76.76.P76 P76 1991
Protection of Computer Software: Its Technology and
Applications. Cambridge University Press on behalf of the British Computer
Society, c1992.
QA76.76.D47 P87 1991
Putnam, Lawrence H. Measures for Excellence: Reliable Software on Time,
within Budget. Prentice Hall, c1992.
QA76.76.D47 D36 1993
Serbanati, Luca Dan. Integrating Tools for Software Development.
Yourdon Press, c1993.
QA76.64.S474 1992
Shlaer, Sally. Object Lifecycles: Modeling the World in States.
Yourdon Press, c1992.
QA76.76.D47 S633 1992
Software Development and Reality Construction.
Springer-Verlag, c1992.
QA76.6.T888 1993
Software Management, 4th ed. IEEE Computer Society
Press, 1993.
QA76.73.Z2 S66 1992
Spivey, J.M. The Z Notation: A Reference Manual, 2nd ed.
Prentice Hall, 1992.
QA76.54.S74 1992
Stein,
Richard M. Real-time Multicomputer Software Systems. Ellis Horwood, 1992.
QA76.9.D43 S75 1992
Stitt, Martin.Debugging: Creative Techniques and Tools for Software
Repair. Wiley, c1992.
QA76.76.D47 T39 1992
Taylor, Dave. Global Software: Developing Applications for the
International Market. Springer-Verlag, c1992.
QA76.76.Q35 T67 1992
Total Quality Management for Software. Van
Nostrand Reinhold, c1992.
QA76.73.Z2 W67 1992
Wordsworth, J.B. Software Development with Z: A Practical Approach to
Formal Methods in Software Engineering. Addison-Wesley,
1992.
"Software Engineering" is a new Library of Congress subject heading. While more
recent additions to the library's online catalog are likely to have been
assigned this heading, to locate additional books or periodicals related to
software engineering, try subject searching on Einstein using the following
headings:
-
Computer-aided Software Engineering
-
Computer Programming Management
-
Computer Software (with any of the following: Development,
Evaluation, Quality Control, Reliability, Reusability, Specifications,
Testing, Verification, Validation), e.g. Computer Software Testing.
-
Debugging in Computer Science
-
Software (with any of: Compatibility, Configuration Management,
Maintenance, Productivity)
-
Structured Programming
-
System Analysis
-
C, or C++, (Computer program language)
Some very broad subject headings for this area are:
-
Computer Programs
-
Computer Software
-
Electronic Digital Computers - Programming
-
Programming (Electronic Computers)
-
Programming Languages (Electronic Computers)
Journals
PER QA76.9.D6S85
ACM SIGDOC Asterisk. v. 4- , 1977- . Quarterly.
PER QA76.6.A77a
ACM Transactions on Programming Languages and Systems.
v. 1-, 1979- . Quarterly.
PER QA 76.758.A27
ACM Transactions on Software Engineering and
Methodology. v. 1, #3- , 1992- .
PER QA76.7.A465
American Programmer. Monthly.v. 7-, 1994- .
RESD QA79.9.S88A84
Auerbach Systems Development Management. Current
Edition. Looseleaf Service. Bimonthly.
PER QA76.7.C646
Computer Language. v. 5- , 1988- . Monthly.
PER QA76.7.C647
Computer Languages. v. 2- , 1976- . Quarterly.
PER QA76.76.D47E88
EXE: The Software Developers' Magazine. v. 5,
#8- , 1991- . 11 issues/year.
PER QA76.9.S88H84
Human Computer Interaction. v. 1- , 1985- .
Quarterly.
PER QA76.6.I169
IEEE Software. v. 1- , 1984- . Bimonthly.
PER QA76.6.I17/Film 1126
IEEE Transactions on Software Engineering. v.
1-4, 1975-1978; v. 5- , 1979- . Monthly.
PER QA76.76.D47I586
International Perspectives in Software
Engineering. v. 1- , 1993- . Quarterly.
PER QA76.6.J69
Journal of Algorithms. v. 2- , 1981- . Quarterly.
PER QA76.6.J695
Journal of Object Oriented Programming. v. 1- ,
1988/89- . Bimonthly.
PER QA402.J68
Journal of Parametrics. v. 8 , 1988- . 1988- .
Quarterly.
*NOTE: No issues published since April 1992.
PER QA76.5.J74
Journal of Systems and Software. v. 1- , 1979- .
Quarterly.
PER QA76.65.J687
Journal of Visual Languages & Computing. v. 1- ,
1990- . Quarterly.
CMS
Managing System Development. v. 13- , 1993- .
Continues:
System Development.
PER QA76.S36/Film 1607
Science of Computer Programming. v. 1-4,
1981-1984. v. 5- , 1985- . Bimonthly.
PER QA76.7.S54
SIGPLAN Notices. v. 10- , 1975- . Monthly.
PER QA76.9.S65S63
Software Engineering Journal. v. 3- , 1988- .
Bimonthly.
PER QA76.7.S53
Software Engineering Notes. v. 3- , 1978- .
Quarterly.
Film 1103
Software: Practice and Experience. v. 1- , 1971- .
Monthly.
PER QA76.76.R44S655
Software Quality Journal. Quarterly.v. 3-, 1994- .
PER QA76.75.S76
Structured Programming. v. 10- , 1989- 1992.
Quarterly.
[Ceased with v. 13, #4 1992]
PER QA76.9.S88 S96
System Development. v. 8--, 1988- 1992.
Monthly.
Con't by: Managing System Development.
A complete list of Computer Science Journals is available on the Subject Guides
shelves at the Reference Desk.
Conference Proceedings (recent and on-going series)
QA76.73.A35 A24 1990
Ada-Europe (Organization). International Conference
(1990 : Dublin, Ireland) Ada : Experiences and Prospects : Proceedings of the
Ada-Europe International Conference, Dublin 12-14 June 1990. Cambridge ; New
York : Cambridge University Press, 1990.
QA76.758.N67 1992
Advanced Information Systems Engineering: 4th
International Conference CAISE '92...Proceedings. Springer-Verlag, c1992.
QA76.76.E93 C38
CAV '91, CAV '92. Computer Aided Verification: [nth]
International Workshop, CAV 'NN... Proceedings. Springer-Verlag,
c1992, c1993.
QA76.6.C632
COMPSAC. International Computer Software and Applications
Conference. Proceedings. Annual. IEEE, 1st- , 1977- .
TA345.C64243 1992
Computer Applications and Design Abstraction, 1992:
Presented at the Energy- Sources Technology Conference and Exhibition...
ASME, c1992.
QA76.9.S65C65
Conference on Software Maintenance. Proceedings.
Computer Society Press of the IEEE, 1985- . Annual.
QA76.6.E976
European Symposium on Programming. ESOP 'NN: ...
Springer-Verlag, 1986,1988, 1990, 1992. Biennial.
QA76.758.E97
European Software Engineering Conference. ESEC 'NN:
...Proceedings. Springer-Verlag, 1987, 1989, 1991. Bienniel.
QA76.6.I545
Formal Description Techniques [II, III, IV] Proceedings of the
IFIP TC/WG6.1 ... International Conference on Formal Description Techniques for
Distributed Systems and Communications Protocols, FORTE 'NN... North-Holland,
1989, 1990, 1991.
TK7874.I568
International Conference on Computer Technology, Systems
and Applications. Proceedings [Comp Euro]. Computer Society Press of the
IEEE, 1987--. 1st, 1987 - .
QA76.6.N373a
International Conference on Software Engineering.
Proceedings. Annual since 1 988. IEEE Computer Society, 2nd- , 1976- .
OVER QA76.758.I574 1989
International Conference on Software Engineering
for Real Time Systems (2nd : 1989 : Cirencester England). Second
International Conference on Software Engineering for Real Time Systems, 18-20
September 1989. The Institution, c1989.
QA76.76.D47I57/ QA76.76.D47I58
International Joint Conference on Theory
and Practice of Software Development. TAPSOFT: Proceedings.Biennial.
Springer-Verlag. 1985, v. 1-2. 1987, 1989, 1991, 1993.
QA276.I57
International Society of Parametric Analysts. Conference.
Proceedings. ISPA, 6th, 1984; 8th, 1986- . Annual.
QA76.76.D47 I593 1993
International Symposium of Formal Methods Europe.
FME '93: Industrial-strength Formal Methods: First International Symposium of
Formal Methods Europe...Proceedings. Springer-Verlag, c1993.
QA76.758 .I576 1989
International Workshop on Environments (1989 : Chinon,
France) Software Engineering Environments : Proceedings. Springer-Verlag,
c1990.
QA76.I85
International Workshop on Software Specification and Design.
Proceedings. IEEE Computer Society, 1985, 1987, 1989.
QA76.758.S443 1988 / QA76.758.S653 1989 / QA76.758.S6462 1990 / QA76.758.S45
1991, 1992
SEI Conference on Software Engineering Education.
Proceedings. Springer-Verlag,1988-- . Annual.
QA76.751.E98 1992
Software Process Technology: Second European Workshop,
EWSPT '92...Proceedings. Springer-Verlag, c1992.
QA76.76.D47V85 1987 / QA76.76.D47V854 1988 / QA76.76.D47 V36 1991
VDM '87:
... VDM-Europe Symposium ... Proceedings.
VDM '88: ...2nd
VDM-Europe Symposium...
VDM-Europe... VDM '90: VDM and Z...Third
International Symposium...
VDM Europe... VDM '91...4th International
Symposium... Springer-Verlag, 1987, 1988, 1990, 1991.
QA76.76.T48W67 1988
Workshop on Software Testing; Verification, and
Analysis. Proceedings. IEEE, 1988.
QA76.73.Z2Z2 1989 / QA76.73.Z2 Z2 1990
Z User Workshop. Proceedings
of the ...Annual Z User Meeting... Springer- Verlag, c1990, c 1991.
Indexing/Abstracting Services
Indexing and abstracting publications provide an efficient research method for
locating journal articles, papers from conference proceedings, and sometimes
books and theses. Indexing/abstracting services scan the literature of a
particular field to produce an index that lists citations to that literature
arranged by subject.
The following are indexing and abstracting services in the field of computer
science. Under each title is a listing of suggested subject headings for locating
references to software engineering within that particular index or abstract.
Recent volumes of the indexes and abstracts are located on the Computer Science I
ndex Table, on the first floor of the library. Some indexes are also available
in CD-ROM format; their locations are listed in each case.
INDEX QA75.5.A75a
ACM Guide to Computing Literature. Annual. (ALSO
ON CD-ROM) 1960-1967, 1969- . [print]
1980-- present available on the
Computing Archive CD-ROM, on the Computer Science Index Table.
Suggested entry points (print or CD): Category Index :
-
D.2 Software Engineering
-
D.2.1 Requirement/Specifications
-
D.2.2 Tools and Techniques
-
D.2.3 Coding
-
D.2.4 Program Verification
-
D.2.5 Testing and Debugging
-
D.2.6 Programming Environments
-
D.2.7 Distribution and Maintenance
-
D.2.8 Metrics
-
D.2.9 Management
-
D.2.10 Design
-
D.2.m Miscellaneous
-
K.6 Management of Computing and Information Systems
-
K.6.1 Project and People Management
-
K.6.3 Software Management
-
K.6.4 System Management
INDEX TA1.A66
Applied Science and Technology Index. 1958-1990.
Monthly.
Suggested Subject Headings:
-
Computer Languages - Design
-
Computer Programs - Design
-
Computer Programs - Maintenance
-
Computer Programs - Testing
-
Computer Programs - Validation
-
Computers - Programming
-
Development Systems (Computers)
INDEX QA76.C548
Computer & Control Abstracts. Monthly.(ALSO ON
CD-ROM) v. 3- , 1968- . [print]
Most recent 5 years are available on the INSPEC
-
03.00 Management Topics
-
03.10F Software Development Management
-
60.00 Computer Software
-
61.00 Software Techniques and Systems
-
61.10 Systems Analysis and Programming
-
61.10B Software Engineering Techniques
-
61.15 Programming Support
Subject Index - (Semi-Annual)
-
Computer Software
-
Development Systems
-
Programming Environments
-
Software Engineering
-
Software Portability
-
Software Reliability
-
Software Tools
INDEX QA76.Q3
Computer Literature Index. v. 3-, 1973- .
Quarterly.
Suggested Subject Headings:
-
Management of Programming
-
Programming
-
Software
-
Software Engineering
-
Software Maintenance
-
Software Metrics
-
Software Physics
-
Software Quality
-
Software Reliability
-
Software Tools
-
System Development
Page maintained by: Roman
Koshykar
| 
