206 search results - page 1 / 42 » Automated Analysis of Natural Language Properties for UML Mo... |
UML
2005
Springer
13 years 10 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
ECMDAFA
2009
Springer
13 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
UML
2004
Springer
13 years 9 months ago
2004
Springer
UML
2004
Springer
13 years 9 months ago
2004
Springer
MODELS
2010
Springer
13 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...