Search Sciweavers | Sciweavers

22698 search results - page 12 / 4540

» Modeling in Software Engineering

113

click to vote

ICSE
2003
IEEE-ACM

116views Software Engineering» more ICSE 2003»

Architectural Interaction Diagrams: AIDs for System Modeling

16 years 6 months ago

Download www.cs.sunysb.edu

Arnab Ray, Rance Cleaveland

claim paper

Read More »

118

click to vote

ICSE
2004
IEEE-ACM

110views Software Engineering» more ICSE 2004»

Calculating Architectural Reliability via Modeling and Analysis

16 years 6 months ago

Download fac-staff.seattleu.edu

Roshanak Roshandel

claim paper

Read More »

132

Voted

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

16 years 29 days ago

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

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

115

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 21 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

107

Voted

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers