Search Sciweavers | Sciweavers

9832 search results - page 132 / 1967

» An Object Model for Multiprogramming

121

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 9 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

110

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

15 years 9 months ago

Download www.cs.sunysb.edu

Ruth Breu, Radu Grosu

claim paper

Read More »

117

click to vote

UML
1997
Springer

109views Natural Language Processing» more UML 1997»

Using UML for Business Object Based Systems Modeling

15 years 9 months ago

Download www.agusa.nuie.nagoya-u.ac.jp

Axel Korthaus

claim paper

Read More »

128

click to vote

ISKI
1994

134views Information Technology» more ISKI 1994»

Modelling Information Systems as Object Societies

15 years 9 months ago

Download wwwiti.cs.uni-magdeburg.de

Gunter Saake, Thorsten Hartmann

claim paper

Read More »

138

Voted

OOIS
1994
Springer

184views Information Technology» more OOIS 1994»

OPUS: A Calculus for Modelling Object-Oriented Concepts

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers