default search action
Present and Ulterior Software Engineering 2017
- Manuel Mazzara
, Bertrand Meyer:
Present and Ulterior Software Engineering. Springer 2017, ISBN 978-3-319-67424-7 - Michael Jackson:
Engineering by Software: System Behaviours as Components. 1-17 - Eric C. R. Hehner:
What Is a Procedure? 19-35 - Claude R. Baudoin:
The Evolution and Ecosystem of the Unified Modeling Language. 37-45 - Pamela Zave:
A Theory of Networking and Its Contributions to Software Engineering. 47-64 - Thomas Degueule
On Language Interfaces. 65-75 - Andrei Chis, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel:
Moldable Tools for Object-Oriented Development. 77-101 - Richard F. Paige, Athanasios Zolotas, Dimitris S. Kolovos
The Changing Face of Model-Driven Engineering. 103-118 - Marat Akhin
Borealis Bounded Model Checker: The Coming of Age Story. 119-137 - Andrey Terekhov, Timofey Bryksin
How to Make Visual Modeling More Attractive to Software Developers. 139-152 - Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè:
Intrinsic Redundancy for Reliability and Beyond. 153-171 - Ana Cavalcanti
Sound Simulation and Co-simulation for Robotics. 173-194 - Nicola Dragoni
Microservices: Yesterday, Today, and Tomorrow. 195-216 - Claudio Guidi, Ivan Lanese, Manuel Mazzara
Microservices: A Language-Based Approach. 217-225
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-24 17:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: