Borrow it
Coverart for item
The Resource Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings, Manfred Broy, Bernhard Rumpe (eds.)

Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings, Manfred Broy, Bernhard Rumpe (eds.)

Creator
Contributor
Summary
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997. The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors are internationally leading researchers. The book is divided in sections on foundations of software engineering, methodology, evaluation and case studies, and tool support and prototyping
Language
eng
Work
Publication
Extent
1 online resource (viii, 355 pages)
Contents
  • Foundations of Software Engineering
  • Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views
  • Software and System Modeling Based on a Unified Formal Semantics
  • Postmodern Software Design with NYAM: Not Yet Another Method
  • Methodology
  • A Discipline for Handling Feature Interaction
  • Merging Changes to Software Specifications
  • Combining and Distributing Hierarchical Systems
  • Software Engineering Issues for Network Computing
  • A Two-Layered Approach to Support Systematic Software Development
  • Evaluation and Case Studies
  • A Framework for Evaluating System and Software Requirements Specification Approaches
  • Formal Methods and Industrial-Strength Computer Networks
  • Tool Support and Prototyping
  • Integration Tools Supporting Development Processes
  • Formal Models and Prototyping
  • Abstraction and Modular Verification of Infinite-State Reactive Systems
  • NSA's MISSI Reference Architecture
  • Moving from Prose to Precise Specifications
  • Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
Isbn
9783540494393
Instance
Label
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings
Title
Requirements targeting software and systems engineering
Title remainder
International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings
Statement of responsibility
Manfred Broy, Bernhard Rumpe (eds.)
Title variation
International Workshop RTSE'97
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997. The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors are internationally leading researchers. The book is divided in sections on foundations of software engineering, methodology, evaluation and case studies, and tool support and prototyping
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
005.1
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.758
LC item number
.I578 1997
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
International Workshop RTSE '97
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1949-
http://library.link/vocab/relatedWorkOrContributorName
  • Broy, M.
  • Rumpe, Bernhard
Series statement
Lecture notes in computer science,
Series volume
1526
http://library.link/vocab/subjectName
  • Software engineering
  • Systems engineering
  • Software engineering
  • Systems engineering
  • Programmatuurtechniek
  • Formale Spezifikationstechnik
  • Kongress
  • Requirements engineering
  • Software Engineering
  • Softwareentwicklung
  • Systementwicklung
  • Engenharia de programacao (software)
  • Génie logiciel
  • Ingénierie des systèmes
Label
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings, Manfred Broy, Bernhard Rumpe (eds.)
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA's MISSI Reference Architecture -- Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
Control code
646647145
Dimensions
unknown
Extent
1 online resource (viii, 355 pages)
File format
one file format
Form of item
online
Isbn
9783540494393
Lccn
98032083
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b71630
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)646647145
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings, Manfred Broy, Bernhard Rumpe (eds.)
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA's MISSI Reference Architecture -- Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
Control code
646647145
Dimensions
unknown
Extent
1 online resource (viii, 355 pages)
File format
one file format
Form of item
online
Isbn
9783540494393
Lccn
98032083
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b71630
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)646647145
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...