Skip to main content
SpringerLink
Log in

Present and Ulterior Software Engineering

  • Book
  • © 2017

Overview

Editors:
  1. Manuel Mazzara

    1. Innopolis University , Innopolis, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bertrand Meyer

    1. Chair of Software Engineering, ETH Zürich, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline
  • Covers important topics like model-driven software development, programming language design, microservices, software reliability, model checking, and simulation
  • Written by leading researchers in the field of software engineering

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

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Engineering by Software: System Behaviours as Components

    • Michael Jackson
    Pages 1-17

  3. What Is a Procedure?

    • Eric C. R. Hehner
    Pages 19-35

  4. The Evolution and Ecosystem of the Unified Modeling Language

    • Claude R. Baudoin
    Pages 37-45

  5. A Theory of Networking and Its Contributions to Software Engineering

    • Pamela Zave
    Pages 47-64

  6. On Language Interfaces

    • Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel
    Pages 65-75

  7. Moldable Tools for Object-Oriented Development

    • Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel
    Pages 77-101

  8. The Changing Face of Model-Driven Engineering

    • Richard F. Paige, Athanasios Zolotas, Dimitris Kolovos
    Pages 103-118

  9. Borealis Bounded Model Checker: The Coming of Age Story

    • Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
    Pages 119-137

  10. How to Make Visual Modeling More Attractive to Software Developers

    • Andrey Terekhov, Timofey Bryksin, Yurii Litvinov
    Pages 139-152

  11. Intrinsic Redundancy for Reliability and Beyond

    • Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
    Pages 153-171

  12. Sound Simulation and Co-simulation for Robotics

    • Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock
    Pages 173-194

  13. Microservices: Yesterday, Today, and Tomorrow

    • Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin et al.
    Pages 195-216

  14. Microservices: A Language-Based Approach

    • Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
    Pages 217-225

  15. Erratum to: What Is a Procedure?

    • Eric C. R. Hehner
    Pages E1-E1
Back to top

Keywords

About this book

This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.

The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.

It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.

Editors and Affiliations

  • Innopolis University , Innopolis, Russia

    Manuel Mazzara

  • Chair of Software Engineering, ETH Zürich, Zürich, Switzerland

    Bertrand Meyer

About the editors

Manuel Mazzara is a professor of computer science and Director of the Institute of Technologies and Software Development at Innopolis University (Russia). He has a research background in software engineering, service-oriented architectures, concurrency theory, formal methods and software verification. Always at the interface between science and software production he has cooperated with European and US industry, as well as governmental and inter-governmental organizations such as the United Nations.

Bertrand Meyer, formerly from ETH Zurich, is a professor at Politecnico di Milano (Italy) and Innopolis University (Russia), and Chief Architect at Eiffel Software (based in California). He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment, patents and software litigation), trainer in object technology and other software topics, and conference speaker. He has received numerous awards, including the ACM Software System Award, and fellow of the ACM, the Dahl-Nygaard Prize, and the IEEE Harlan D. Mills Prize.

Bibliographic Information

  • Book Title: Present and Ulterior Software Engineering

  • Editors: Manuel Mazzara, Bertrand Meyer

  • DOI: https://doi.org/10.1007/978-3-319-67425-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing AG 2017

  • Hardcover ISBN: 978-3-319-67424-7Published: 09 November 2017

  • Softcover ISBN: 978-3-319-88429-5Published: 25 August 2018

  • eBook ISBN: 978-3-319-67425-4Published: 01 November 2017

  • Edition Number: 1

  • Number of Pages: VIII, 225

  • Number of Illustrations: 30 b/w illustrations, 18 illustrations in colour

  • Topics: Software Engineering, Software Management, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation