Skip to main content
SpringerLink
Log in

DAIDA Konzeptuelle Modellierung und wissensbasierte Unterstützung von Softwareprozessen

  • Conference paper
Wissensbasierte Systeme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 227))

  • 66 Accesses

Kurzfassung

Im ESPRIT-Projekt 892 (DAIDA) wird eine Methodik entwickelt, die es gestattet, aus konzeptuellen Anforderungsspezifikationen qualitätsgesicherte Informationssystem-Software zu erstellen. Um Wartung und Wiederverwendbarkeit zu erleichtern, betont DAIDA die Strukturierung und Dokumentation der Entwurfsentscheidungen im Softwareprozeß. Diese Arbeit schildert Entwicklung, Implementierung und Nutzung eines speziellen Softwareprozeßmodells, welches von der Grundidee einer konzeptuellen Einbettung von Systemen in ihre Umgebung ausgeht.

Abstract

ESPRIT project 892 (DAIDA) develops a methodology to derive quality- assured information systems software from conceptual requirements models. To facilitate maintenance and reusability, DAIDA emphasizes structuring and documentation of the design decisions that occur during software processes. This paper reports design, implementation, and application of a particular software process model based on the idea of modeling the embedding of systems in their environment.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Abrial, J.R., Gardiner, P., Morgan, C. Spivey, M. (1988). Abstract machines, part I-IV. Manuskript, Oxford University, England.

    Google Scholar 

  2. BE87] Belkhatir, N., Estublier, J. (1987). Software management constraints and action triggering in the ADELE program database, Proc. 1st ESEC, Straßburg, 47–57.

    Google Scholar 

  3. Bauer, F.L., Möller, B., Partsch, H., Pepper, H. (1989). Formal program construction by transformations - computer-aided, intuition-guided programming. IEEE Trans. Software Eng. 75, 2, 165–180.

    Article  Google Scholar 

  4. Borgida, A., Mylopoulos, J., Schmidt, J.W., Wetzel, I. (1989). Support for data- intensive applications: conceptual design and software development. Proc. 2nd Workshop Database Programming Languages, Portland, Or.

    Google Scholar 

  5. Chung, L., Katalagarianos, P., Marakakis, M., Mertikas, M., Mylopoulos, J., Vassiliou, Y. (1989). Mapping advanced concepts: time and assertions. Iraklion, Griechenland.

    Google Scholar 

  6. DAIDA89] Jarke, M., DAIDA Team (1989). The DAIDA demonstrator. ESPRIT 89, Brüssel.

    Google Scholar 

  7. Dhar, V., Jarke, M. (1988). Dependency-directed reasoning and learning in systems maintenance support. IEEE Trans. Software Eng. 14, 2, 211–227.

    Article  Google Scholar 

  8. GBM86] Greenspan, S., Borgida, A., Mylopoulos, J. (1986). A requirements modeling language and its logic. In Brodie, M.L., Mylopoulos, J. (Hrsg.): On Knowledge Base Management Systems, New York: Springer, 471–505.

    Google Scholar 

  9. Hahn, U. (1989). Argumentationsstrukturen in Gruppendiskussionen. Proc. GWAI ’89, Schloß Eringerfeld/Geseke.

    Google Scholar 

  10. JJR88] Jarke, M., Jeusfeld, M., Rose, T. (1988). A global KB MS for database software evolution: documentation of first ConceptBase prototype. MIP-8819, Universität Passau.

    Google Scholar 

  11. Jarke, M., Jeusfeld, M., Rose, T. (1989). A software process data model for knowledge engineering in information systems. Information Systems 14, 3.

    Google Scholar 

  12. Jarke, M., Jeusfeld, M., Rose, T., Mylopoulos, J., Schmidt, J., Wetzel, I., Ziegler, A. (1989). Information systems development as knowledge engineering. Universität Passau.

    Google Scholar 

  13. Proc. 3rd Annual Knowledge-Based Software Assistant Conference. Utica, NY.

    Google Scholar 

  14. Koubarakis, M., Mylopoulos, J., Stanley, M., Borgida, A. (1989). Telos: features and formalization. Report KRR-89–04, University of Toronto, Canada.

    Google Scholar 

  15. MBW80] Mylopoulos, J., Bernstein, P.A., Wong, H.K.T. (1980). A language for designing interactive data-intensive applications. ACM Trans. Database Systems 5, 2, 185–207.

    Article  Google Scholar 

  16. PR89] Piza, B., Röpcke, I. (1989). SMLS: Systems Modeling Language Support System on SUN. Report, ESPRIT 892 ( DAIDA), SCS, Hamburg.

    Google Scholar 

  17. Reinfrank, M. (1988). Lecture Notes On Reason Maintenance. Siemens, München.

    Google Scholar 

  18. Rose, T., Jarke, M. (1989). A decision-based configuration process model. Uni Passau.

    Google Scholar 

  19. Schmidt, J.W., Eckhardt, H., Matthes, F. (1988). Draft report on the database programming language DBPL. Universität Frankfurt.

    Google Scholar 

  20. Topaloglou, T., Koubarakis, M. (1989). Implementing Telos: problems and solutions. Report KRR-89-08, University of Toronto, Ont.

    Google Scholar 

  21. Winograd, T., Flores, F. (1986). Understanding Computers and Cognition: A New Foundation for Design. Norwood, NJ: Ablex.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Mathematik und Informatik, Universität Passau, Postfach 2540, D-8390, Passau, Deutschland

    Matthias Jarke

Authors
  1. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Consortia

DAIDA Team

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000, München 2, Germany

    W. Brauer  & C. Freksa  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jarke, M., DAIDA Team. (1989). DAIDA Konzeptuelle Modellierung und wissensbasierte Unterstützung von Softwareprozessen. In: Brauer, W., Freksa, C. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75182-0_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-75182-0_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51838-9

  • Online ISBN: 978-3-642-75182-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation