Sciweavers

1180 search results - page 76 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
APSEC
2005
IEEE
15 years 4 months ago
Bugdel: An Aspect-Oriented Debugging System
This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
Yoshiyuki Usui, Shigeru Chiba
SCAM
2003
IEEE
15 years 4 months ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
FSTTCS
2006
Springer
15 years 2 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
VAMOS
2007
Springer
15 years 5 months ago
Modelling Variation in Quality Attributes
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...
Leire Etxeberria, Goiuria Sagardui Mendieta, Lorea...
EWSPT
2003
Springer
15 years 4 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels