Sciweavers

2118 search results - page 143 / 424
» Execution of A Requirement Model in Software Development
Sort
View
ISSTA
2006
ACM
16 years 25 days ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
SEUS
2008
IEEE
16 years 1 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
16 years 1 months ago
The AADL behaviour annex - experiments and roadmap
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
Ricardo Bedin França, Jean-Paul Bodeveix, M...
ISORC
2009
IEEE
16 years 1 months ago
Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
Dietmar Schreiner, Markus Schordan, Jens Knoop
BMCBI
2008
115views more  BMCBI 2008»
15 years 7 months ago
Systems biology driven software design for the research enterprise
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...