Search Sciweavers | Sciweavers

9006 search results - page 44 / 1802

» Modeling Software

153

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

A Survey of Good Practices and Misuses for Modelling with i* Framework

16 years 29 days ago

Download wer.inf.puc-rio.br

Ilca Webster, Juliana Amaral, Luiz Márcio C...

claim paper

Read More »

155

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 25 days ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

138

click to vote

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

16 years 24 days ago

Download www.spec.org

Jerry Rolia, Amir Kalbasi, Diwakar Krishnamurthy, ...

claim paper

Read More »

120

click to vote

ICSM
2003
IEEE

115views Software Engineering» more ICSM 2003»

Impact Analysis and Change Management of UML Models

16 years 23 days ago

Download squall.sce.carleton.ca

Lionel C. Briand, Yvan Labiche, L. O'Sullivan

claim paper

Read More »

142

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers