380 search results - page 35 / 76 » A Case Study on Partial Evaluation in Embedded Software Desi... |
151
click to vote
XPU
2005
Springer
15 years 11 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
164
click to vote
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
132
click to vote
ECBS
2008
IEEE
15 years 12 months ago
2008
IEEE
Software systems have to provide flexibility by implementing variability. Existing design methodologies do not support means for optimizing the design for variability and for mea...
136
click to vote
ICSM
2007
IEEE
15 years 12 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
188
click to vote
IEE
2011
15 years 13 days ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...