index - Fundamentals of Software Engineering

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

Chargement de la page

Search

Chargement de la page

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/