Sciweavers

22698 search results - page 3 / 4540

» Modeling in Software Engineering

81

Voted

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

14 years 9 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 »

66

Voted

ICSE
2009
IEEE-ACM

87views Software Engineering» more ICSE 2009»

Genetics as a role model for software variability management

15 years 4 months ago

Genetics as a role model for software variability management

Download www.cs.uoregon.edu

Deepak Dhungana, Iris Groher

claim paper

Read More »

65

ISPW
2005
IEEE

102views Software Engineering» more ISPW 2005»

Integrated Modeling of Business Value and Software Processes

15 years 3 months ago

Integrated Modeling of Business Value and Software Processes

Download www.icsp-conferences.org

Raymond J. Madachy

claim paper

Read More »

55

Voted

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 3 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

76

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 2 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 »