1168 search results - page 18 / 234 » cases 2000 |
92
Voted
SIGCSE
2000
ACM
15 years 6 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
15 years 6 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...
118
Voted
LPAR
2000
Springer
15 years 5 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...
97
Voted
NDJFL
2000
15 years 1 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 ...
166
click to vote
ECOOP
2000
Springer
15 years 6 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 ...