Search
Search Results
-
SymboleoPC: checking properties of legal contracts
Legal contracts specify requirements for business transactions. Symboleo was recently proposed as a formal specification language for legal...
-
Guest editorial to the special section on PoEM’2022
This guest editorial presents the papers contributing to the 15th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2022)....
-
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
Smart contracts (SCs) are software systems that monitor and partially control the execution of legal contracts to ensure compliance with the...
-
Human factors in model-driven engineering: future research goals and initiatives for MDE
Software modelling and model-driven engineering (MDE) is traditionally studied from a technical perspective. However, one of the core motivations...
-
GSGP-hardware: instantaneous symbolic regression with an FPGA implementation of geometric semantic genetic programming
Geometric Semantic Genetic Programming (GSGP) proposed an important enhancement to GP-based learning, incorporating search operators that operate...
-
Using reactive links to propagate changes across engineering models
Collaborative model-driven development is a de facto practice to create software-intensive systems in several domains (e.g., aerospace, automotive,...
-
MBFair: a model-based verification methodology for detecting violations of individual fairness
Decision-making systems are prone to discrimination against individuals with regard to protected characteristics such as gender and ethnicity....
-
ModelXGlue: a benchmarking framework for ML tools in MDE
The integration of machine learning (ML) into model-driven engineering (MDE) holds the potential to enhance the efficiency of modelers and elevate...
-
OIL: an industrial case study in language engineering with Spoofax
Domain-specific languages (DSLs) promise to improve the software engineering process, e.g., by reducing software development and maintenance effort...
-
Geometric semantic GP with linear scaling: Darwinian versus Lamarckian evolution
Geometric Semantic Genetic Programming (GSGP) has shown notable success in symbolic regression with the introduction of Linear Scaling (LS). This...
-
Modular language product lines: concept, tool and analysis
Modelling languages are intensively used in paradigms like model-driven engineering to automate all tasks of the development process. These languages...
-
Application and evaluation of interlinked approaches for modeling changing capabilities
The nature of modern organizations needs to be increasingly adaptive, since they are dealing with a constant demand to respond to stimuli derived...
-
Going beyond templates: composition and evolution in nested OSTRICH
Low-code frameworks strive to simplify and speed up application development. An essential mechanism to achieve these goals is to have native support...
-
-
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools
Software requirements specification describes users’ needs and expectations on some target system. Requirements documents are typically represented...
-
Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models
Many powerful metamodeling platforms enabling model-driven software engineering (MDSE) exist, each with its strengths, weaknesses, functionalities,...