rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: System and software requirements engineering
  name:
    name part: Thayer, Richard H.
  name:
    name part: Dorfman, M. (Merlin)
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: cau
    date issued: 1990
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xvi, 719 pages : illustrations ; 29 cm.
  table of contents: Foreword / Raymond T. Yeh -- System and software requirements engineering / M. Dorfman -- Pinpointing requirements / L. Scharer -- A taxonomy of current issues in requirements engineering / G.-C. Roman -- System engineering : an introduction / J.D. Sailor -- A structured approach for operational concept formulation / R.J. Lano -- System engineering and requirement allocation / E.D. Nelsen -- Software system engineering / R.H. Thayer and W.W. Royce -- The analysis and specification of systems and software requirements / A.M. Davis -- Specifying software quality requirements with metrics / S.E. Keller, L.G. Kahn, and R.B. Panara -- On using the users' manual as the requirements specification II / N.R. Howes -- IEEE guide to software requirements specifications / IEEE, Inc. -- A comparison of the major approaches to software specification and design / P. Zave.
  table of contents: A comparison of techniques for the specification of external system behavior / A.M. Davis -- Structured analysis / C.P. Svoboda -- Entity-relationship approach to data modeling / P. Chen -- The N² charts / R.J. Lano -- Object-oriented analysis / P. Coad and E. Yourdon -- A comparison of object-oriented and structured development methods / P.H. Loy -- CORE : a method for controlled requirement specification / G.P. Mullery -- SSADM : systems building made simple / J. Williams -- The operational versus the conventional approach to software development / P. Zave -- The Descartes specification language / J.E. Urban -- Z (a formal specification method) / M. Norris -- Formal methods : set piece / D. Ince -- Formal methods : might is right / D. Barrie -- A graphical, extensible integrated environment for software development / A.I. Wasserman and P.A. Pircher.
  table of contents: SREM at the age of eight; the distributed computing design system / M.W. Alford -- PSL/PSA at the age of fifteen / H.S. Sayani -- In praise of 4GLs / R.H. Cobb -- The automated requirements traceability system (ARTS) : an experience of eight years / R.F. Flynn and M. Dorfman -- Toward a requirements apprentice / C. Rich, R.C. Waters, and H.B. Reubenstein -- Software requirements : a management perspective / R.T. Yeh and P.A. Ng -- Elements of software configuration management / E.H. Bersoff -- Verifying and validating software requirements and design specifications / B.W. Boehm -- A review process mix / C.P. Hollocker -- A strategy for comparing alternative software development life cycle models / A.M. Davis, E.H. Bersoff, and E.R. Comer.
  table of contents: The dual life-cycle model : an enterprise perspective of software development / J.H. Manley -- A spiral model of software development and enhancement / B.W. Boehm -- The synthesis process for software development / A. Pyster -- Reusable software concepts and software development methodologies / P.C. Grabow and W.B. Noble -- The impact of prototyping on software system engineering / H. Gomaa -- Specifying software requirements for complex systems : new techniques and their application / K.L. Heninger -- Application of a structured methodology to real-time industrial software development / J. Post -- Prototyping versus specifying : a multiproject experiment / B.W. Boehm, T.E. Gray and T. Seewaldt -- Applying formal specification to software development in industry / I.J. Hayes.
  note: edited by Richard H. Thayer and Merlin Dorfman ; foreword by Raymond T. Yeh.
  note: Includes bibliographical references (pages 677-695) and index.
  subject:
    topic: Software engineering
  subject:
    topic: Systems engineering
  classification: QA76.758 .T873 1990
  classification: 005.1
  related item:
    title info:
      title: IEEE Computer Society Press tutorial
  identifier: 0818689218 (case)
  identifier: 0818659211 (microfiche)
  identifier: 90004034
  record info:
    record content source: DLC
    record creation date: 900111
    record change date: 20150925130310.0
    record identifier: in00000929148