2578 search results - page 306 / 516 » A Family-Oriented Software Development Process for Engine Co... |
155
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
148
click to vote
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
146
click to vote
IWPSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
134
Voted
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
154
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...