CMPSCI

 

520/620

 

á      Back to Homepage

 

[Adv.] SW Engineering:

á      ¤ Introduction

 

Synthesis and Development

á      ¤ Class Material

 

Fall 2004

á      ¤ Assignments

 

Last updated 9/30/04 8:47 AM

 

 

Textbooks and other reading

There are literally hundreds of texts and reference books on general software engineering, requirements, design, and construction. I have asked the Campus Bookstore to order three texts (one required, two suggested); the order went in late so do not expect the texts to be available immediately. I will place copies on reserve in the Science and Engineering Library. I suggest that you look for these at on-line sources. Many times, used copies in almost new condition can be found for a fraction of the cost .

In lieu of a coursepack, I will distribute copies of the papers. On-campus students can download PDF versions of the Òother readingÓ from the UMass library. I added links to the OMG UML Tutorials (in PDF) and other UML overviews.

1.   Required text

[GJM03] Fundamentals of Software Engineering by Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli, Second Edition, Prentice Hall; 2nd Edition (2003)ISBN 0-13-305699-6

2.   Suggested texts

[fpB95] The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition) by Frederick P. Brooks Addison-Wesley Pub Co; 1st edition (1995)

[BJR98] The Unified Modeling Language User Guide by Grady Booch, Ivar Jacobson, James Rumbaugh Addison-Wesley Pub Co; 1st edition (1998)

3.   Other interesting books

[mJ95] Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices (Acm Press Books) by Michael Jackson Addison-Wesley Pub Co; 1st edition (1995)

[blK98] Practical Software Requirements: A Manual of Content and Style by Benjamin L. Kovitz Manning Publications Company; (December 1998)

[dB03] Software Design (2nd Edition) by David Budgen Pearson Addison Wesley; 2nd edition (2003)

[GHJV95] Design Patterns by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides Addison-Wesley Pub Co; 1st edition (1995)

4.   Other reading

[fbB87] Brooks, Jr., F.P., ÒNo Silver Bullet; Essence and Accidents of Software Engineering,Ó IEEE Computer , April 1987, pp.10--19.

[dH92] David Harel, ÒBiting the Silver Bullet,Ó Computer, January 1992

[ljO97] Leon J. Osterweil, ÒSoftware processes are software too, revisited: an invited talk on the most influential paper of ICSE 9,Ó Proceedings of the 19th international conference on Software engineering May 1997

[ljO87] L. J. Osterweii. ÒSoftware Processes are Software Too,Ó Proceedings of the Ninth International Conference if Software Engineering , March 1987.

[rW98] Roel Wieringa, ÒA survey of structured and object-oriented software specification methods and techniques,Ó ACM Computing Surveys December 1998

[cK99] Cris Kobryn, Co-Chair, ÒIntroduction to UML: Structural and Use Case Modeling,Ó UML Revision Task Force Object Modeling with OMG UML Tutorial Series © 1999-2001 OMG and Contributors: Crossmeta, EDS, IBM, Enea Data, Hewlett-Packard, IntelliCorp, Kabira Technologies, Klasse Objecten, Rational Software, Telelogic, Unisys http://www.omg.org/technology/uml/uml_tutorial.htm

[OSBB99] Gunnar …vergaard, Bran Selic, Conrad Bock and Morgan Bjšrkande, ÒBehavioral Modeling,Ó UML Revision Task Force, Object Modeling with OMG UML Tutorial Series © 1999-2001 OMG and Contributors: Crossmeta, EDS, IBM, Enea Data, Hewlett-Packard, IntelliCorp, Kabira Technologies, Klasse Objecten, Rational Software, Telelogic, Unisys http://www.omg.org/technology/uml/uml_tutorial.htm

[laM01] Maciaszek, L.A. (2001): Requirements Analysis and System Design. Developing Information Systems with UML, Addison Wesley Copyright © 2000 by Addison Wesley

[cB04]  Bock, Conrad, Advanced Analysis and Design with UML http://www.kabira.com/bock/

[rM02] Miller, Randy, ÒPractical UML: A hands-on introduction for developers,Ó Copyright © 2002 TogetherSoft, Inc. [now at Borland site] http://bdn.borland.com/article/0,1410,31863,00.html

[jmW90] Wing, J. M.,  ÒA Specifier's Introduction to Formal Methods,Ó IEEE Computer , September 1990,  pp.8--24.  

[avL00] van Lamsweerde, Axel, ÒFormal Specification: a Roadmap,Ó Future of Sofware Engineering Limerick Ireland 2000

[dlP72]  D.L. Parnas, ÒOn the Criteria to be Used in Decomposing Systems,Ó CACM. Vol. 15. No. 5. 1972. pp. 1.053-1.058.

[LZ75] Liskov, B.H. and Zilles, S.N., ÒSpecification Techniques for Data Abstractions,Ó  IEEE Transactions on Software Engineering , March 1975,  pp.7--19.  

[carH69] Hoare, C.A.R.,  ÒAn Axiomatic Basis for Computer Programming,Ó Communications of the ACM , October 1969,  6 pages.

[GHW85] Guttag, J.V., Horning, J.J. and Wing, J.M.,  ÒThe Larch family of Specification Languages,Ó IEEE Software , September 1985,  pp.24--36.

5.         OMG UML Tutorials & Other UML references [Caution: files are large]

[cK00] Kobryn Cris Lecture 1: Introduction to UML: Structural and Use Case Modeling Object Modeling with OMG UML Tutorial Series

[OSBB00] …vergaard, Gunnar, Bran Selic, Conrad Bock and Morgan Bjšrkander Lecture 2: Behavioral Modeling with UML Object Modeling with OMG UML Tutorial Series

[PSWD00] Palmkvist, Karin, Bran Selic, Jos Warmer and Nathan DykmanLecture 3: Advanced Modeling with UML Object Modeling with OMG UML Tutorial Series

[dB03] Bell, Donald, ÒUML basics: An introduction to the Unified Modeling Language,Ó The Rational Edge, June 2003

 

6.         Project Documents

[IEEE98] IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998, ©Copyright 1998 by The Institute of Electrical and Electronics Engineers, Inc. 345 East 47th Street, New York, NY 10017-2394, USA