Search Sciweavers | Sciweavers

9006 search results - page 44 / 1802

» Modeling Software

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

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

14 years 3 months ago

Download wer.inf.puc-rio.br

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

claim paper

Read More »

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

14 years 3 months ago

Download www.kroening.com

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

claim paper

Read More »

click to vote

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

14 years 3 months ago

Download www.spec.org

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

claim paper

Read More »

click to vote

ICSM
2003
IEEE

115views Software Engineering» more ICSM 2003»

Impact Analysis and Change Management of UML Models

14 years 3 months ago

Download squall.sce.carleton.ca

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

claim paper

Read More »

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers