4151 search results - page 371 / 831 » Language Driven System Design |
145
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
151
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe an idea to develop interactive narrative with iTV. We propose a framework to deliver television event, usually dramas or cartoons, having multiple and se...
130
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
153
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
134
Voted
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...