1782 search results - page 160 / 357 » Tool Support for Proof Engineering |
195
click to vote
ICSM
2006
IEEE
16 years 15 days ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
152
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
121
click to vote
ICDIM
2007
IEEE
16 years 24 days ago
2007
IEEE
The growing interest for the design and development of multi-agent systems has brought to the creation of a specific research area called Agent-Oriented Software Engineering (AOS...
156
click to vote
FASE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
172
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...