4469 search results - page 703 / 894 » A Language for Role Specifications |
193
click to vote
IJES
2006
15 years 6 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
168
click to vote
IR
2006
15 years 6 months ago
2006
When searching for health information, results quality can be judged against available scientific evidence: Do search engines return advice consistent with evidence based medicine...
158
click to vote
JFP
2006
15 years 6 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
177
click to vote
JIIS
2006
15 years 6 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
164
click to vote
SCP
2008
15 years 6 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...