30 search results - page 6 / 6 » Linking CSP-OZ with UML and Java: A Case Study |
TOOLS
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
ANSOFT
2002
13 years 4 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
RTAS
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
DAGSTUHL
2004
13 years 6 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...