Search Sciweavers | Sciweavers

22698 search results - page 12 / 4540

» Modeling in Software Engineering

click to vote

ICSE
2003
IEEE-ACM

116views Software Engineering» more ICSE 2003»

Architectural Interaction Diagrams: AIDs for System Modeling

14 years 7 months ago

Download www.cs.sunysb.edu

Arnab Ray, Rance Cleaveland

claim paper

Read More »

click to vote

ICSE
2004
IEEE-ACM

110views Software Engineering» more ICSE 2004»

Calculating Architectural Reliability via Modeling and Analysis

14 years 7 months ago

Download fac-staff.seattleu.edu

Roshanak Roshandel

claim paper

Read More »

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

14 years 2 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

14 years 1 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

click to vote

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers