5961 search results - page 673 / 1193 » Design Science and Software Engineering |
169
click to vote
OORASE
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
177
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
184
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
157
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
203
click to vote
ICFEM
1998
Springer
15 years 11 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...