Search Sciweavers | Sciweavers

9006 search results - page 159 / 1802

» Modeling Software

145

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 10 months ago

Download santos.cis.ksu.edu

James C. Corbett, Matthew B. Dwyer, John Hatcliff,...

claim paper

Read More »

140

click to vote

VAMOS
2008
Springer

110views Software Engineering» more VAMOS 2008»

Dealing with Changes in Service-Oriented Computing Through Integrated Goal and Variability Modelling

15 years 7 months ago

Download www.sse.uni-due.de

Roger Clotet, Deepak Dhungana, Xavier Franch, Paul...

claim paper

Read More »

136

click to vote

ISSRE
2010
IEEE

122views Software Engineering» more ISSRE 2010»

As-If Infinitely Ranged Integer Model

15 years 4 months ago

Download www.cert.org

Roger B. Dannenberg, Will Dormann, David Keaton, R...

claim paper

Read More »

137

click to vote

VLSI
2010
Springer

107views Software Engineering» more VLSI 2010»

Towards reverse engineering the brain: Modeling abstractions and simulation frameworks

15 years 4 months ago

Download www.socsci.uci.edu

Jayram Moorkanikara Nageswaran, Micah Richert, Nik...

claim paper

Read More »

103

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers