Sciweavers

2369 search results - page 175 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
ICSM
2006
IEEE
16 years 19 days ago
Establishing Maintainability in Systems Integration: Ambiguity, Negotiations, and Infrastructure
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
Thomas Østerlie, Alf Inge Wang
SCAM
2008
IEEE
16 years 29 days ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella
COMPSAC
2004
IEEE
15 years 10 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
ASWSD
2004
Springer
15 years 12 months ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ
SIGSOFT
2001
ACM
16 years 7 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli