1573 search results - page 48 / 315 » Signs and Formal Concepts |
ACTA
1998
13 years 9 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
ASWEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segmenting an array in up to K segments. We want segments to be as monotonic as po...
ASWEC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...