Search Sciweavers | Sciweavers

10379 search results - page 6 / 2076

» The Chaos of Software Development

124

click to vote

SCAM
2008
IEEE

215views Software Engineering» more SCAM 2008»

Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking

15 years 9 months ago

Download www.dcs.kcl.ac.uk

Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...

Lei Wang, Qiang Zhang, PengChao Zhao

claim paper

Read More »

110

Voted

SOFTWARE
2002

110views Applied Computing» more SOFTWARE 2002»

Integrating Business and Software Development Models

15 years 3 months ago

Download faculty.salisbury.edu

Christina Wallin, Fredrik Ekdahl, Stig Larsson

claim paper

Read More »

177

Voted

SOFTWARE
2002

230views Applied Computing» more SOFTWARE 2002»

Correctness by Construction: Developing a Commercial Secure System

15 years 3 months ago

Download www.anthonyhall.org

Anthony Hall, Roderick Chapman

claim paper

Read More »

116

Voted

SOFTWARE
2002

110views Applied Computing» more SOFTWARE 2002»

Maintenance-Oriented Design and Development: A Case Study

15 years 3 months ago

Download alarcos.inf-cr.uclm.es

José Pablo Zagal, Raúl A. Santelices...

claim paper

Read More »

112

click to vote

ICSE
2007
IEEE-ACM

122views Software Engineering» more ICSE 2007»

Lean Software Development

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers