Sciweavers

15824 search results - page 40 / 3165

» Specialising in Software Engineering

112

RE
2005
Springer

106views Software Engineering» more RE 2005»

Dependable Software: An Oxymoron&

15 years 11 months ago

Dependable Software: An Oxymoron&

Download people.csail.mit.edu

Daniel Jackson

claim paper

Read More »

126

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

135

Voted

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

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

15 years 11 months ago

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

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

123

XPU
2005
Springer

73views Software Engineering» more XPU 2005»

Introduction to Lean Software Development

15 years 11 months ago

Introduction to Lean Software Development

Download blog.crisp.se

Mary Poppendieck, Tom Poppendieck

claim paper

Read More »

124

WOSP
2004
ACM

91views Software Engineering» more WOSP 2004»

A framework for QoS-aware software components

15 years 11 months ago

A framework for QoS-aware software components

Download cs.gmu.edu

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

claim paper

Read More »

« Prev « First page 40 / 3165 Last » Next »