1199 search results - page 32 / 240 » Software Verification and Software Engineering a Practitione... |
149
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Diversity of skills is good for society, it is also good in problem solving because different people see a problem from several perspectives, so diversity should be good for softw...
144
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...
116
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
172
click to vote
MKWI
2008
15 years 5 months ago
2008
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
119
click to vote
METRICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...