Skip to main content
SpringerLink
Log in

Programming - What is Next?

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 13036))

Included in the following conference series:

Abstract

The paper provides an introduction to the track: “Programming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were presented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.

K. Havelund—The research performed by this author was carried out at Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.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

Similar content being viewed by others

References

  1. Balasubramanian, D., Coglio, A., Dubey, A., Karsai, G.: Towards model-based intent-driven adaptive software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 378–392. Springer, Heidelberg (2021)

    Google Scholar 

  2. Broy, M., Havelund, K., Kumar, R., Steffen, B.: Towards a unified view of modeling and programming (track summary). In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 3–10. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_1

    Chapter  Google Scholar 

  3. Broy, M., Havelund, K., Kumar, R., Steffen, B.: Towards a unified view of modeling and programming (ISoLA 2018 Track Introduction). In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 3–21. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03418-4_1

    Chapter  Google Scholar 

  4. Harel, D., Marron, A.: Introducing dynamical systems and chaos early in computer science and software engineering education can help advance theory and practice of software development and computing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 322–334. Springer, Heidelberg (2021)

    Google Scholar 

  5. Hatcliff, J., Belt, J., Robby, Carpenter, T.: HAMR: An AADL multi-platform code generation toolset. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 274–295. Springer, Heidelberg (2021)

    Google Scholar 

  6. Havelund, K., Bocchino, R.: Integrated modeling and development of component-based embedded software in Scala. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 233–252. Springer, Heidelberg (2021)

    Google Scholar 

  7. Lee, E.A., Lohstroh, M.: Time for all programs, not just real-time programs. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 213–232. Springer, Heidelberg (2021)

    Google Scholar 

  8. Lethbridge, T.C.: Low-code is often high-code, so we must design low-code platforms to enable proper software engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 202–212. Springer, Heidelberg (2021)

    Google Scholar 

  9. Margaria, T., Chaudhary, H.A.A., Guevara, I., Ryan, S., Schieweck, A.: The interoperability challenge: Building a model-driven digital thread platform for CPS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 393–413. Springer, Heidelberg (2021)

    Google Scholar 

  10. Mosses, P.D.: Fundamental constructs in programming languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 296–321. Springer, Heidelberg (2021)

    Google Scholar 

  11. Robby, Hatcliff, J.: Slang: The Sireum programming language. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 253–273. Springer, Heidelberg (2021)

    Google Scholar 

  12. Selić, B., Pierantonio, A.: Fixing classification: a viewpoint-based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 346–356. Springer, Heidelberg (2021)

    Google Scholar 

  13. Stevens, P.: The future of programming and modelling: a vision. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 357–377. Springer, Heidelberg (2021)

    Google Scholar 

  14. Voelter, M.: Programming vs. that thing subject matter experts do. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 414–425. Springer, Heidelberg (2021)

    Google Scholar 

  15. Wadler, P.: GATE: Gradual effect types. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 335–345. Springer, Heidelberg (2021)

    Google Scholar 

  16. Zweihoff, P., Tegeler, T., Schürmann, J., Bainczyk, A., Steffen, B.: Aligned, purpose-driven cooperation: the future way of system development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 426–449. Springer, Heidelberg (2021)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA

    Klaus Havelund

  2. TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Authors
  1. Klaus Havelund
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Klaus Havelund or Bernhard Steffen .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Havelund, K., Steffen, B. (2021). Programming - What is Next?. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2021. Lecture Notes in Computer Science(), vol 13036. Springer, Cham. https://doi.org/10.1007/978-3-030-89159-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-89159-6_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-89158-9

  • Online ISBN: 978-3-030-89159-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation