518 search results - page 84 / 104 » Automating Proofs in Category Theory |
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
SIGSOFT
2005
ACM
16 years 15 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
CHI
2005
ACM
16 years 4 days ago
2005
ACM
The Cognitive Walkthrough for the Web (CWW) is a partially automated usability evaluation method for identifying and repairing website navigation problems. Building on five earlie...
216
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...