Sciweavers

22698 search results - page 3 / 4540

» Modeling in Software Engineering

150

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 5 months ago

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

147

ICSE
2009
IEEE-ACM

87views Software Engineering» more ICSE 2009»

Genetics as a role model for software variability management

16 years 27 days ago

Genetics as a role model for software variability management

Download www.cs.uoregon.edu

Deepak Dhungana, Iris Groher

claim paper

Read More »

129

ISPW
2005
IEEE

102views Software Engineering» more ISPW 2005»

Integrated Modeling of Business Value and Software Processes

15 years 11 months ago

Integrated Modeling of Business Value and Software Processes

Download www.icsp-conferences.org

Raymond J. Madachy

claim paper

Read More »

130

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

149

Voted

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 11 months 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 3 / 4540 Last » Next »