228 search results - page 2 / 46 » Reasoning with UML Class Diagrams |
AIIA
2007
Springer
13 years 11 months ago
2007
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
ER
2007
Springer
13 years 6 months ago
2007
Springer
The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...
ER
2010
Springer
13 years 2 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
UML
2001
Springer
13 years 9 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...