Sciweavers

9018 search results - page 23 / 1804

» 3D-Brain Model Software

37

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 3 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

20

COMPSAC
2002
IEEE

79views Software Engineering» more COMPSAC 2002»

The Software Engineering Global Model

14 years 2 months ago

The Software Engineering Global Model

Download www.cse.dmu.ac.uk

Claudine Toffolon, Salem Dakhli

claim paper

Read More »

18

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

14 years 2 months ago

Behavioural Concern Modelling for Software Change Tasks

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

23

APSEC
2000
IEEE

95views Software Engineering» more APSEC 2000»

Building Formal Models for Software Requirements

14 years 2 months ago

Building Formal Models for Software Requirements

Download plone.mat.univie.ac.at

Axel van Lamsweerde

claim paper

Read More »

28

WCRE
1999
IEEE

105views Software Engineering» more WCRE 1999»

On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software

14 years 2 months ago

On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software

Download www.cs.tut.fi

Tarja Systä

claim paper

Read More »

« Prev « First page 23 / 1804 Last » Next »