Search Sciweavers | Sciweavers

1405 search results - page 4 / 281

» Software engineering for and with artists: a case study

122

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

15 years 4 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

116

click to vote

ICSM
2005
IEEE

84views Software Engineering» more ICSM 2005»

Feature Identification: A Novel Approach and a Case Study

15 years 11 months ago

Download www-etud.iro.umontreal.ca

Giuliano Antoniol, Yann-Gaël Guéh&eacu...

claim paper

Read More »

121

click to vote

CODES
2001
IEEE

86views Software Engineering» more CODES 2001»

STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems

15 years 9 months ago

Download www.cecs.uci.edu

Felice Balarin

claim paper

Read More »

136

click to vote

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

15 years 9 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

128

click to vote

XPU
2010
Springer

133views Software Engineering» more XPU 2010»

Improving Responsiveness, Bug Detection, and Delays in a Bureaucratic Setting: A Longitudinal Empirical IID Adoption Case Study

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers