585 search results - page 20 / 117 » Structured Formal Development in Isabelle |
127
click to vote
JCSS
2011
14 years 6 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
We study a class of scheduling problems which combines the structural aspects associated with task dependencies, with the dynamic aspects associated with ongoing streams of request...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
CJ
2006
14 years 11 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
109
click to vote
AAAI
2008
15 years 2 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...