676 search results - page 57 / 136 » A theory of aspects |
99
Voted
FM
2003
Springer
15 years 5 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 ...
102
Voted
LREC
2008
15 years 2 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...
83
Voted
COMPLEX
2009
Springer
15 years 7 months 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...
100
Voted
CSL
2009
Springer
15 years 7 months 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...
99
Voted
AFRIGRAPH
2004
ACM
15 years 6 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...