3185 search results - page 483 / 637 » Principles for modeling language design |
149
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
119
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
142
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
154
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
220
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Declarative data quality has been an active research topic. The fundamental principle behind a declarative approach to data quality is the use of declarative statements to realize...