Search Sciweavers | Sciweavers

16725 search results - page 638 / 3345

» Engineering Software Correctness

122

click to vote

ICSE
2010
IEEE-ACM

189views Software Engineering» more ICSE 2010»

Adinda: a knowledgeable, browser-based IDE

16 years 13 hour ago

Download swerl.tudelft.nl

Arie van Deursen, Ali Mesbah, Bas Cornelissen, And...

claim paper

Read More »

108

click to vote

ICSE
2009
IEEE-ACM

81views Software Engineering» more ICSE 2009»

Deconstructing concurrency heisenbugs

15 years 11 months ago

Download cadlab.cs.ucla.edu

Thomas Ball, Sebastian Burckhardt, Jonathan de Hal...

claim paper

Read More »

155

click to vote

ICSE
2009
IEEE-ACM

106views Software Engineering» more ICSE 2009»

An Experimental Study of Methods for Executing Test Suites in Memory Constrained Environments

15 years 11 months ago

Download ast2009.com

Suvarshi Bhadra, Alexander P. Conrad, Charles Hurk...

claim paper

Read More »

139

click to vote

ADAEUROPE
2001
Springer

84views Software Engineering» more ADAEUROPE 2001»

Migrating Large Applications from Ada83 to Ada95

15 years 11 months ago

Download people.cs.kuleuven.be

Philippe Waroquiers, Stef van Vlierberghe, Dirk Cr...

claim paper

Read More »

146

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers