Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2022 | OriginalPaper | Buchkapitel

Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)

verfasst von : Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Verlag: Springer Nature Switzerland

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The article provides an introduction to the track Programming - What is Next?: The Role of Documentation, organized by Klaus Havelund and Bernhard Steffen as part of ISoLA 2022: the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Software has to run on machines, but it also has to be understood by humans. The latter requires some form of documentation of the software, which explains what it does if the human is a user of the software, and how it does it if the user is a programmer who wants to modify the software. Documentation is usually the neglected artifact. This track attempts to focus attention on documentation as a first-class citizen of the software development process.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Correction to: A Notion of Equivalence for Refactorings with Abstract Execution
Nächstes Kapitel Software System Documentation: Coherent Description of Software System Properties
Literatur
1.
2.
3.
4.
Aghajani, E.: Software documentation: automation and challenges. Ph.D. thesis, Università della Svizzera italiana (2020)
5.
Broy, M.: Software system documentation: coherent description of software system properties. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 10–27. Springer, Cham (2022)
6.
Dams, D., Havelund, K., Kauffman, S.: Runtime verification as documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 157–173. Springer, Cham (2022)
7.
Fernández-Sáez, A.M., Caivano, D., Genero, M., Chaudron, M.R.: On the use of UML documentation in software maintenance: results from a survey in industry. In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 292–301 (2015). https://​doi.​org/​10.​1109/​MODELS.​2015.​7338260
8.
von Hanxleden, R., et al.: Pragmatics twelve years later: a report on lingua franca. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 60–89. Springer, Cham (2022)
9.
Hatcliff, J., Hugues, J., Stewart, D., Wrage, L.: Formalization of the AADL run-time services. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 105–134. Springer, Cham (2022)
10.
Hoare, C.A.: Hints on programming language design. Tech. rep., Stanford University Stanford, Stanford, CA Department of Computer Science (1973)
11.
12.
13.
Karsai, G., Balasubramanian, D.: Assurance provenance: the next challenge in software documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 90–104. Springer, Cham (2022)
14.
15.
16.
Madsen, O.L., Møller-Pedersen, B.: Using supplementary properties to reduce the need for documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 35–59. Springer, Cham (2022)
17.
18.
19.
Smyth, S., et al.: Executable documentation: the real power of test-first. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 135–156. Springer, Cham (2022)
20.
Stevens, P.: Models as documents, documents as models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 28–34. Springer, Cham (2022)
21.
Tegeler, T., Boßelmann, S., Schürmann, J., Smyth, S., Teumert, S., Steffen, B.: Executable documentation: from documentation languages to purpose-specific languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 174–192. Springer, Cham (2022)
Metadaten
Titel
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)
verfasst von
Klaus Havelund
Tim Tegeler
Steven Smyth
Bernhard Steffen
Copyright-Jahr
2022
Buch
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Print ISBN: 978-3-031-19755-0

Electronic ISBN: 978-3-031-19756-7

Copyright-Jahr: 2022

DOI
https://doi.org/10.1007/978-3-031-19756-7_1

Premium Partner

    Bildnachweise