Search Sciweavers | Sciweavers

2030 search results - page 9 / 406

» Checklists for Software Engineering Case Study Research

136

Voted

ICRE
2000
IEEE

172views Software Engineering» more ICRE 2000»

Lightweight Validation of Natural Language Requirements: A Case Study

15 years 9 months ago

Download www.doc.ic.ac.uk

Vincenzo Gervasi, Bashar Nuseibeh

claim paper

Read More »

104

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 8 months ago

Download www.cecs.uci.edu

Felice Balarin

claim paper

Read More »

123

Voted

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 8 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

115

Voted

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 3 months ago

Download people.ucalgary.ca

Caryna Pinheiro, Frank Maurer, Jonathan Sillito

claim paper

Read More »

103

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers