Software Development Environments and CASE Technology 1991: Königswinter, Germany

Albert Endres, Herbert Weber (Eds.): Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings. Lecture Notes in Computer Science 509 Springer 1991, ISBN 3-540-54194-2 BibTeX

@proceedings{DBLP:conf/sde/1991,
  editor    = {Albert Endres and
               Herbert Weber},
  title     = {Software Development Environments and CASE Technology, European
               Symposium, K{\"o}nigswinter, Germany, June 17-19, 1991, Proceedings},
  booktitle = {Software Development Environments and CASE Technology},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {509},
  year      = {1991},
  isbn      = {3-540-54194-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Development Directions and Strategies

J. Henk Obbink: Systems Engineering Environments of ATMOSPHERE. 1-17 BibTeX
Peter Göhner: Building IPSE's by Combining Heterogeneous CASE Tools. 18-30 BibTeX
Günter Merbeth: On the Functional and Architectural Integration of CASE Systems. 31-43 BibTeX
Jonah Z. Loeb (Lavi), Michael Winokur: Development of a Method Driven CAS²E Tool. 44-52 BibTeX
John N. Pocock: VSF and Its Relationship to Open Systems and Standard Repositories. 53-68 BibTeX
Huw Oliver: Adding Control Integration to PCTE. 69-80 BibTeX
Albert Alderson: Meta-CASE Technology. 81-91 BibTeX

Application Experience and Requirements

Rainer Burchett: Management Issues in Software Development. 92-98 BibTeX
Adolf Peter Bröhl: Standardization of Software Development Environments. 99-108 BibTeX
Lothar Köhler: A Software Development Environment for CIM Applications. 109-113 BibTeX
Dieter Steinbauer: A Repository and Other Tools in a Commercial Development Center. 114-129 BibTeX
Johann Wagner: Lessons Learned from DOMINO and GRAPES. 130-142 BibTeX
Peter Hruschka: Should CASE be Application Dependent? 143-152 BibTeX

Research Issues and Results

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. 153-166 BibTeX
Dominique Clément, Vincent Prunet, Francis Montagnac: Integrated Software Components: A Paradigm for Control Integration. 167-177 BibTeX
Dines Bjørner, Søren Prehn: Formal Methods in Software Development: Requirements for a CASE. 178-210 BibTeX
Manfred Nagl: Modeling of Software Architectures: Importance, Notions, Experience. 211-232 BibTeX
Jeff Kramer, Anthony Finkelstein: A Configurable Framework for Method and Tool Integration. 233-257 BibTeX
Watts S. Humphrey: Recent Findings in Software Process Maturity. 258-270 BibTeX
Volker Gruhn: Validation and Verification of Software Process Models. 271-286 BibTeX