index - Fundamentals of Software Engineering Access content directly
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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

 

 


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