Sciweavers

9006 search results - page 159 / 1802
» Modeling Software
Sort
View
ICSE
2000
IEEE-ACM
15 years 11 months ago
Bandera: extracting finite-state models from Java source code
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
ISSRE
2010
IEEE
15 years 5 months ago
As-If Infinitely Ranged Integer Model
Roger B. Dannenberg, Will Dormann, David Keaton, R...
163
Voted
VLSI
2010
Springer
15 years 5 months ago
Towards reverse engineering the brain: Modeling abstractions and simulation frameworks
Jayram Moorkanikara Nageswaran, Micah Richert, Nik...
121
Voted
ICSOFT
2009
15 years 5 months ago
Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model
Takako Nakatani, Shouzo Hori, Michio Tsuda, Mari I...