120 search results - page 6 / 24 » Equation-Based Object-Oriented Languages and Tools |
OOPSLA
2001
Springer
14 years 2 days ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
FMOODS
2008
13 years 9 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
ADBIS
2007
Springer
14 years 1 months ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
TOOLS
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
TOOLS
1991
IEEE
13 years 11 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...