1278 search results - page 117 / 256 » Ontology Engineering for Product Development |
178
click to vote
TREC
2003
15 years 7 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
166
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Participation from all stakeholders is important in a successful software development project, especially if the development project is complex and has many stakeholders. Identify...
193
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
213
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
178
click to vote
ICIS
2001
15 years 7 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...