2165 search results - page 182 / 433 » Cooperative Software Development: Concepts, Model and Tools |
194
click to vote
FMSD
2002
15 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
188
click to vote
SEUS
2008
IEEE
16 years 27 days ago
2008
IEEE
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...
166
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
182
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
173
click to vote
MMB
1999
Springer
15 years 10 months ago
1999
Springer
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...