726 search results - page 68 / 146 » Formal Requirements Engineering: Learning from the Students |
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
ISESE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
147
click to vote
SIGGRAPH
2003
ACM
15 years 5 months ago
2003
ACM
eLearning is developing at an ever increasing rate as universities and colleges recognize its vast potential to reach a deeper and fragmented student pool. For a while, eLearning ...
MOZ
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
122
click to vote
AAAI
2006
15 years 1 months ago
2006
OntoSearch, a full-text search engine that exploits ontological knowledge for document retrieval, is presented in this paper. Different from other ontology based search engines, O...