6348 search results - page 41 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
121
Voted
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
146
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
117
Voted
KES
2010
Springer
15 years 1 months ago
2010
Springer
The retrieval of similar documents from large scale datasets has been the one of the main concerns in knowledge management environments, such as plagiarism detection, news impact a...
SSIRI
2010
15 years 6 months ago
2010
Areas crucial to life such as medicine, transportation, nuclearenergy research and industry, aeronautics, and others, all make use of software in one way or another. However, the ...
96
Voted
AGILEDC
2008
IEEE
15 years 9 months ago
2008
IEEE
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...