A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Formal support for e-government system design with transparency consideration
Proceedings of the 1st international conference on Theory and practice of electronic governance
Concurrency, Graphs and Models
Checking assignments of controls to risks for internal control
Proceedings of the 2nd international conference on Theory and practice of electronic governance
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Constructing an ontology for a research program from a knowledge science perspective
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Domain theory: practice and theories a discussion of possible research topics
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
Relating domain concepts intensionally by ordering connections
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
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Applying Software Engineering Principles for Designing Cloud@Home
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
Cybernetics and Systems Analysis
Domains: their simulation, monitoring and control-a divertimento of ideas and suggestions
Rainbow of computer science
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: applications and services - Volume Part IV
The science of conceptual modelling
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
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
The science and art of conceptual modelling
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
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
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |