1782 search results - page 135 / 357 » Tool Support for Proof Engineering |
142
click to vote
IWPC
2005
IEEE
16 years 15 hour ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
137
click to vote
VAMOS
2007
Springer
16 years 16 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
151
click to vote
EXACT
2007
15 years 8 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
169
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
144
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...