1014 search results - page 188 / 203 » Testing Object Oriented Software |
ADG
2006
Springer
15 years 1 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
ITIIS
2010
14 years 8 months ago
2010
In ubiquitous computing, invisible devices and software are connected to one another to provide convenient services to users [1][2]. Users hope to obtain a personalized service wh...
TE
2010
14 years 4 months ago
2010
A novel wireless communications systems laboratory course is introduced. The course teaches students how to design, test, and simulate wireless systems using modern instrumentation...
DGO
2007
14 years 11 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
CLEF
2007
Springer
15 years 3 months ago
2007
Springer
We describe the objectives and organization of the CLEF 2007 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual and cross-language textual d...