228 search results - page 19 / 46 » Reasoning with UML Class Diagrams |
APVIS
2003
13 years 9 months ago
2003
UML class diagrams of complex software systems are frequently very large, making it difficult to gain a detailed understanding of the underlying software components within the con...
ISSRE
2003
IEEE
14 years 25 days ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
EWCBR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
MODELS
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
SOSYM
2010
13 years 6 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...