Sciweavers

1606 search results - page 222 / 322
» XML-based programming language modeling: An approach to soft...
Sort
View
UML
1997
Springer
14 years 2 months ago
Systems, Views and Models of UML
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...
AOSD
2010
ACM
14 years 5 months ago
EffectiveAdvice: disciplined advice with explicit effects
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
Bruno C. d. S. Oliveira, Tom Schrijvers, William R...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
Gergely Pintér, István Majzik
LCTRTS
2010
Springer
14 years 5 months ago
Sampling-based program execution monitoring
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
Sebastian Fischmeister, Yanmeng Ba
ICSE
2008
IEEE-ACM
14 years 10 months ago
Jigsaw: a tool for the small-scale reuse of source code
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
Jörg Denzinger, Robert J. Walker, Rylan Cottr...