631 search results - page 58 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
SBBD
2004
14 years 11 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
CSL
1998
Springer
15 years 2 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
ECEH
2006
14 years 11 months ago
2006
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
WSC
2008
15 years 4 days ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...