2748 search results - page 114 / 550 » Generating Object-Z Specifications from Use Cases |
108
Voted
COMPGEOM
1996
ACM
15 years 4 months ago
1996
ACM
We show that any simply connected (but not necessarily convex) polyhedron with an even number of quadrilateral sides can be partitioned into O(n) topological cubes, meeting face t...
94
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
118
Voted
EHCI
1998
15 years 1 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
133
Voted
FTCS
1998
15 years 1 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
120
Voted
SIGMOD
2003
ACM
15 years 5 months ago
2003
ACM
Many web sites contain large sets of pages generated using a common template or layout. For example, Amazon lays out the author, title, comments, etc. in the same way in all its b...