1481 search results - page 77 / 297 » Enriching the Software Development Process by Formal Methods |
141
click to vote
AAAI
2008
15 years 5 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
131
Voted
AIME
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
125
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...
123
click to vote
FTCS
1998
15 years 4 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
134
Voted
CLEIEJ
2002
15 years 3 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...