518 search results - page 2 / 104 » Specification, Implementation, and Validation of Object-Orie... |
PDSE
1998
13 years 7 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
ACSC
2000
IEEE
13 years 9 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
ECOOPWEXCEPTION
2000
Springer
13 years 9 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
JCC
2008
13 years 6 months ago
2008
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
DATE
2000
IEEE
13 years 10 months ago
2000
IEEE
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...