Search Sciweavers | Sciweavers

16725 search results - page 37 / 3345

» Engineering Software Correctness

147

click to vote

SPIN
2007
Springer

134views Theoretical Computer Science» more SPIN 2007»

Model Extraction for ARINC 653 Based Avionics Software

15 years 9 months ago

Download spinroot.com

One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...

Pedro de la Cámara, María-del-Mar Ga...

claim paper

Read More »

click to vote

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Software Variability Management

16 years 2 months ago

Download www.janbosch.com

Jan Bosch

claim paper

Read More »

120

click to vote

ICSE
2007
IEEE-ACM

80views Software Engineering» more ICSE 2007»

Software Deployment, Past, Present and Future

16 years 2 months ago

Download www.cs.st-andrews.ac.uk

Alan Dearle

claim paper

Read More »

149

click to vote

ICSE
2007
IEEE-ACM

360views Software Engineering» more ICSE 2007»

Software Testing Research: Achievements, Challenges, Dreams

16 years 2 months ago

Download www.cs.ucla.edu

Antonia Bertolino

claim paper

Read More »

108

click to vote

ICSE
2007
IEEE-ACM

122views Software Engineering» more ICSE 2007»

Lean Software Development

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers