Computer science/System description languages

Subject Classification

ACM: Software and its engineering~System description languages

2023

DCR Syntax and Execution Equivalent Markings

by Axel Christfort and Søren Debois

Jun 16

2019

A Formal Development of a Polychronous Polytimed Coordination Language

by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff

Jul 30

2018

A Theory of Architectural Design Patterns

by Diego Marmsoler

Mar 01

2017

Dynamic Architectures

by Diego Marmsoler

Jul 28

2014

Promela Formalization

by René Neumann

May 28

Formalisation and Analysis of Component Dependencies

by Maria Spichkova

Apr 28

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

by Achim D. Brucker, Frédéric Tuong and Burkhart Wolff

Jan 16

2012

Isabelle/Circus

by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel

May 27