Sciweavers

CGF
2008
77views more  CGF 2008»
13 years 4 months ago
A Screen Space Quality Method for Data Abstraction
Space Quality Method for Data Abstraction J. Johansson and M. Cooper Norrk
Jimmy Johansson, Matthew Cooper
FMOODS
2008
13 years 6 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
CIE
2005
Springer
13 years 6 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian
ECOOP
1987
Springer
13 years 8 months ago
What is "Object-Oriented Programming?"
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
Bjarne Stroustrup
ECAI
2006
Springer
13 years 8 months ago
Environment-Driven Skeletal Plan Execution for the Medical Domain
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
Peter Votruba, Andreas Seyfang, Michael Paesold, S...
ADAEUROPE
2003
Springer
13 years 9 months ago
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
Ehud Lamm
GRAPHITE
2003
ACM
13 years 9 months ago
A framework for a dynamic interactive 3D GIS for non-expert users
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
Arron R. Walker, Binh Pham, Anthony J. Maeder