6800 search results - page 652 / 1360 » Testing with Functions as Specifications |
202
click to vote
WCRE
2003
IEEE
16 years 16 days ago
2003
IEEE
Despite their potential applications in software comprehension, it appears that dynamic visualisation tools are seldom used outside the research laboratory. This paper presents an...
190
Voted
CAISE
2003
Springer
16 years 15 days ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
198
Voted
GECCO
2003
Springer
16 years 15 days ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
211
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
198
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...