968 search results - page 36 / 194 » Software Support Tools and Experimental Work |
CAV
2005
Springer
14 years 1 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...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...