Sciweavers

34 search results - page 1 / 7
» UML-F: A Modeling Language for Object-Oriented Frameworks
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...
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
13 years 8 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
ECOOP
2000
Springer
13 years 9 months ago
UML-F: A Modeling Language for Object-Oriented Frameworks
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
FLOPS
2006
Springer
13 years 8 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
UML
1997
Springer
13 years 8 months ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse