Sciweavers

6343 search results - page 418 / 1269
» Development of a Cartographic Language
Sort
View
ECOOP
1999
Springer
15 years 11 months ago
A Core Calculus of Classes and Mixins
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
Viviana Bono, Amit Patel, Vitaly Shmatikov
TOOLS
1999
IEEE
15 years 11 months ago
A Survey of Schema Evolution in Object-Oriented Databases
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
Xue Li
IFIP
1999
Springer
15 years 11 months ago
Virtual environments in educational networks
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
Christos Bouras, Agisilaos Konidaris, Afrodite Sev...
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 11 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
AMAST
1998
Springer
15 years 11 months ago
Architectural Specifications in CASL
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
Michel Bidoit, Donald Sannella, Andrzej Tarlecki