1481 search results - page 176 / 297 » Enriching the Software Development Process by Formal Methods |
127
Voted
OOIS
1994
Springer
15 years 8 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
125
click to vote
CASCON
1996
15 years 5 months ago
1996
: This paper presents an approach for defining evaluation criteria for reusable software components. We introduce a taxonomy of factors that influence selection, describe each of t...
123
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
120
click to vote
JSS
2002
15 years 3 months ago
2002
Modifiability is an important quality for software systems, because a large part of the costs associated with these systems is spent on modifications. The effort, and therefore co...
159
click to vote
WIKIS
2005
ACM
15 years 9 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...