1021 search results - page 78 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
WCRE
2000
IEEE
15 years 3 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
TOSEM
2002
14 years 11 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
116
click to vote
SIGSOFT
2003
ACM
16 years 3 hour ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
VLSID
2003
IEEE
15 years 11 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...