Refreshing results…
The True Colours Remote Symptom Monitoring System: A Decade of Evolution
Download from doi.orgFormal model-driven engineering of critical information systems
Download from www.researchgate.netModel−driven Engineering of Information Systems: 10 years and 1000 versions
Download from doi.orgCompositionality and refinement in model-driven engineering
Download from citeseerx.ist.psu.eduA Guarded Workflow Language and Its Formal Semantics
UploadDomain−specific Semantics and Data Refinement of Object Models
Download from doi.orgFrom Predicates to Programs: The Semantics of a Method Language
Download from www.researchgate.netOn the generation of object databases using booster
Download from www.researchgate.netAutomatic maintenance of association invariants
UploadMissing publications? Search for publications with a matching author name.