1676 search results - page 12 / 336 » Formal System Development with KIV |
MRCO
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
PR
2007
14 years 11 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
AAMAS
2004
Springer
14 years 11 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
100
click to vote
ENTCS
2007
14 years 11 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
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...