12107 search results - page 201 / 2422 » Software That Can Think |
155
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
183
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
167
click to vote
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently the awareness of the importance of replicating studies has been growing in the empirical software engineering community. The results of any one study cannot simply be ext...
149
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
214
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...