596 search results - page 46 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
ASWEC
2001
IEEE
14 years 22 days ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to navigate through iss...
ISJ
2002
13 years 8 months ago
2002
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
COMPSAC
2009
IEEE
14 years 3 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...