Sciweavers

3801 search results - page 387 / 761
» An Approach to Modeling Software Safety
Sort
View
ECBS
1999
IEEE
93views Hardware» more  ECBS 1999»
15 years 11 months ago
Structured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
Gabor Karsai
DSRT
2008
IEEE
16 years 1 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
CEEMAS
2007
Springer
16 years 28 days ago
Models and Tools for Mulan Applications
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
Lawrence Cabac, Till Dörges, Michael Duvignea...
MEDINFO
2007
15 years 8 months ago
An Ontology-based Model of Clinical Information
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...
Thomas Beale, Sam Heard
ICWE
2009
Springer
16 years 1 months ago
MagicUWE - A CASE Tool Plugin for Modeling Web Applications
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
Marianne Busch, Nora Koch