References

Abr92

J. R. Abrial. On constructing large software systems. In Algorithms, Software, Architecture. Information Processing 92. IFIP 12th World Computer Congress, volume A-12, pages 103-12, 7-11 September 1992.

Atr94

Atria Software, Inc. Beyond version control: Evaluating software configuration management systems. Technical report, Atria Software, Inc., 24 Prime Park Way, Natick, Massachusetts 01760, February 1994.

BBL76

B. W. Boehm, J. R. Brown, and M. Lipow. Quantitative evaluation of software quality. In Proceedings of the International Conference on Software Engineering, pages 592-605. IEEE Computer Society Press, October 1976.

BBP96

Stéphane Barbey, Didier Buchs, and Cécile Péraire. Overview and theory for unit testing of object-oriented software. In Tagungsband "Qualitätsmanagement der objektorientierten Software-Entwicklung", pages 73-112, Basel, October 24 1996.

Ber95

Dorothea Beringer. The model architecture frame: Quality managment in a multi method environment. In M. Ross, C. A. Brebbia, G. Staples, and J. Stapleton, editors, SQM'95 Third International Conference on Software Quality Management, volume 1, pages 469-480, Seville-Spain, 1995. Also available as Technical Report (EPFL-DI-LGL No 95/111).

Boe73

Barry W. Boehm. Software and its impact: a quantitative assessment. Datamation, pages 48-59, May 1973.

Boe76a

Barry W. Boehm. Software engineering. IEEE Transactions on Computers, 100(25):1226-1241, 1976.

Boe76b

Barry W. Boehm. Software engineering. IEEE Transactions on Computers, C-25(12):1226-1241, December 1976.

Boe79a

B. Boehm. Software engineering- as it is. In Proceedings of the International Conference on Software Engineering, pages 11-21. IEEE Computer Society Press, September 1979.

Boe79b

B. W. Boehm. Guidelines for verifying and validating software requirements and design specifications. EURO IFIP'79, pages 711-719, 1979.

Boe87

B. W. Boehm. Software process management: Lessons learned from history. In Proceedings of the International Conference on Software Engineering, pages 296-298. IEEE Computer Society Press, March 1987.

Boe88

Barry W. Boehm. A spiral model of software development and enhancement. Computer, 21(5):61-72, 1988.

Boe89

Barry W. Boehm. Software Risk Management. IEEE Computer Society Press, 1989.

Boe94

B. Boehm. Software architectures: critical success factors and cost drivers. In Proceedings of the International Conference on Software Engineering, pages 365-365. IEEE Computer Society Press, May 1994.

BR88

B. Boehm and R. Ross. Theory-w software project management: a case study. In Proceedings of the International Conference on Software Engineering, pages 30-40. IEEE Computer Society Press, April 1988.

Cha89

Robert N. Charette. Software Engineering Risk Analysis and Management. McGraw-Hill, NY, 1989.

CM91

A. C. Coombes and J. A. McDermid. A tool for defining the architecture of Z specifications. In Z User Workshop, Oxford 1990, Workshops in Computing, pages 77-92. Springer-Verlag, 1991.

Com95a

International Standards Committee. Information technology - basic reference model of open distributed processing - part 1: Overview. Technical Report ISO 10746-1/ITU-T X.901, International Organization for Standardization, May 1995.

Com95b

International Standards Committee. Odp reference model part 2: Foundations. Technical Report ITU-T X.902 | ISO/IEC 10746-2, International Organization for Standardization, May 1995.

Com95c

International Standards Committee. Odp reference model part 3: Architectural semantics. Technical Report ITU-T X.904 | ISO/IEC 10746-4, International Organization for Standardization, May 1995.

Com95d

International Standards Committee. Odp reference model part 3: Architecture. Technical Report ITU-T X.903 | ISO/IEC 10746-3, International Organization for Standardization, May 1995.

Con86

Dan Conde. Bibliography on version control and configuration management. ACM SIGSOFT Software Engineering Notes, 11(3):81-84, July 1986.

Cro82

Trevor D. Crossman. Inspection teams, are they worth it? In Proceedings of the 2nd National Symposium on EDP Quality Assurance, Chicago, IL., March 1982.

DM94

Siddhartha R. Dalal and Allen A. McIntosh. When to stop testing for large software systems with changing code. IEEE Transactions on Software Engineering, 20(4):318-323, April 1994.

Dob87

James H. Dobbins. Handbook of Software Quality Assurance, chapter Inspections as an Up-Front Quality Technique, pages 137-177. New York: Van Nostrand Reinhold, 1987.

