2570 search results - page 158 / 514 » Reliability Modeling Using UML |
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
ENTCS
2008
14 years 10 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
CLEF
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...
TOPNOC
2008
14 years 10 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...