726 search results - page 68 / 146 » Formal Requirements Engineering: Learning from the Students |
143
click to vote
APSEC
2001
IEEE
15 years 9 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...
142
click to vote
ISESE
2005
IEEE
15 years 11 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...
217
Voted
SIGGRAPH
2003
ACM
15 years 11 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 ...
160
click to vote
MOZ
2004
Springer
15 years 11 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...
205
click to vote
AAAI
2006
15 years 7 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...