2153 search results - page 101 / 431 » From Requirements Models to Formal Specifications in B |
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
AIME
2005
Springer
14 years 2 months ago
2005
Springer
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
INFSOF
2006
13 years 9 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
JSS
2006
13 years 9 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...