Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
2
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Cite
DOI
URL
Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision Paper
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Cite
DOI
URL
Special Issue on New Paradigms of Software Production and Deployment
PDF
Cite
DOI
The Role of Formalism in System Requirements
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …
PDF
Cite
DOI
Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems
At the heart of cyber-physical and ambient systems, the user should permanently benefit from applications adapted to the situation and …
PDF
Cite
DOI
A Formalization of Group Decision Making in Multi-Viewpoints Design
PDF
Cite
DOI
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems
PDF
Cite
DOI
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
PDF
Cite
DOI
Comparing and classifying model transformation reuse approaches across metamodels
PDF
Cite
DOI
Live Modeling in the Context of State Machine Models and Code Generation
PDF
Cite
DOI
»
Cite
×