3993 search results - page 413 / 799 » Matchmaking for Structured Objects |
145
click to vote
VVEIS
2008
15 years 6 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
147
click to vote
BXML
2003
15 years 6 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
147
Voted
ECIS
2001
15 years 6 months ago
2001
Internet-mediated virtual teamworking is increasingly becoming an integral part of the work life for many people in information societies. This paper reports an investigation on t...
148
Voted
SCM
2001
15 years 6 months ago
2001
This paper examines the relations between software architecture and software configuration management. These disciplines overlap because they are both concerned with the structure ...
137
Voted
IWFM
1998
15 years 6 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...