Sciweavers

15778 search results - page 258 / 3156
» Aikido and software engineering
Sort
View
SOCO
1998
Springer
15 years 6 months ago
Reducing signed propositional formulas
Gabriel Aguilera, Inman P. de Guzmán, Manue...
ISSRE
2010
IEEE
15 years 5 months ago
As-If Infinitely Ranged Integer Model
Roger B. Dannenberg, Will Dormann, David Keaton, R...
IWPC
2010
IEEE
15 years 5 months ago
Connecting Traces: Understanding Client-Server Interactions in Ajax Applications
Nick Matthijssen, Andy Zaidman, Margaret-Anne D. S...
KBSE
2010
IEEE
15 years 5 months ago
Security-driven model-based dynamic adaptation
Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yv...