home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / software / 5159 < prev    next >
Encoding:
Internet Message Format  |  1992-12-24  |  29.0 KB

  1. Xref: sparky comp.software-eng:5159 news.answers:4745
  2. Newsgroups: comp.software-eng,news.answers
  3. Path: sparky!uunet!utcsri!torn!news.ccs.queensu.ca!qucis.queensu.ca!qucis.queensu.ca!dalamb
  4. From: dalamb@qucis.queensu.ca (David Alex Lamb)
  5. Subject: FAQ 3: Software engineering readings
  6. Message-ID: <readmsg_725461505@qucis.QueensU.CA>
  7. Followup-To: comp.software-eng
  8. Keywords: FAQ
  9. Sender: dalamb@qucis.queensu.ca (David Lamb)
  10. Supersedes: <readmsg_722888345@qucis.QueensU.CA>
  11. Reply-To: dalamb@qucis.queensu.ca (David Alex Lamb)
  12. Organization: Computing and Information Science, Queen's University at Kingston, Ontario,  K7L 3N6, Canada
  13. References: <faqmsg_725461505@qucis.QueensU.CA>
  14. Date: Sun, 27 Dec 1992 13:05:25 GMT
  15. Approved: news-answers-request@MIT.Edu
  16. Expires: Tue, 9 Feb 1993 13:05:05 GMT
  17. Lines: 536
  18.  
  19. Archive-name: software-eng/part3
  20.  
  21. This is the monthly "frequently asked questions" (FAQ) posting on
  22. reading materials for software engineers.  Topics include:
  23.    Textbooks
  24.    Periodicals on Software Engineering
  25.    Other sources of information
  26.    General reading for software engineers
  27.    Metrics
  28.    User Interface Design
  29.    Human Factors
  30.    Software Testing
  31.    Requirements Analysis
  32.    Collaborative Requirements Analysis
  33.    Training for Object-Oriented Analysis
  34.    Programming Style
  35.    Formal Specification
  36.    Software Process
  37. Look for lines starting with "Subject:" (control-G command in rn).
  38.  
  39. Be warned: the only mechanism we use to compose this list is to gather
  40. information submitted by people around the net, post it regularly, and
  41. incorporate feedback.  All evaluations are the opinions of those who submitted
  42. them; your mileage may vary.  Send comments to dalamb@qucis.queensu.ca (David
  43. Alex Lamb).
  44.  
  45.  
  46. ------------------------------------------------------------------------
  47. Subject: Textbooks
  48. Date: 12 May 1992
  49. Originally collected by: hsrender@happy.colorado.edu (Hal Render)
  50.  
  51. Numbers 1-8 are Hal Render's original list in his rough order of preference.
  52. 1. _Software Engineering: The Production of Quality Software_
  53.    by Shari Pfleeger, 2nd Edition, Macmillan, 1991, ISBN 0-02-395115-X
  54.    hsrender@happy.colorado.edu: Like #2, had the best explanations of
  55.         what I want to cover (different engineering lifecycles, methods,
  56.         and tools).
  57. 2. _Software Engineering: A Practitioner's Approach_ by Roger Pressman,
  58.    2nd Edition, McGraw-Hill, 1987, ISBN 0-07-050783-X
  59.    (3rd edition available fall 1991)
  60.    hsrender@happy.colorado.edu: Like #1, had the best explanations of
  61.         what I want to cover (different engineering lifecycles, methods,
  62.         and tools).
  63.    robb@iotek.uucp (Robb Swanson): the definitive book on the subject as
  64.         far as I'm concerned.
  65.    johnson@aplcen.apl.jhu.edu (Michelle Johnson): a good text book as well
  66.         as reference
  67. 3. _Software Systems Engineering_ by Andrew Sage and James D. Palmer
  68.    hsrender@happy.colorado.edu: Like #1, had the best explanations of
  69.         what I want to cover (different engineering lifecycles, methods,
  70.         and tools).
  71. 4. _Fundamentals of Software Engineering_ by Ghezzi, Jayazeri and Mandrioli
  72.    Prentice-Hall, 1991
  73.    hsrender@happy.colorado.edu: Like #5, good, and covered the issue of
  74.         specifications and verification better, but at the expense of
  75.         other aspects of the development process.  I may use one of them
  76.         for a graduate course in software engineering.
  77.    Nancy Leveson <nancy@murphy.ICS.UCI.EDU>:  Better than Sommerville,
  78.         although I like much of Sommerville.
  79. 5. _Software Engineering with Abstractions_ by Valdis Berzins and Luqi
  80.    Addison Wesley, 1991, 624 pages.
  81.    hsrender@happy.colorado.edu: Like #4, good, and covered the issue of
  82.         specifications and verification better, but at the expense of
  83.         other aspects of the development process.  I may use one of them
  84.         for a graduate course in software engineering.
  85.    straub@cs.UMD.EDU (Pablo A. Straub): Both this and #9 have a good
  86.         emphasis on using formal techniques (i.e.,  doing engineering
  87.         properly), but they do not disregard informal methods; chapters
  88.         are roughly organized around the traditional lifecycle.
  89.         #5 is longer and can be used in a two-term sequence or for
  90.         graduate students (it's  possible  to  use  it in a one-term
  91.         undergrad course by covering only part of the material). One
  92.         thing I like is that management and validation is given in all
  93.         chapters, so that these activities are integrated into the
  94.         development process.  Emphasizes the use of formally specified
  95.         abstractions.  Uses the authors' specification language (Spec)
  96.         to develop a project in Ada.
  97. 6. _Software Engineering_ by Ian Sommerville
  98.     Addison-Wesley, ISBN 0-201-17568-1
  99.    hsrender@happy.colorado.edu: Our current text, and my basic problem
  100.         with it is the vague way it covers many of the topics.
  101. 7. _Software Engineering with Student Project Guidance_ by Barbara Mynatt
  102.    hsrender@happy.colorado.edu: Like #8, not bad, but fairly low-level
  103.         and doesn't cover many tools and techniques I consider valuable.
  104. 8. _Software Engineering_ by Roger Jones
  105.    hsrender@happy.colorado.edu: Like #7, not bad, but fairly low-level
  106.         and doesn't cover many tools and techniques I consider valuable.
  107. 9. _Software Engineering: Planning for Change by David Alex Lamb,
  108.    Prentice-Hall, 1988, 298 pages
  109.    straub@cs.UMD.EDU (Pablo A. Straub): Both this and #5 have a good
  110.         emphasis on using formal techniques (i.e.,  doing engineering
  111.         properly), but they do not disregard informal methods; chapters
  112.         are roughly organized around the traditional lifecycle.
  113.         #9 has the advantage of being shorter, yet covering most relevant
  114.         topics (lifecycle phases, formal specs, v&v, configurations,
  115.         management, etc.).  It is very appropriate for an undergrad course.
  116.         It emphasizes that maintenance is a given and should be taken into
  117.         account (hence the title).  Several specification techniques are
  118.         covered and used to develop a project in Pascal.
  119. 10._A Practical Handbook for Software Development_ by N.D. Birrell and
  120.    M.A. Ould, Cambridge University Press, 1985/88. ISBN 0-521-34792-0
  121.         (Paper cover); ISBN 0-521-25462-0 (Hard cover)
  122.    ewoods@hemel.bull.co.uk (Eoin Woods)
  123. 11._Fundamentals of Computing for Software Engineers_ by Eric S. Chan &
  124.         Murat M. Tanik, Van Nostrand Reinhold
  125.    kayaalp@csvax.seas.smu.edu (Mehmet M. Kayaalp MD)
  126. 12._Software Engineering_ by Stephen R. Schach, Aksen Associates
  127.    (ISBN 0-256-08515-3); also Richard D. Irwin, Inc., 1990.
  128. 13._Practical Software Engineering_ by Stephen R. Schach, Aksen Associates
  129.    and Richard D. Irwin Inc. (ISBN 0-256-11455-2), 1992. Advertised as
  130.    sophomore through senior level, emphasizing teams, maintenance, reuse,
  131.    CASE tools.
  132.  
  133. ------------------------------------------------------------------------
  134. Subject: Periodicals on Software Engineering
  135. Date: 12 May 1992
  136.  
  137. Professional Journals
  138. Meant for working professionals with technical backgrounds.
  139.   IEEE Software
  140.     summary: often presents recent research work, but much more readably
  141.             than typical research journals.
  142.     publisher: IEEE (Institute of Electrical and Electronic Engineers)
  143.     subscriptions: IEEE Service Center, 445 Hoes Lane, P.O. Box 1331,
  144.             Piscataway, NJ 08855-1331, USA
  145.   Software Engineering Notes
  146.     summary: unrefereed newsletter; includes digest of comp.risks
  147.     publisher: ACM (Association for Computing Machinery) SIGSOFT
  148.             (Special Interest Group on Software engineering),
  149.     subscriptions: ACM, 11 West 42d St, New York, NY 10036, USA
  150.   Software Maintenance News
  151.     summary: monthly report on people and technology in maintenance;
  152.             aimed at practitioners
  153.     publisher: Software Maintenance News Inc, B10 Suite 237,
  154.             4546 El Camino Real, Los Altos, CA 94022, USA
  155.     subscriptions: as above
  156.   Software Testing, Verification and Reliability
  157.     summary: aimed at practitioners; dissemination of new
  158.             techniques, methodologies and standards
  159.     publisher: John Wiley & Sons Ltd, Baffins Lane, Chichester,
  160.             West Sussex PO19 1UD, UK
  161.   The Software Practitioner (TSP)
  162.     summary: started late 1990; meant for real practitioners; still
  163.             finding its place
  164.     publisher: Computing Trends, P.O. Box 213, State College, PA
  165.             16804, USA
  166. Mixed Research and Practice
  167.   Journal of Software Maintenance: Research and Practice
  168.     summary: refereed; intended for both researchers and practitioners;
  169.             joint US/UK editorial board
  170.     publisher: Wiley (see above)
  171.     subscriptions: Journals Subscription Department, at above address
  172.   Software Engineering Journal (SEJ)
  173.     summary: full spectrum of articles from practical experience
  174.             to long-term research
  175.     publisher: IEE (Institution of Electrical Engineers) and BCS
  176.             (British Computer Society); write to IEE Publication Sales,
  177.             PO Box 96, Stevenage, Herts, SG1 2SD, United Kingdom.
  178.   Software: Practice and Experience
  179.     summary: not always software engineering; good reputation for practice
  180.     publisher: Wiley (see above)
  181.   The Software Quality Journal
  182.     summary: academic research and industrial case studies and experience
  183.     publisher: Chapman & Hall, Journals Promotion Department
  184.             North America:29 West 35th Street, New York, NY 10001-2291, USA
  185.             Europe: 2-6 Boundary Row, London SE1 8HN, UK
  186. Research Journals
  187. Meant for presenting recent research results.
  188.   Information and Software Technology (IST)
  189.     summary: broad spectrum, much software engineering, software process,
  190.             but also computer science topics.
  191.     publisher: Butterworth-Heineman, Linacre House, Jordan Hill, Oxford, UK
  192.   Transactions on Software Engineering (TSE)
  193.     summary: main software engineering research journal
  194.     publisher: IEEE (see above)
  195.   Transaction on Software Engineering Methodology (TOSEM)
  196.     summary: first issue dated January 1992; not enough track record for an
  197.              opinon yet.
  198.     publisher: Association for Computing Machinery
  199.   Journal of Systems and Software
  200.     summary: meant to be more practitioner-oriented than other
  201.             research journals
  202.     publisher: Elsevier
  203. Other magazines:
  204.   Software
  205.     summary: "For Managers of Enterprise-Wide Software Resources"
  206.             primarily aimed at Management Information Systems (MIS) world
  207.     publisher: Sentry Publishing Company, Inc, 1900 West Park Drive,
  208.             Westborough, MA 01581, (508) 366-2031
  209.  
  210. ------------------------------------------------------------------------
  211. Subject: Other sources of information
  212. Date:  1 Aug 1991
  213.  
  214. Software Quality Engineering has a publication division called Single
  215. Source, Publications, Books, and Information for Software
  216. Practitioners and Managers:
  217.     Software Quality Engineering -- Single Source
  218.     3000-2 Hartley Road
  219.     Jacksonville, FL 32257
  220.     (904) 268-8639
  221.     FAX (904) 268-0733
  222.     TOLL FREE 1-800-423-8378
  223. They do regular reviews of most of the literature relevant to testing, s-eng,
  224. and management. The books which are deemed useful by the reviewers are
  225. purchased for reselling. Their catalog includes most of the literature that
  226. I've come across on Software Testing.  One of the items in the catalog is a
  227. publication which the company puts together itself, The Testing Tools
  228. Reference Guide, a sort of catalog of tools that have passed certain criteria,
  229. (number of unit sold, at least three verifiable references, etc.) They charge
  230. $145.00 for this guide.  This includes two bi-annual updates. I've found the
  231. guide very useful in tracking down vendors which specialize in CASE and
  232. testing tools, although it seems to be heavily biased towards IBM mainframe
  233. hardware and COBOL programming (shudder!).  Each text is described and
  234. summarized I'm sure SQE would be happy to send catalogs free of charge and
  235. most of the prices seem reasonable.  - Glenn Stowe glenn8@odie.cs.mun.ca
  236.  
  237. ------------------------------------------------------------------------
  238. Subject: General reading for software engineers
  239. Date: 11 Oct 1991
  240. Originally collected by: cml@cs.UMD.EDU (Christopher Lott)
  241. Summary: responses to "what should every software engineering have read?"
  242.  
  243. 1. General
  244.    a. Read about 100 pages of comp.risks
  245.    b. Frederick P. Brooks, Jr., The Mythical Man-Month, Addison Wesley, 1978.
  246.       ISBN 0-201-00650-2
  247.    c. The anecdotal books of Robert L. Glass, from Computing Trends, P.O.Box
  248.       213, State College, PA 16804, including: "Tales of Computing Folk: Hot
  249.       Dogs and Mixed Nuts", "The Universal Elixir and other Computing Projects
  250.       Which Failed", "The Second Coming: More Computing Projects Which
  251.       Failed", "The Power of Peonage", "Computing Catastrophes", "Computing
  252.       Shakeout", "Software Folklore"
  253.    d. Paul W. Oman & Ted G. Lewis, Milestones in Software Evolution, IEEE
  254.       Computing Society, ISBN 0-8186-9033-X.
  255.    e. J.A. McDermid (editor), Software Engineer's Reference Book,
  256.       Butterworth-Heinemann Ltd., 1991.  ISBN No: 0 750 61040 9.  Focuses on
  257.       the foundations, and subject matter that is not volatile.  The book is
  258.       divided into three major parts: Theory and Mathematics; Methods,
  259.       Techniques, and Technology; Principles of Applications.  For a beginner,
  260.       the first two parts are indispensible.  It does not provide details of
  261.       current research, but points an interested reader to the right sources.
  262. 2. Programming in the large
  263.    a. Grady Booch, Software Engineering with Ada, second edition,
  264.       Benjamin/Cummings, 1987
  265.    b. Bertrand Meyer, Object-Oriented Software Construction, Prentice-Hall,
  266.       1988.
  267.    c. David L. Parnas, On the Criteria to be Used in Decomposing Systems into
  268.       Modules, Communications of the ACM 15,2 (December 1972).
  269. 3. Programming in the small
  270.    a. Jon Louis Bentley, Writing Efficient Programs, Prentice-Hall, 1982.
  271.    b. Jon Bentley, Programming Pearls, Addison-Wesley, 1986.
  272.    c. Jon Bentley, More Programming Pearls, Addison-Wesley, 1988.
  273.    d. O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare, Structured Programming,
  274.       Academic Press, 1972.
  275.    e. Brian W. Kernighan, and P.J. Plauger, Software Tools, Addison-Wesley,
  276.       1976.
  277.    f. Brian W. Kernighan & P.J. Plauger, The Elements of Programming Style,
  278.       Second Edition, McGraw-Hill, 1978. ISBN 0-07-034207-5.
  279. 4. Mathematical Approaches
  280.    a. Edsger W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.
  281.    b. E.W.Dijkstra.  Selected writings on computing: a personal perspective.
  282.       Springer Verlag, 1982.
  283.    c. David Gries (editor), Programming methodology. A collection of articles
  284.       by members of IFIP Working Group 2.3. Springer Verlag, 1978.
  285. 5. Other
  286.    a. Barry W. Boehm, Software Engineering Economics, Prentice-Hall, 1981.
  287.    b. Daniel P. Freedman and Gerald M. Weinberg, Handbook of Walkthoughs,
  288.       Inspections and Technical Reviews, 3rd edition Dorset House Publishing,
  289.       1990, ISBN 0-932633-19-6.  Originally published by Little, Brown &
  290.       Company, 1982: ISBN 0-316-292826.
  291.    c. Tom Gilb, Principles of Software Engineering Management, Addison-Wesley,
  292.       1988, ISBN 0-201-19246-2
  293.    d. Glenford J. Myers, The Art of Software Testing, Wiley, 1979.
  294.    e. Herb Simon, The Sciences of the Artificial, Second Edition, MIT Press,
  295.       1981
  296.    f. Gerald M. Weinberg, The Psychology of Computer Programming, Van Nostrand
  297.       Reinhold, 1971. ISBN 0-442-29264-3
  298.  
  299. ------------------------------------------------------------------------
  300. Subject: Metrics
  301. Date:  9 Sep 1991
  302.  
  303. Thanks especially to Horst Zuse, who sent his extensive bibliography on
  304. metrics.
  305. a. David N. Card and Robert L. Glass.  Measuring Software Design Quality
  306.    Prentice Hall, Engewood Cliffs, New Jersey, 1990
  307. b. S.D. Conte, H.E. Dunsmore, V.Y. Shen.  Software Engineering Metrics and
  308.    Models.  Benjamin/Cummings Publishing Company, Menlo Park, 1984 ISBN: 0-
  309.    8053-2162-4
  310. c. Tom DeMarco.  Controlling Software Projects: Management, Measurement and
  311.    Estimation.  Englewood Cliffs, N.J.: Prentice Hall, 1982
  312. d. Lem Ejiogu.  Software Engineering with Software Metrics.  QED Information
  313.    Sciences, 1991
  314. e. N.E. Fenton, (Editor).  Software Metrics: A Rigorous Approach, 1991 United
  315.    Kingdom: Chapman & Hall, 2-6 Boundary Row, London SE1 8HN, ISBN 0-412-
  316.    40440-0.  United States: Van Nostrand Reinhold, 115 5th Avenue, New York NY
  317.    10003, ISBN 0-442-31355-1.
  318. f. Robert B. Grady and Deborah L. Caswell.  Software Metrics: Establishing a
  319.    Company-Wide Program, Prentice-Hall, 1987, ISBN 0-13-821844-7
  320. g. M.H. Halstead.  Elements of Software Science.  New York, Elsevier North-
  321.    Holland, 1977
  322. h. S. Henry, D. Kafura, "Software Structure Metrics Based on Information
  323.    Flow", IEEE Transactions on Software Engineering, Vol.SE-7, No.5, September
  324.    1981.
  325. i. IEEE.  Standard Dictionary of Measures to Produce Reliable Software.  The
  326.    Institute of Electrical and Electronics Engineers, Inc.  345 East 47th
  327.    Street, New York.  IEEE Standards Board, 1989
  328. j. IEEE.  Guide for the Use of Standard Dictionary of Measures to Produce
  329.    Reliable Software.  The Institute of Electrical and Electronics Engineers,
  330.    Inc 345 East 47th Street, New York.  IEEE Standard Board, Corrected
  331.    Edition, October 23, 1989
  332. k. T.J. McCabe, A Complexity Measure, IEEE Transactions on Software
  333.    Engineering, VOL. SE-2, NO. 4, Dec. 1976.
  334. l. Alan Perlis, Frederick Sayward, Mary Shaw.  Software Metrics: An Analysis
  335.    and Evaluation.  The MIT Press, 1981
  336. m. V.Y. Shen, S.D. Conte, H.E. Dunsmore, Software Science Revisited: A
  337.    Critical Analysis of the Theory and Its Empirical Support, IEEE
  338.    Transactions on  Software Engineering, Vol. SE-9, No. 2, March 1983.
  339.    Abstract: a critical evaluation of Halstead's software science metric.
  340. n. M. Shepperd, Software Engineering Metrics, McGraw-Hill, for publication
  341.    1991.  ISBN 0-07-707410-6 (UK) McGraw-Hill Book Company (UK) Limited,
  342.    Shoppenhangers Road, Maidenhead, Berkshire, SL6 2QL.  Tel: +44 (0)698
  343.    23431/2 Fax: +44 (0)698 770224
  344. o. Horst Zuse, Software Complexity: Measures and Methods, de Gruyer (200 Saw
  345.    Mill River Road, Hawthorne, NY 10532 - 914/747-0110)
  346.  
  347. ------------------------------------------------------------------------
  348. Subject: User Interface Design
  349. Date:  9 Jul 1991
  350.  
  351. See also the item on Human Factors.
  352. a. John M. Carroll (editor).  Interfacing Thought: Cognitive Aspects of
  353.    Human-Computer Interaction, MIT press, 1987.  This book has several good
  354.    theoretical papers.
  355. b. Brad A. Myers, Creating User Interfaces by Demonstration London: Academic
  356.    Press, 1988
  357. c. Donald A. Norman, The Psychology of Everyday Things.  Basic Books, 1988.
  358.    ISBN 0-465-06709-3 (hardback).  Trade paperback version is called "The
  359.    Design of Everyday Things"
  360. d. Donald A. Norman & Stephen W. Draper (editors), User Centered System
  361.    Design: New Perspectives on Human-Computer Interaction, Lawrence Erlbaum
  362.    Associates, 1986.
  363. e. Ben Shneiderman, Designing the User Interface: Strategies for Effective
  364.    Human-Computer Interaction, Addison-Wesley, 1987.  Seems to be aimed at the
  365.    practitioner.
  366.  
  367. ------------------------------------------------------------------------
  368. Subject: Human Factors
  369. Date: 20 Sep 1991
  370. Originally collected by: rjc@cstr.ed.ac.uk (Richard Caley)
  371.  
  372. a. Martin Helander, Handbook of Human-Computer Interaction North-Holland 1988.
  373.    A huge collection of papers on various subjects; quite expensive.
  374. b. Sidney L. Smith, Jane N. Mosier.  Guidelines for Designing User Interface
  375.    Software Technical report ESD-TR-86-278 Electronic Systems Division The
  376.    MITRE Corporation Bedford, MA 01730.  A tech report rather than a book, but
  377.    looks to be a good refence for issues. Also available as a hypertext.
  378. c. Paul Heckel, The Elements of Friendly Software Design: The New Edition.
  379.    Sybex Inc.  1991.  Original edition: Warner Books, 1984.
  380. d. Walter E. Gilmore, The User-Computer Interface in Process Control: A Human
  381.    Factors Engineering Handbook.  Boston:Academic Press, 1989.  Is said to
  382.    give references to research upon which it is based.
  383. e. Edward A. Fox (editor), Resources in Human-Computer Interaction, ACM Press,
  384.    1990.  ISBN 0-89791-373-6.
  385. f. Gavriel Salvendy (editor), Handbook of Human Factors, John Wiley and Sons,
  386.    1987.
  387.  
  388. ------------------------------------------------------------------------
  389. Subject: Software Testing
  390. Date:  9 Jul 1991
  391.  
  392. The original request that prompted the posting of this information asked for
  393. recent work, not buried in a Software Engineering tome.
  394. a. Boris Beizer, Software Testing Techniques, Van Nostrand Reinhold, 1990 (2nd
  395.    edition) ISBN 0-442-20672-0.  503 pages, $43.  Has 37-page annotated
  396.    bibliography of references.
  397. b. Cheatham and Mellinger, Testing Object Oriented Software Systems,
  398.    Proceedings of the 1990 ACM SCS Conference
  399. c. William C. Hetzel, The Complete Guide to Software Testing, Second edition,
  400.    QED Information Services INC, 1988.  ISBN 0-89435-242-3
  401.  
  402. ------------------------------------------------------------------------
  403. Subject: Requirements Analysis
  404. Date: 18 Sep 1991
  405.  
  406. a. Al Davis, Software Requirements: Analysis and specification.
  407.    Prentice/Hall, 1990.  Has some treatment of all of the popular requirements
  408.    analysis and specification methods including OOA, Structured Analysis,
  409.    SREM, FSM, but not the "trendy" stuff (Information Engineering, JAD).
  410. b. Donald C. Gause and Gerald M. Weinberg, Exploring Requirements: Quality
  411.    before design.  Dorset House Publishing, 353 West 12th Street, New York, NY
  412.    10014
  413.  
  414. ------------------------------------------------------------------------
  415. Subject: Collaborative Requirements Analysis
  416. Date: 12 Jan 1991
  417. Originally collected by: anton@cc.gatech.edu (Annie I. Anton)
  418.  
  419. a. Palmer, J.D., Aiken, P. and Fields, N.A.  "A Computer Supported Cooperative
  420.    Work Environment for Requirements Engineering and Analysis", Proceedings of
  421.    the Requirements Engineering and Analysis Workshop, Software Engineering
  422.    Institute, March 12-14, 1991.
  423. b. Palmer, J.D. and Aiken, P.H.  "Utilizing Interactive Multimedia to Support
  424.    Knowledge-based Development of Software Requirements", Proceedings of the
  425.    5th Annual RADC Knowledge-Based Software Assistant Conference, Syracuse,
  426.    NY, September 24-28, 1990.
  427. c. Marca, D.  "Specifying Groupware Requirements From Direct Experience", Proc
  428.    6th International Workshop On Software Specification And Design, October
  429.    1991
  430. d. Marca, D.  "Augmenting SADT To Develop Computer-Supported Cooperative
  431.    Work", Proceedings of the International Conference on Software Engineering;
  432.    May 1991
  433. e. Marca, D.  "Experiences in Building Meeting Support Software", Proceedings
  434.    of the 1st Groupware Technology Workshop; August 1989
  435. f. Marca, D.  "Specifying Coordinators: Guidelines for Groupware Developers",
  436.    Proceedings of the 5th International Workshop on Software Specification and
  437.    Design; May 1989
  438.  
  439. ------------------------------------------------------------------------
  440. Subject: Training for Object-Oriented Analysis
  441. Date:  4 Feb 1992
  442. Originally collected by: haim@taichi.uucp (24122-kilov)
  443.  
  444. a. Bertrand Meyer.  Object-oriented software construction. Prentice-Hall, 1988
  445.    For the somewhat advanced - perhaps, with some programming maturity.
  446. b. B. Henderson-Sellers.  A book of object-oriented knowledge. Prentice-Hall,
  447.    1992.  This has quite a few viewgraphs in it!
  448. c. Grady Booch.  Object-oriented design with applications.  Addison-Wesley,
  449.    1991.
  450.  
  451. ------------------------------------------------------------------------
  452. Subject: Programming Style
  453. Date: 19 Sep 1991
  454. Originally collected by: oman@cs.uidaho.edu (Paul W. Oman)
  455.  
  456. a. N. Anand (1988) "Clarify Function!" ACM SigPLAN Notices, 23(6), 69-79.
  457.    Advocates the use of mnemonic names for entities in a system.  Rules are
  458.    presented for naming procedures, variable, pointers, etc.
  459. b. S. Henry (1988) "A Technique for Hiding Proprietary Details While Providing
  460.    Sufficient Information for Researchers; or, do you Recognize this Well-
  461.    known Algorithm?," Journal of Systems and Software, 8(1), 3-11.  Suggests
  462.    encryption of variable names as part of a technique for encoding
  463.    algorithms, while still providing sufficient information to researchers.
  464. c. R. Brooks (1980) "Studying Programmer Behavior Experimentally: The Problems
  465.    of Proper Methodology," Communications of the ACM, 23(4), 207-213.
  466.    Discusses issues and tradeoffs in proper control of experiments involving
  467.    computer programmers.
  468. d. E. Thomas & P. Oman "A Bibliography of Programming Style Literature," ACM
  469.    SIGPLAN Notices, Vol. 25(2), Feb. 1990, pp.  7-16.
  470.  
  471. ------------------------------------------------------------------------
  472. Subject: Formal Specification
  473. Date:  7 Jul 1992
  474.  
  475. See also the comp.specification.z FAQ.
  476. a. J.M.Spivey.  "Understanding Z: a specification language and its formal
  477.    semantics".  Cambridge University Press, 1988.
  478. b. David Lightfoot.  "Formal Specification Using Z".  MacMillan, 1991, ISBN
  479.    0-333-54408-0.  A clear introduction to Z and the discrete mathematics that
  480.    underlies it.
  481. c. B.Potter, J.Sinclair & D.Till.  "An introduction to formal specification
  482.    and Z".  Prentice Hall International Series in Computer Science, 1991.
  483.  
  484. ------------------------------------------------------------------------
  485. Subject: Software Process
  486. Date:  5 Feb 1992
  487. Originally collected by: cml@cs.umd.edu (Christopher Lott)
  488.  
  489. a. Watts S. Humphrey. Managing the Software Process.  Addison-Wesley
  490.    Publishing Co., Reading, Massachusetts, 1989; Chapters 13--15, 18.
  491. b. Victor R. Basili.  "Iterative Enhancement:  A Practical Technique for
  492.    Software Development".  IEEE Transactions on Software Engineering. v.~SE-1,
  493.    n.~4, December 1975, pp.~390--396.
  494. c. Victor R. Basili and H. Dieter Rombach.  "The TAME Project:  Towards
  495.    Improvement-Oriented Software Environments", IEEE Transactions on Software
  496.    Engineering, v. SE-14, n. 6, June 1988, pp.~758--773.
  497. d. Victor R. Basili, "Software Development:  A Paradigm for the Future",
  498.    Proceedings of the Thirteenth Annual International Computer Science and
  499.    Applications Conference, Orlando, Florida, September 1989, pp.~471--485.
  500. e. Barry W. Boehm.  "A Spiral Model of Software Development and Enhancement",
  501.    IEEE Computer, v.~21, n.~5, May 1988, pp.~61--72.
  502. f. Frank DeRemer and Hans H. Kron.  "Programming-in-the-Large Versus
  503.    Programming-in-the-Small", IEEE Transactions on Software Engineering,
  504.    v.~SE-2, n.~2, June 1976, pp.~80--86.
  505. g. J. J. Horning and B. Randell.  "Process Structuring", Computing Surveys,
  506.    v.~5, n.~1, March 1973, pp.~5--30.
  507. h. M. M. Lehman.  "Process Models, Process Programs, Programming Support",
  508.    Proceedings of the Ninth International Conference on Software Engineering,
  509.    Monterey, CA, March 1987, pp.~14--16.
  510. i. Leon Osterweil.  "Software Processes are Software Too", Proceedings of the
  511.    Ninth International Conference on Software Engineering, Monterey, CA, March
  512.    1987, pp.~2--13.
  513. j. Winston W. Royce.  "Managing the Development of Large Software Systems:
  514.    Concepts and Techniques", 1970 WESCON Technical Papers, v.~14, Western
  515.    Electronic Show and Convention, Los Angeles, Aug. 25-28, 1970; Los Angeles:
  516.    WESCON, 1970, pp.~A/1-1 -- A/1-9; Reprinted in Proceedings of the Ninth
  517.    International Conference on Software Engineering, Pittsburgh, PA, USA, ACM
  518.    Press, 1989, pp.~328--338.
  519. k. Peter H. Feiler and Watts S. Humphrey.  "Software Process Development and
  520.    Enactment:  Concepts and Definitions", Software Engineering Institute,
  521.    Carnegie Mellon University, Pittsburgh, PA, 1991.
  522. l. Watts S. Humphrey. "Session Summary:  Review of the State-of-the-Art",
  523.    Proceedings of the Fifth International Software Process Workshop,
  524.    Kennebunkport, Maine, USA, 10-13 October 1989, IEEE Computer Society Press,
  525.    Los Alamitos, CA, 1990.
  526. m. Gail E. Kaiser.  "Rule-Based Modeling of the Software Development Process",
  527.    Proceedings of the 4th International Software Process Workshop,
  528.    Moretonhampstead, Devon, UK, 11-13 May 1988, ACM Press, Baltimore, MD,
  529.    1989, pp.~84--86.
  530. n. Takuya Katayama.  "A Hierarchical and Functional Software Process
  531.    Description and its Enaction", Proceedings of the Ninth International
  532.    Conference on Software Engineering, Pittsburgh, PA, USA, ACM Press, 1989,
  533.    pp.~343--352.
  534. o. Marc I. Kellner and H. Dieter Rombach. "Comparisons of Software Process
  535.    Descriptions", Proceedings of the Sixth International Software Process
  536.    Workshop, Hakodate, Hokkaido, Japan, 29-31 October 1990, IEEE Computer
  537.    Society Press, 1991.
  538. p. Jayashree Ramanathan and Soumitra Sarkar.  "Providing Customized Assistance
  539.    for Software Lifecycle Approaches", IEEE Transactions on Software
  540.    Engineering, v.~14, n.~6, June 1988, pp.~749--757.
  541. q. H. Dieter Rombach. "An Experimental Process Modeling Language: Lessons
  542.    Learned from Modeling a Maintenance Environment", Proceedings of the
  543.    Conference on Software Maintenance - 1989, IEEE, October 16-19, 1989.
  544. r. H. Dieter Rombach. "MVP--L:  A Language for Process Modeling In--the--
  545.    Large", University of Maryland Institute for Advanced Computer Studies
  546.    Technical Report UMIACS--TR--91--96, CS--TR--2709, Department of Computer
  547.    Science, University of Maryland, College Park, MD, 20742.
  548. s. Stanley M. Sutton, Jr. "APPL/A:  A Prototpye Language for Software Process
  549.    Programming", Department of Computer Science Report CU-CS-448-89,
  550.    University of Colorado, Boulder, CO, 1989.
  551. -- 
  552. Software Technology Laboratory      dalamb@qucis.queensu.ca (David Alex Lamb)
  553. Computing and Information Science   phone: (613) 545-6067
  554. Queen's University, Kingston, Ontario, Canada K7L 3N6    
  555.