Sciweavers

15860 search results - page 51 / 3172

» Agent-Based Software Engineering

122

Voted

ICSE
2005
IEEE-ACM

99views Software Engineering» more ICSE 2005»

Software visualization

15 years 8 months ago

Software visualization

Download www.cg.tuwien.ac.at

Stephan Diehl

claim paper

Read More »

83

Voted

RE
2005
Springer

106views Software Engineering» more RE 2005»

Dependable Software: An Oxymoron&

15 years 8 months ago

Dependable Software: An Oxymoron&

Download people.csail.mit.edu

Daniel Jackson

claim paper

Read More »

80

Voted

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 8 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

105

Voted

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

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

15 years 8 months ago

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

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

84

Voted

XPU
2005
Springer

73views Software Engineering» more XPU 2005»

Introduction to Lean Software Development

15 years 8 months ago

Introduction to Lean Software Development

Download blog.crisp.se

Mary Poppendieck, Tom Poppendieck

claim paper

Read More »

« Prev « First page 51 / 3172 Last » Next »