92 search results - page 6 / 19 » Understanding Object Oriented Software Systems without Sourc... |
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
VMCAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
TOOLS
1999
IEEE
13 years 11 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independe...