1168 search results - page 18 / 234 » cases 2000 |
SIGCSE
2000
ACM
13 years 12 months ago
2000
ACM
The growing maturity of computer graphics technology now makes it possible to view the introductory graphics course in a general computer science curriculum in a new light. Instea...
DIAGRAMS
2000
Springer
13 years 11 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
NDJFL
2000
13 years 7 months ago
2000
Abstract This paper concerns the epistemic status of "Hume's principle"-the assertion that for any concepts Fand G, the number of Fs is the same as the number of Gs ...
ECOOP
2000
Springer
13 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...