Search Sciweavers | Sciweavers

4919 search results - page 11 / 984

» A Process-Ontological Model for Software Engineering

151

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

16 years 15 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

155

Voted

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

16 years 11 days ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

154

click to vote

APSEC
2003
IEEE

90views Software Engineering» more APSEC 2003»

Modeling and Enacting Software Processes Using VRPML

16 years 10 days ago

Download homepages.cs.ncl.ac.uk

Kamal Zuhairi Zamli, Peter Lee

claim paper

Read More »

154

click to vote

COMPSAC
2003
IEEE

100views Software Engineering» more COMPSAC 2003»

A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines

16 years 10 days ago

Download www.jos.org.cn

Hong Mei, Wei Zhang, Fang Gu

claim paper

Read More »

172

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers