181 search results - page 18 / 37 » Testing Java Components based on Algebraic Specifications |
USS
2008
13 years 9 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
ICSE
2003
IEEE-ACM
14 years 21 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
AVI
2000
13 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
SIAMSC
2011
13 years 1 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...