Sciweavers

94 search results - page 2 / 19
» UML-driven Information Systems and their Formal Integration ...
Sort
View
PDSE
1998
126views more  PDSE 1998»
13 years 6 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
SIGSOFT
2003
ACM
13 years 10 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
JIB
2007
95views more  JIB 2007»
13 years 4 months ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
SAC
2005
ACM
13 years 10 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
CBMS
2003
IEEE
13 years 10 months ago
Integration of Distributed Healthcare Records: Publishing Legacy Data as XML Documents Compliant with CEN/TC251 ENV13606
To support co-operative work among health professionals and institutions it is necessary to share healthcare information about patients in a meaningful way. But, nowadays, in most...
José Alberto Maldonado, Montserrat Robles, ...