84 search results - page 1 / 17 » Object-Oriented System Specification Using Defaults |
ISKI
1994
13 years 8 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
ECOOPWEXCEPTION
2000
Springer
13 years 8 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...
ACSC
2000
IEEE
13 years 8 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...
ECOOP
1999
Springer
13 years 8 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
CSMR
2008
IEEE
13 years 6 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...