658 search results - page 13 / 132 » A formal approach to object-oriented software engineering |
IWPC
2000
IEEE
14 years 29 days 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...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
WCRE
2005
IEEE
14 years 2 months ago
2005
IEEE
Software decay is a phenomenon that plagues aging software systems. While in recent years, there has been significant progress in the area of automatic detection of “code smells...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...