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

Contributor(s): Broy, Manfred [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 1526Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Description: VIII, 357 pp. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540494393Subject(s): Computer science | Software engineering | Computer Science | Software EngineeringAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access online
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6778

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha