Sciweavers

15783 search results - page 19 / 3157
» Evidence-Based Software Engineering
Sort
View
VSTTE
2010
Springer
13 years 7 months ago
Abstraction and Refinement for Local Reasoning
Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...
ICSE
2009
IEEE-ACM
13 years 7 months ago
A formal model for self-adaptive and self-healing organizations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
ICSOFT
2009
13 years 7 months ago
A Knowledge Base for Justified Information Security Decision-making
Daria Stepanova, Simon Edward Parkin, Aad P. A. va...