Sciweavers

16790 search results - page 86 / 3358

» A Future for Software Engineering

16

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 1 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

24

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

14 years 1 months ago

Programming with Proofs: Language-Based Approaches to Totally Correct Software

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

21

XPU
2005
Springer

73views Software Engineering» more XPU 2005»

Introduction to Lean Software Development

14 years 1 months ago

Introduction to Lean Software Development

Download blog.crisp.se

Mary Poppendieck, Tom Poppendieck

claim paper

Read More »

17

WOSP
2004
ACM

91views Software Engineering» more WOSP 2004»

A framework for QoS-aware software components

14 years 1 months ago

A framework for QoS-aware software components

Download cs.gmu.edu

Daniel A. Menascé, Honglei Ruan, Hassan Gom...

claim paper

Read More »

24

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

14 years 1 months ago

Static Analysis versus Software Model Checking for Bug Finding

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

« Prev « First page 86 / 3358 Last » Next »