5608 search results - page 475 / 1122 » Structure description tools |
182
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
149
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
171
click to vote
WICSA
2001
15 years 8 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
214
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
191
click to vote
AIEDAM
2002
2002
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
15 years 6 months ago
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...