Abstract is missing.
- Engineering by Software: System Behaviours as ComponentsMichael Jackson. 1-17 [doi]
- What Is a Procedure?Eric C. R. Hehner. 19-35 [doi]
- The Evolution and Ecosystem of the Unified Modeling LanguageClaude R. Baudoin. 37-45 [doi]
- A Theory of Networking and Its Contributions to Software EngineeringPamela Zave. 47-64 [doi]
- On Language InterfacesThomas Degueule, Benoît Combemale, Jean-Marc Jézéquel. 65-75 [doi]
- Moldable Tools for Object-Oriented DevelopmentAndrei Chis, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel. 77-101 [doi]
- The Changing Face of Model-Driven EngineeringRichard F. Paige, Athanasios Zolotas, Dimitris S. Kolovos. 103-118 [doi]
- Borealis Bounded Model Checker: The Coming of Age StoryMarat Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson. 119-137 [doi]
- How to Make Visual Modeling More Attractive to Software DevelopersAndrey Terekhov, Timofey Bryksin, Yurii Litvinov. 139-152 [doi]
- Intrinsic Redundancy for Reliability and BeyondAlberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè. 153-171 [doi]
- Sound Simulation and Co-simulation for RoboticsAna Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock. 173-194 [doi]
- Microservices: Yesterday, Today, and TomorrowNicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina. 195-216 [doi]
- Microservices: A Language-Based ApproachClaudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi. 217-225 [doi]