Login

Mazzara, Manuel

Present and Ulterior Software Engineering

Mazzara, Manuel - Present and Ulterior Software Engineering, ebook

130,70€

Ebook, PDF with Adobe DRM
ISBN: 9783319674254
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Engineering by Software: System Behaviours as Components
Michael Jackson

2. What Is a Procedure?
Eric C. R. Hehner

3. The Evolution and Ecosystem of the Unified Modeling Language
Claude R. Baudoin

4. A Theory of Networking and Its Contributions to Software Engineering
Pamela Zave

5. On Language Interfaces
Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel

6. Moldable Tools for Object-Oriented Development
Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel

7. The Changing Face of Model-Driven Engineering
Richard F. Paige, Athanasios Zolotas, Dimitris Kolovos

8. Borealis Bounded Model Checker: The Coming of Age Story
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

9. How to Make Visual Modeling More Attractive to Software Developers
Andrey Terekhov, Timofey Bryksin, Yurii Litvinov

10. Intrinsic Redundancy for Reliability and Beyond
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

11. Sound Simulation and Co-simulation for Robotics
Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock

12. Microservices: Yesterday, Today, and Tomorrow
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

13. Microservices: A Language-Based Approach
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

Keywords: Computer Science, Software Engineering, Software Management, Programming Languages, Compilers, Interpreters

Editor
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319674254
Printed ISBN
978-3-319-67424-7

Similar titles