1014 search results - page 83 / 203 » Testing Object Oriented Software |
117
Voted
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 ...
115
Voted
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...
130
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...
143
Voted
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...
138
Voted
ICECCS
1995
IEEE
15 years 6 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...