Sciweavers

Share
EMSOFT
2011
Springer
8 years 5 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
VISSOFT
2002
IEEE
9 years 10 months ago
Runtime Visualisation of Object Oriented Software
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
Michael P. Smith, Malcolm Munro
ICSM
2009
IEEE
10 years 16 days ago
Senseo: Enriching Eclipse's static source views with dynamic metrics
Maintaining object-oriented systems that use inheritance and polymorphism is dif´Čücult, since runtime information, such as which methods are actually invoked at a call site, is n...
David Röthlisberger, Marcel Harry, Alex Villa...
books