Table of Contents
|
Fundamentals of Software Engineering Hossein Hojjat, Mieke Massink |
Front Matter |
Coordination
|
Protocol Scheduling Kasper Dokter, Farhad Arbab |
3-17 |
Automated Replication of Tuple Spaces via Static Analysis Aline Uwimbabazi, Omar Inverso, Rocco de Nicola |
18-34 |
Incremental Refinement of Goal Models with Contracts Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione |
35-50 |
Logic
|
Adding Proof Calculi to Epistemic Logics with Structured Knowledge Mario Benevides, Alexandre Madeira, Manuel A. Martins |
53-68 |
Introducing Interval Differential Dynamic Logic Daniel Figueiredo |
69-75 |
A Program Logic for Fresh Name Generation Harold Pancho Eliott, Martin Berger |
76-91 |
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification Vladimir Zyubin, Igor Anureev, Natalia Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh |
92-107 |
Extending OCL with Map and Function Types Kevin Lano, Shekoufeh Kolahdouz-Rahimi |
108-123 |
Networks
|
Deadlock in Packet Switching Networks Anna Stramaglia, Jeroen Keiren, Hans Zantema |
127-141 |
Runtime Monitoring Processes Across Blockchains Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
142-156 |
Solving Systems of Bilinear Equations for Transition Rate Reconstruction Amin Soltanieh, Markus Siegle |
157-172 |
Parallel Computation
|
Term Rewriting on GPUs Johri Van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs |
175-189 |
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays Amaury Maillé, Ludovic Henrio,Matthieu Moy |
190-198 |
Testing
|
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah |
199-214 |
Compressing Automatically Generated Unit Test Suites Through Test Parameterization Aidin Azamnouri, Samad Paydar |
215-221 |
Systematic Extraction of Tests from Object-Oriented Programs Mohammad Ghoreshi, Hassan Haghighi |
222-228 |