Search Sciweavers | Sciweavers

10379 search results - page 6 / 2076

» The Chaos of Software Development

click to vote

SCAM
2008
IEEE

215views Software Engineering» more SCAM 2008»

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

14 years 2 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 »

click to vote

SOFTWARE
2002

110views Applied Computing» more SOFTWARE 2002»

Integrating Business and Software Development Models

13 years 7 months ago

Download faculty.salisbury.edu

Christina Wallin, Fredrik Ekdahl, Stig Larsson

claim paper

Read More »

click to vote

SOFTWARE
2002

230views Applied Computing» more SOFTWARE 2002»

Correctness by Construction: Developing a Commercial Secure System

13 years 7 months ago

Download www.anthonyhall.org

Anthony Hall, Roderick Chapman

claim paper

Read More »

click to vote

SOFTWARE
2002

110views Applied Computing» more SOFTWARE 2002»

Maintenance-Oriented Design and Development: A Case Study

13 years 7 months ago

Download alarcos.inf-cr.uclm.es

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

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

122views Software Engineering» more ICSE 2007»

Lean Software Development

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers