521 search results - page 11 / 105 » Object-Oriented Modeling of Object-Oriented Concepts |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
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'...
ER
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
SSDBM
1992
IEEE
13 years 11 months ago
1992
IEEE
Ecological surveys generate large quantities of data database technology has not yet reached its full potential in this area. Here we investigate approaches to modelling ecologica...
FMSD
2007
13 years 7 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
ECOOPW
2000
Springer
14 years 7 hour ago
2000
Springer
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer su...