4 search results - page 1 / 1 » An Object-Oriented Framework for Block Preconditioning |
TOMS
1998
13 years 5 months ago
1998
JOT
2010
13 years 3 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
ECOOP
2010
Springer
13 years 8 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
DAI
1995
Springer
13 years 9 months ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...