4211 search results - page 114 / 843 » A formal approach to MASQ |
108
click to vote
ENTCS
2008
15 years 25 days ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
86
Voted
ENTCS
2008
15 years 25 days ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
103
click to vote
JSS
2006
15 years 21 days ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
195
Voted
LISP
2006
15 years 21 days ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
199
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...