2578 search results - page 272 / 516 » A Family-Oriented Software Development Process for Engine Co... |
135
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
128
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
146
click to vote
CISSE
2008
Springer
15 years 6 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
135
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Oscilloscopes and their cousins, logic analyzers, are the tools of choice for difficult electronic hardware problems. In the hands of a skilled engineer or technician, these tool...
110
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...