Search Sciweavers | Sciweavers

4919 search results - page 11 / 984

» A Process-Ontological Model for Software Engineering

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 26 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

14 years 22 days ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

click to vote

APSEC
2003
IEEE

90views Software Engineering» more APSEC 2003»

Modeling and Enacting Software Processes Using VRPML

14 years 21 days ago

Download homepages.cs.ncl.ac.uk

Kamal Zuhairi Zamli, Peter Lee

claim paper

Read More »

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

14 years 21 days ago

Download www.jos.org.cn

Hong Mei, Wei Zhang, Fang Gu

claim paper

Read More »

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers