Search Sciweavers | Sciweavers

9006 search results - page 44 / 1802

» Modeling Software

145

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 11 days ago

Download wer.inf.puc-rio.br

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

claim paper

Read More »

143

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 7 days ago

Download www.kroening.com

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

claim paper

Read More »

130

click to vote

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

16 years 6 days ago

Download www.spec.org

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

claim paper

Read More »

108

click to vote

ICSM
2003
IEEE

115views Software Engineering» more ICSM 2003»

Impact Analysis and Change Management of UML Models

16 years 5 days ago

Download squall.sce.carleton.ca

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

claim paper

Read More »

130

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers