Sciweavers

859 search results - page 86 / 172
» Explaining Synthesized Software
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
14 years 1 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
EDBTW
2006
Springer
14 years 1 months ago
Twelve Theses on Reactive Rules for the Web
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
François Bry, Michael Eckert
COMPSAC
2001
IEEE
14 years 1 months ago
Integrating White- and Black-Box Techniques for Class-Level Regression Testing
In recent years, several techniques have been proposed for class-level regression testing. Most of these techniques focus either on white- or black-box testing, although an integr...
Sami Beydeda, Volker Gruhn
EWSPT
2000
Springer
14 years 1 months ago
Advanced Services for Process Evolution: Monitoring and Decision Support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
Ilham Alloui, Sami Beydeda, Sorana Cîmpan, V...
TOOLS
2000
IEEE
14 years 1 months ago
Applying the Lessons of eXtreme Programming
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
Pete McBreen