596 search results - page 46 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
86
Voted
ASWEC
2001
IEEE
15 years 2 months 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
15 years 4 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
15 years 12 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
14 years 10 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...
111
Voted
COMPSAC
2009
IEEE
15 years 5 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...