Sciweavers

2369 search results - page 60 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
FDL
2004
IEEE
15 years 10 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
RE
1999
Springer
15 years 10 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
DAGSTUHL
2009
15 years 7 months ago
Model-Centric, Context-Aware Software Adaptation
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
Oscar Nierstrasz, Marcus Denker, Lukas Renggli
ASWEC
2009
IEEE
16 years 1 months ago
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
Liwei Shen, Xin Peng, Wenyun Zhao
SEMCO
2009
IEEE
16 years 1 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam