When testing or validating a model we need a diverse set of instances that helps us to analyze the different ways such model can be satisfied. Our work uses classifying terms and constraint strengthening to generate such diverse set.
Clarifying all the different strategies you could follow when using modeling for the development of User Interfaces and Systems Development
We propose to assign a degree of belief to model statements, which is expressed by a probability (called credence, in statistical terms) that represents a quantification of such a subjective degree of belief. We discuss how it can be represented using current modeling notations, and how to operate with it in order to make informed decisions.
Margaret Hamilton is not only a software engineering pioneer but a model-driven one as well. Her work on the Universal Systems Language already embedded many of the key modeling concepts we use nowadays (platform-independence, code-generation,…).
A selection of visual modeling environments for data science, machine learning and smart apps. The fastest way to start building your own AI components and ML models
List of smart modeling tools, i.e. tools that include an AI assistant to help modelers write better models faster.