1856 search results - page 136 / 372 » Formal Dialectic Specification |
145
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper briefly describes how ontologies can be used to model, validate and execute IMS Learning Design. The main contribution relies on incorporate the implicit knowledge foun...
117
click to vote
COLT
2008
Springer
15 years 6 months ago
2008
Springer
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
112
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
175
click to vote
ASE
2006
15 years 4 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
140
click to vote
ENTCS
2002
15 years 4 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...