4498 search results - page 300 / 900 » How to Invent Functions |
161
Voted
ICFEM
1998
Springer
15 years 9 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
128
Voted
TOOLS
1997
IEEE
15 years 9 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
147
Voted
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
123
click to vote
ITC
1996
IEEE
15 years 9 months ago
1996
IEEE
While technology is changing the face of the world, it itself is changing by leaps and bounds; there is a continuing trend to put more functionality on the same piece of silicon. ...
134
click to vote
CHI
1993
ACM
15 years 9 months ago
1993
ACM
In order to inform the design of technology support and new procedural methodsfor softwaredesign,we analyzed the content of real design meetingsin threeorganizations, focusing in ...