1229 search results - page 59 / 246 » Reflections on the Design of a Specification language |
SIGCSE
1995
ACM
13 years 11 months ago
1995
ACM
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...
CLEIEJ
2002
13 years 8 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
JOT
2007
13 years 8 months ago
2007
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
ECOOPWEXCEPTION
2000
Springer
13 years 11 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...
ESOP
1992
Springer
14 years 7 days ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...