1146 search results - page 65 / 230 » Formal Specification Generation from Requirement Documents |
186
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
Labeling schemes lie at the core of query processing for many XML database management systems. Designing labeling schemes for dynamic XML documents is an important problem that ha...
182
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
In OCR systems the character segmentation algorithm may generate mis-segmented blocks. Feedback information from character classifier is indispensable to achieve higher character ...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
14 years 11 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...