15777 search results - page 651 / 3156 » The Reformulation-Optimization Software Engine |
173
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
158
click to vote
OSS
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a reference model for open source software (OSS) processes and its application towards discovering such processes from OSS project artifacts. This reference mo...
177
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
This paper discusses a procedure for reviewing code changes that are made to a software product as it moves through its life cycle. In this procedure the technical manager reviews...
146
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
226
click to vote
ESEM
2009
ACM
15 years 4 months ago
2009
ACM
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...