Present and Ulterior Software Engineering /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Mazzara, Manuel. (Editor ), Meyer, Bertrand. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
Tabla de Contenidos:
  • 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.