Search Sciweavers | Sciweavers

2132 search results - page 6 / 427

» Automated software winnowing

click to vote

SEKE
1993
Springer

88views Software Engineering» more SEKE 1993»

Software Automation

14 years 1 months ago

Download people.cs.uchicago.edu

Daniel E. Cooke

claim paper

Read More »

click to vote

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

14 years 1 months ago

Download www.stubblebine.com

Premkumar T. Devanbu, Stuart G. Stubblebine

claim paper

Read More »

click to vote

IJSEKE
2011

141views more IJSEKE 2011»

Risk Assessment in Multi-disciplinary (Software+) Engineering Projects

13 years 1 months ago

Download publik.tuwien.ac.at

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

claim paper

Read More »

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

14 years 4 months ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

click to vote

IWPC
2007
IEEE

81views Software Engineering» more IWPC 2007»

Recovering Concepts from Source Code with Automated Concept Identification

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers