1991 search results - page 245 / 399 » Using a Coding Standard to Improve Program Quality |
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Object-oriented (OO) software is usually organized into subsystems using the concepts of package or module. Such modular structure helps applications to evolve when faci...
220
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
131
click to vote
CASCON
2007
15 years 3 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
129
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...