585 search results - page 27 / 117 » Structured Formal Development in Isabelle |
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
122
click to vote
ICFP
2010
ACM
15 years 25 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
ELPUB
1997
ACM
15 years 4 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
WSC
2008
15 years 2 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...