Sciweavers

22698 search results - page 3 / 4540

» Modeling in Software Engineering

13

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 4 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 »

16

ICSE
2009
IEEE-ACM

87views Software Engineering» more ICSE 2009»

Genetics as a role model for software variability management

14 years 17 hour ago

Genetics as a role model for software variability management

Download www.cs.uoregon.edu

Deepak Dhungana, Iris Groher

claim paper

Read More »

7

ISPW
2005
IEEE

102views Software Engineering» more ISPW 2005»

Integrated Modeling of Business Value and Software Processes

13 years 10 months ago

Integrated Modeling of Business Value and Software Processes

Download www.icsp-conferences.org

Raymond J. Madachy

claim paper

Read More »

7

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

13 years 10 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

14

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

13 years 10 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 »