1597 search results - page 24 / 320 » A Design Method for Object-Oriented Programming |
100
click to vote
TOOLS
1998
IEEE
15 years 2 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...
119
click to vote
ITCC
2002
IEEE
15 years 2 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
FM
2005
Springer
15 years 3 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...