1014 search results - page 83 / 203 » Testing Object Oriented Software |
116
click to vote
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
110
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
128
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
141
click to vote
ECOOPW
2008
Springer
15 years 4 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
133
click to vote
ICECCS
1995
IEEE
15 years 5 months ago
1995
IEEE
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction . The pure object-orienteddesign and structured des...