Sciweavers

5407 search results - page 14 / 1082

» The Software Engineering Global Model

14

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 25 days ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

21

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

14 years 21 days ago

Static Analysis versus Software Model Checking for Bug Finding

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

23

APSEC
2003
IEEE

90views Software Engineering» more APSEC 2003»

Modeling and Enacting Software Processes Using VRPML

14 years 20 days ago

Modeling and Enacting Software Processes Using VRPML

Download homepages.cs.ncl.ac.uk

Kamal Zuhairi Zamli, Peter Lee

claim paper

Read More »

21

COMPSAC
2003
IEEE

100views Software Engineering» more COMPSAC 2003»

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

14 years 19 days ago

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

Download www.jos.org.cn

Hong Mei, Wei Zhang, Fang Gu

claim paper

Read More »

23

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 17 days ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

« Prev « First page 14 / 1082 Last » Next »