7139 search results - page 105 / 1428 » Language Engineering in Practice |
137
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
131
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Templates are a very common solution to generate code. They are used for different tasks like rendering webpages, creating Java Beans and so on. Most template systems have no noti...
146
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
151
click to vote
IRAL
2000
ACM
15 years 7 months ago
2000
ACM
With the worldwide growth of the Internet, research on Cross-Language Information Retrieval (CLIR) is being paid much attention. Existing CLIR approaches based on query translatio...
106
click to vote
MTSR
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...