The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Tasks and ontologies in engineering modelling
International Journal of Human-Computer Studies
Efficient compositional modeling for generating causal explanations
Artificial Intelligence
International Journal of Human-Computer Studies
Hi-index | 0.00 |
The authors present 007, their intelligent modeling assistant that supports the human modeler in three main revision tasks. It helps users represent the physical models, formulate explicit, testable requirements, and assess the current model. It then executes generic repair plans and revises the model until requirements are met. In this article, the authors describe a sample revision session performed with 007 to revise the model of a system of railroad cars impacting on a snubber.