16725 search results - page 3171 / 3345 » Engineering Software Correctness |
130
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes the participation of the Technical University of Catalonia in the CLEF 2008 Question Answering on Speech Transcripts track. We have participated in the Englis...
140
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
143
Voted
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
125
Voted
EGOV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
144
Voted
IE
2007
15 years 5 months ago
2007
How can we help people design well-formed and innovative games? The design Patterns of Christopher Alexander is one methodology that has been proposed to assist in the design of w...