1419 search results - page 128 / 284 » Notes on Formalizing Context |
98
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
87
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
118
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
100
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
102
click to vote
ACCV
2007
Springer
15 years 7 months ago
2007
Springer
The problem of colour image segmentation is investigated in the context of mathematical morphology. Morphological operators are extended to colour images by means of a lexicographi...