Present and Ulterior Software Engineering /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Mazzara, Manuel. (Editor), Meyer, Bertrand. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Table of Contents:
  • Engineering by Software: System Behaviours as Components
  • What is a Procedure?
  • The Evolution and Ecosystem of the Unified Modeling Language
  • A Theory of Networking and its contributions to Software Engineering
  • On Language Interfaces
  • Moldable Tools for Object-oriented Development
  • The Changing Face of Model-Driven Engineering
  • Borealis Bounded Model Checker: the Coming of Age Story
  • How to make visual modeling more attractive to software developers
  • Intrinsic Redundancy for Reliability and Beyond
  • Sound Simulation and Co-simulation of Mobile and Autonomous Robots
  • Microservices: yesterday, today, and tomorrow
  • Microservices: A Language-based Approach.