2105 search results - page 91 / 421 » Decoupling in Object Orientation |
168
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
139
click to vote
SAS
2004
Springer
15 years 9 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 ...
140
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...