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

Full Text Documents Search Links IFIP website IFIP TC6 Open DL

Designed by Inria-IES Team :     Hosted by HAL :