156
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
125
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
144
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
110
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
