Search

Dave Clarke

Typed connector families and their semantics
A procedure for splitting data-aware processes and its application to coordination
Feature Nets: behavioural modelling of software product lines
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
Typed Connector Families
Data Abstraction in Coordination Constraints
Executable modelling of dynamic software product lines in the ABS language
Interactive Interaction Constraints
A Procedure for Splitting Processes and its Application to Coordination
Dreams: a framework for distributed synchronous coordination
Formal analysis of policies in wireless sensor network applications
Partial Connector Colouring
Channel-based coordination via constraint satisfaction
Decoupled execution of synchronous coordination models via behavioural automata
Modular Modelling of Software Product Lines with Feature Nets
Feature Petri Nets
Towards a Theory of Views for Feature Models
Variability Modelling in the ABS Language
Coordination via Interaction Constraints I: Local Logic
Deconstructing Reo
Coordination Models Orc and Reo Compared

Published with Wowchemy — the free, open source website builder that empowers creators.