8398 search results - page 1202 / 1680 » Optimal Software Testing |
174
click to vote
AGILEDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Systematic is an agile company working at CMMI level 5, where the default way of working is based on Scrum and story based early testing development. Solid experiences in combinin...
215
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
217
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
201
click to vote
ICRA
2005
IEEE
16 years 20 days ago
2005
IEEE
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...
224
click to vote
IUI
2004
ACM
16 years 15 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...