298 search results - page 40 / 60 » Development and Application of Design Transformations in For... |
108
Voted
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
136
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
150
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
105
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
164
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...