Sciweavers

332 search results - page 2 / 67
» Enhancing Object-Oriented Modeling with Concepts to
Sort
View
DAC
2001
ACM
14 years 5 months ago
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wol...
OOIS
1994
Springer
13 years 9 months ago
OPUS: A Calculus for Modelling Object-Oriented Concepts
Tom Mens, Kim Mens, Patrick Steyaert
IIE
2007
130views more  IIE 2007»
13 years 4 months ago
An Iterative Methodology for Teaching Object Oriented Concepts
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
Irit Hadar, Ethan Hadar
ATAL
2000
Springer
13 years 9 months ago
Generalised Object-Oriented Concepts for Inter-agent Communication
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
CSCW
1996
ACM
13 years 9 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...