2253 search results - page 394 / 451 » An Approach to Specifying Software Frameworks |
114
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
117
Voted
LISA
2004
15 years 5 months ago
2004
Spyware is a rapidly spreading problem for PC users causing significant impact on system stability and privacy concerns. It attaches to extensibility points in the system to ensur...
144
Voted
IIE
2007
15 years 3 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
159
Voted
TAPOS
1998
15 years 3 months ago
1998
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
121
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...