1001 search results - page 34 / 201 » Myths in Software Engineering: From the Other Side |
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
115
click to vote
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
EWSPT
2003
Springer
15 years 5 months ago
2003
Springer
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
RE
2007
Springer
14 years 11 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
112
click to vote
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
We present four approaches to the Amharic - French bilingual track at CLEF 2005. All experiments use a dictionary based approach to translate the Amharic queries into French Bags-...