3558 search results - page 15 / 712 » Object-Oriented Programming on the Network |
ICCL
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
JOT
2010
13 years 6 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 ...
CP
2005
Springer
14 years 1 months ago
2005
Springer
ANSS
2004
IEEE
13 years 11 months ago
2004
IEEE
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...