Sciweavers

1675 search results - page 187 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
TPHOL
2003
IEEE
15 years 10 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
148
Voted
TOOLS
1999
IEEE
15 years 9 months ago
Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
Susan Lilly
TOOLS
1999
IEEE
15 years 9 months ago
Optimizing Object-Oriented Collection Join Queries through Path Traversals
Path traversals have been recognized as one of the strengths of object-oriented query processing as object retrieval can be carried out through pointer navigation. Apart from path...
David Taniar
TOOLS
1998
IEEE
15 years 9 months ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
VL
1994
IEEE
169views Visual Languages» more  VL 1994»
15 years 9 months ago
Bending Icons: Syntactic and Semantic Transformations of Icons
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
Alexander Repenning