Sciweavers

2132 search results - page 6 / 427
» Automated software winnowing
Sort
View
SEKE
1993
Springer
15 years 6 months ago
Software Automation
Daniel E. Cooke
104
Voted
KBSE
1997
IEEE
15 years 6 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
119
Voted
IJSEKE
2011
141views more  IJSEKE 2011»
14 years 6 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler
90
Voted
ICSR
2009
Springer
15 years 9 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
80
Voted
IWPC
2007
IEEE
15 years 8 months ago
Recovering Concepts from Source Code with Automated Concept Identification
Maurice M. Carey, Gerald C. Gannod