This book constitutes the revised selected papers of the 10th International Symposium on Formal A...

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On...

Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.-...

The European conference situationin the general area of software science has longbeen considered ...

Why Another Book on Category Theory? In the past ten years, several books have been published on ...

Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Archi...

Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- W...

Formal methods integration and experience reports.- Model checking.- Refinement and verification....

Role-based Development of Dynamically Evolving Esembles.- Parameterized Strategies Specication in...