2935 search results - page 360 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
209
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
147
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
132
click to vote
CSCW
1992
ACM
15 years 10 months ago
1992
ACM
Although talkhtg is an integral part of collaborative activity, there has been little computer support for acquiring and accessing the contents of conversations. Our approach has ...
140
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
A measure for the quality of software is the extent to which it corresponds to the business objectives and requirements it was designed for. The earlier those who elicit the requir...