585 search results - page 93 / 117 » Structured Formal Development in Isabelle |
140
click to vote
ICTAI
2008
IEEE
15 years 6 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
106
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
MTSR
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
SEKE
2007
Springer
15 years 5 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
101
click to vote
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...