Sciweavers

22358 search results - page 355 / 4472
» Software Performance Engineering
Sort
View
AMAST
2004
Springer
16 years 21 days ago
Formal JVM Code Analysis in JavaFAN
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...
Azadeh Farzan, José Meseguer, Grigore Rosu
CLEIEJ
2000
101views more  CLEIEJ 2000»
15 years 7 months ago
Keeping the Software Documentation Up to Date in Small Companies
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
Renato Ferrari Pacheco, Rosely Sanches
IWPC
2008
IEEE
16 years 1 months ago
Identifying Word Relations in Software: A Comparative Study of Semantic Similarity Tools
Modern software systems are typically large and complex, making comprehension of these systems extremely difficult. Experienced programmers comprehend code by seamlessly processi...
Giriprasad Sridhara, Emily Hill, Lori L. Pollock, ...
ICSM
2002
IEEE
16 years 7 days ago
A Technique for Dynamic Updating of Java Software
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
Alessandro Orso, Anup Rao, Mary Jean Harrold
SIGSOFT
2010
ACM
15 years 5 months ago
Bridging gaps between developers and testers in globally-distributed software development
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
Mark Grechanik, James A. Jones, Alessandro Orso, A...