Sciweavers

15783 search results - page 19 / 3157
» Evidence-Based Software Engineering
Sort
View
VSTTE
2010
Springer
14 years 11 months ago
Abstraction and Refinement for Local Reasoning
Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...
71
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
A formal model for self-adaptive and self-healing organizations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
94
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mi...
ICSOFT
2009
14 years 11 months ago
A Knowledge Base for Justified Information Security Decision-making
Daria Stepanova, Simon Edward Parkin, Aad P. A. va...