List of smart modeling tools, i.e. tools that include an AI assistant to help modelers write better models faster.
We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would improve the efficiency and usability of a variety of software modeling activities, e.g., design space exploration, testing or verification and validation.
Modelia: the future virtual assistant for programmers ( combining modeling and artificial intelligence)
Read about a new project between CEA List and Universitat Oberta de Catalunya on the integration of Artificial Intelligence in software development tools.
Have you ever thought about using social networks and chatbots for collaborative modeling? Well, this is now possible. Read how you can built your models using natural language discussions on twitter and telegram
Cognification is the application of knowledge to boost the performance and impact of a process. We believe cognification could be a revolution in the way software is built.
A human judge examines the code generated by one programmer and one code-generation tool for the same formal specification. If the judge cannot reliably tell the tool from the human, the tool is said to have passed the test