Sciweavers

599 search results - page 46 / 120
» Interpreting the Object Constraint Language
Sort
View
JUCS
2006
103views more  JUCS 2006»
14 years 11 months ago
An Object Model for Interoperable Systems
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
Alcides Calsavara, Aaron Borges, Leonardo Nunes, D...
ECOOP
2004
Springer
15 years 5 months ago
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
Robert DeLine, Manuel Fähndrich
AAAI
2007
15 years 2 months ago
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of m...
Jie Bao, Giora Slutzki, Vasant Honavar
IUI
2005
ACM
15 years 5 months ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
VLC
2008
88views more  VLC 2008»
14 years 11 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn