Sciweavers

2118 search results - page 143 / 424
» Execution of A Requirement Model in Software Development
Sort
View
ISSTA
2006
ACM
15 years 11 months 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
15 years 11 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
141
Voted
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
15 years 11 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
15 years 11 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 5 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...