Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes
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
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 |