4469 search results - page 281 / 894 » A Language for Role Specifications |
164
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
188
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...
140
click to vote
SIGADA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
166
click to vote
SIGCSE
1996
ACM
15 years 10 months ago
1996
ACM
Over the last ten years there has been a major shift in programming language design from procedural languages to object-oriented languages. Most universities have adopted an objec...