1137 search results - page 51 / 228 » Disciplined Methods of Software Specification: A Case Study |
ACE
2003
14 years 11 months ago
2003
There is a large body of research that indicates the practice of cheating amongst students in the tertiary sector is widespread. Various studies have also attempted to determine r...
ICFEM
2000
Springer
15 years 1 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
BMCBI
2008
14 years 9 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...