My Account Log in

1 option

Requirements Targeting Software and Systems Engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 / edited by Manfred Broy, Bernhard Rumpe.

LIBRA Q341 .P7 2004
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Contributor:
Broy, M., 1949- editor.
Rumpe, Bernhard, editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 1526.
Lecture Notes in Computer Science, 0302-9743 ; 1526
Language:
English
Subjects (All):
Software engineering.
Software Engineering.
Local Subjects:
Software Engineering.
Physical Description:
1 online resource (VIII, 357 pages).
Edition:
First edition 1998.
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
System Details:
text file PDF
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.
Other Format:
Printed edition:
ISBN:
978-3-540-49439-3
9783540494393
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account