Search Sciweavers | Sciweavers

9974 search results - page 262 / 1995

» Software Interconnection Models

161

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 10 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

147

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 »

143

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 8 months ago

Download www.sse.uni-due.de

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

claim paper

Read More »

138

click to vote

ISSRE
2010
IEEE

122views Software Engineering» more ISSRE 2010»

As-If Infinitely Ranged Integer Model

15 years 5 months ago

Download www.cert.org

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

claim paper

Read More »

143

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers