Domain theory: practice and theories a discussion of possible research topics
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
A domain-oriented, model-based approach for construction and verification of railway control systems
Formal methods and hybrid real-time systems
Human systems integration design: which generalized rationale?
HCD'11 Proceedings of the 2nd international conference on Human centered design
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Handling heterogeneity in formal developments of hardware and software systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Hi-index | 0.00 |