676 search results - page 57 / 136 » A theory of aspects |
151
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
165
click to vote
LREC
2008
15 years 7 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
135
click to vote
COMPLEX
2009
Springer
16 years 22 days ago
2009
Springer
Investors would like to calculate profits in advance, “ex ante”, like the path of a flying ball. But income can only be given “ex post”, after the money is earned. The pro...
158
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
158
click to vote
AFRIGRAPH
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...