Sciweavers

1655 search results - page 181 / 331
» Visual tool for generative programming
Sort
View
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 6 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
TOOLS
1999
IEEE
15 years 6 months ago
Associations as a Language Construct
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
Kasper Østerbye
ICTAI
2002
IEEE
15 years 7 months ago
A Trace-Scaling Agent for Parallel Application Tracing
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, howeve...
Felix Freitag, Jordi Caubet, Jesús Labarta
125
Voted
KBSE
2008
IEEE
15 years 8 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
IWFM
1998
15 years 3 months ago
Applications of the TAMPR Transformation System
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
Terence J. Harmer, Patrick J. McParland, James M. ...