7027 search results - page 597 / 1406 » Software process: a roadmap |
239
Voted
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
173
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
196
click to vote
ESEM
2008
ACM
15 years 9 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
232
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
196
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...