853 search results - page 63 / 171 » A supporting system for verification among models of the UML |
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
METAINFORMATICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
ENTCS
2007
13 years 8 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
AIRS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...