585 search results - page 14 / 117 » Structured Formal Development in Isabelle |
100
Voted
JOT
2008
14 years 11 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
113
click to vote
CORR
1998
Springer
14 years 11 months ago
1998
Springer
This paper presents a multidimensional Dependency Grammar (DG), which decouples the dependency tree from word order, such that surface ordering is not determined by traversing the...
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
105
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...