03054oam 2200589 450 991014346660332120210715194501.03-540-49439-110.1007/b71630(CKB)1000000000211026(SSID)ssj0000326257(PQKBManifestationID)11266246(PQKBTitleCode)TC0000326257(PQKBWorkID)10265909(PQKB)11040524(DE-He213)978-3-540-49439-3(MiAaPQ)EBC3088522(MiAaPQ)EBC6485986(PPN)155184504(EXLCZ)99100000000021102620210715d1998 uy 0engurnn#008mamaatxtccrRequirements targeting software and systems engineering international workshop RTSE '97, Bernried, Germany, October 12-14 1997 /Manfred Broy, Bernhard Rumpe (editors)1st ed. 1998.Berlin, Heidelberg :Springer,[1998]©19981 online resource (VIII, 357 pp.)Lecture Notes in Computer Science ;1526Bibliographic Level Mode of Issuance: Monograph3-540-65309-0 Includes bibliographical references at the end of each chapters and index.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.Lecture notes in computer science ;1526.Software engineeringCongressesSystems engineeringCongressesSoftware engineeringSystems engineering005.1Rumpe BernhardBroy M.1949-International Workshop RTSE '97MiAaPQMiAaPQUtOrBLWBOOK9910143466603321Requirements targeting software and systems engineering2106943UNINA