Development Use Cases for Semantics-Driven Modeling Languages

• State space-based methods for validating model transformations in model checkers

  2026 Software & Systems Modeling article Computer Science Formal Methods in Verification Open access

  0

  citations
• Bridging MBSE and MBSA through an Interoperability Framework

  2026 Procedia Computer Science conference-paper Computer Science Advanced Software Engineering Methodologies Open access

  0

  citations
• Transforming Operationalised iStar Models into Temporal Semantics and Event-B for Consistency Assurance

  2025 conference-paper Computer Science Advanced Software Engineering Methodologies

  0

  citations
• Simplifying Strategic Frugal Innovation and Sustainability Formulation and Evaluation: An SDG-Maslowian Approach: A Review and Proposed Framework

  2025 Lecture notes in computer science conference-paper Business, Management and Accounting Innovation and Socioeconomic Development

  2

  citations
• Specifying and Implementing Interface Moore Machines by a Logic of Actions

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  2

  citations
• The Role of Formal Methods in Computer Science Education

  2024 ACM Inroads article Computer Science Teaching and Learning Programming Open access

  12

  citations
• Definitions and Computational Properties of OCL: A Systematic Review

  2024 IEEE Access review Computer Science Model-Driven Software Engineering Techniques Open access

  1

  citations
• Time, causality, and realizability: Engineering interactive, distributed software systems

  2023 Journal of Systems and Software article Computer Science Formal Methods in Verification

  7

  citations
• Maturity Evaluation of Domain-Specific Language Ecosystems for Cyber-Physical Production Systems

  2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Model-Driven Software Engineering Techniques

  3

  citations
• A manifesto for applicable formal methods

  2023 Software & Systems Modeling article Computer Science Formal Methods in Verification Open access

  29

  citations

10 results

• Statecharts: a visual formalism for complex systems

  1987 Science of Computer Programming article Computer Science Model-Driven Software Engineering Techniques Open access

  6,771

  citations
• An axiomatic basis for computer programming

  1969 Communications of the ACM article Computer Science Computability, Logic, AI Algorithms Open access

  3,998

  citations
• Refactoring improving the design of existing code

  2017 IEEE Central America and Panama Convention (CONCAPAN) conference-paper Computer Science Software Engineering Research

  2,077

  citations
• Outline of a Mathematical Theory of Computation

  1970 Medical Entomology and Zoology book Computer Science Computability, Logic, AI Algorithms

  640

  citations
• Meaningful modeling: what's the semantics of "semantics"?

  2004 Computer article Computer Science Model-Driven Software Engineering Techniques

  531

  citations
• Abstract data types and the development of data structures

  1977 Communications of the ACM conference-abstract Computer Science Logic, programming, and type systems Open access

  462

  citations
• The State of Practice in Model-Driven Engineering

  2013 IEEE Software article Computer Science Model-Driven Software Engineering Techniques Open access

  384

  citations
• The origins of structural operational semantics

  2004 The Journal of Logic and Algebraic Programming article Computer Science Logic, programming, and type systems Open access

  363

  citations
• The Probabilistic Model Checking Landscape

  2016 conference-paper Computer Science Formal Methods in Verification

  159

  citations
• On the algebraic definition of programming languages

  1987 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  61

  citations
• UML formal semantics: lessons learned

  2011 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques

  51

  citations
• Meta-Modelling Semantics of UML

  1999 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

  49

  citations
• Practical Foundations of Business and System Specifications

  2003 Infoscience (Ecole Polytechnique Fédérale de Lausanne) article Computer Science Model-Driven Software Engineering Techniques Open access

  14

  citations
• W6603538891

  details pending

  0

  citations
• W6762662553

  details pending

  0

  citations

15 results