452 search results - page 37 / 91 » Incremental formal design verification |
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
WIKIS
2009
ACM
15 years 4 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
102
click to vote
SSD
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach f...
106
click to vote
ICDE
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach fo...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...