DV92

W. Decker and Jon Valett. Software management environment (SME) concepts and architecture. Technical Report SEL-89-103, NASA Goddard Space Flight Center, Greenbelt MD 20771, September 1992.

Ebe81

Robert G. Ebenau. Inspecting for software quality. In Proceedings of the Second National Symposium in EDP Quality Assurance, 12611 Davon Drive, Silver Spring, MD 20904, 1981. DPMA Educational Foundation, U.S. Professional Development Institute, Inc.

FNO92

Christer Fernström, Kjell-Hakan Närfelt, and Lennart Ohlsson. Software factory principles, architecture, and experiments. IEEE Software, 9:36-44, March 1992.

Ham94

Dick Hamlet. Foundations of software testing: Dependability theory. ACM SIGSOFT Software Engineering Notes, 19(5):128-139, December 1994.

Ham95

Dick Hamlet. Software quality, software process, and software testing. In Marvin V. Zelkowitz, editor, Advances in Computers, vol.\ 41, pages 191-229. Academic Press, 1995.

Hoa94

C. A. R. Hoare. Mathematical models for computing science. Copy is available at ftp.comlab.ox.ac.uk under directory /pub/Documents/techpapers/Tony.Hoare named mathmodl.ps.Z, August 1994.

Hoy92

Hoyle. Rules of Games 2nd edition. Prentice Hall, 1992.

JO97

Stanley M. Sutton Jr. and Leon J. Osterweil. The design of a next-generation process language. Technical Report Technical Report 96-030, Department of Computer Science, University of Massachusetts at Amherst, January 1997.

Jon91

W. D. Jones. Reliability models for very large software systems in industry. In International Symposium on Software Reliability Engineering, page 35, Austin, Texas, 1991. IEEE Computer Society Press, Los Alamitos, California.

Kit90

B. Kitchenham. Software engineering for large software systems. Elsevier Applied Science, 1990.

Lev90

Ytzhak Levendel. Reliability analysis of large software systems: Defect data modeling. IEEE Transactions on Software Engineering, 16(2):141-152, 1990. 21 refs.

LS91

Ronald Lange and Robert Schwanke. Software architecture analysis: A case study. In Peter H. Feiler, editor, Proceedings of the 3rd International Workshop on Software Configuration Management, pages 19-28, Trondheim, Norway, June 1991.

ORO93

T. Olson, N. Reizer, and J. Over. A software process framework for the software engineering institute capability maturity model. Technical report, The Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1993.

Ost87

Leon J. Osterweil. Software processes are software too. In Ninth International Conference on Software Engineering (ICSE'87), pages 2-13, Monterey, CA, March 1987.

Ost97

Leon J. Osterweil. Software processes are software too, revisited. In Nineteenth International Conference on Software Engineering (ICSE'97), pages 540-548, Boston, MA, May 1997.

PCW85

David Lorge Parnas, Paul C. Clements, and David M. Weiss. The modular structure of complex systems. IEEE Transactions on Software Engineering, 11(3):259-266, 1985.

PWCC95

Mark Paulk, Charles V. Weber, Bill Curtis, and Mary Beth Chrissis. The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley, 1995. ISBN 0-201-54664-7.

Rai92

Steve Raiff. Requirement specification. class project for cs193u at Stanford University, 1992.

RH94

G. Rothermel and M. J. Harrold. A framework for evaluating regression test selection techniques. In Proceedings of the International Conference on Software Engineering, pages 201-210. IEEE Computer Society Press, May 1994.

Roy70a

W. W. Royce. Managing the development of large software systems: Concepts and techniques. In Proc. WESCON, 1970.

Roy70b

Winston W. Royce. Managing the development of large software systems: Concepts and techniques. In WESCON Technical Papers, v. 14, pages A/1-1-A/1-9, Los Angeles, August 1970. WESCON. Reprinted in Proceedings of the Ninth International Conference on Software Engineering, 1987, pp. 328-338.

Roy87

W. W. Royce. Managing the development of large software systems: concepts and techniques. In Proceedings of the International Conference on Software Engineering, pages 328-339. IEEE Computer Society Press, March 1987.

SDK95

Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, and Gregory Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314-335, April 1995.

SM87

G. Gordon Schulmeyer and James I. McManus. Handbook of Software Quality Assurance. Van Nostrand Reinhold, 1987.

Wes89

P. Westmacott. Process support environments and their application to large scale systems. In B. A. Kitchenham, editor, Software Engineering for Large Software Systems, London, 1989. Elsevier Science Publishers Limited.