8828 search results - page 378 / 1766 » Formal methods in practice |
172
Voted
ITP
2010
15 years 8 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
179
click to vote
ISIM
2007
15 years 8 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
184
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
181
click to vote
AIEDU
2005
15 years 6 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
163
click to vote
CONCURRENCY
2004
15 years 6 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...