Sciweavers

16541 search results - page 88 / 3309

» Ontologies and Software Engineering

105

Voted

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 10 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

121

Voted

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

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

15 years 10 months ago

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

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

104

Voted

XPU
2005
Springer

73views Software Engineering» more XPU 2005»

Introduction to Lean Software Development

15 years 10 months ago

Introduction to Lean Software Development

Download blog.crisp.se

Mary Poppendieck, Tom Poppendieck

claim paper

Read More »

112

Voted

WOSP
2004
ACM

91views Software Engineering» more WOSP 2004»

A framework for QoS-aware software components

15 years 10 months ago

A framework for QoS-aware software components

Download cs.gmu.edu

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

claim paper

Read More »

120

Voted

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 10 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 88 / 3309 Last » Next »