Search Sciweavers | Sciweavers

2030 search results - page 9 / 406

» Checklists for Software Engineering Case Study Research

click to vote

ICRE
2000
IEEE

172views Software Engineering» more ICRE 2000»

Lightweight Validation of Natural Language Requirements: A Case Study

14 years 1 days ago

Download www.doc.ic.ac.uk

Vincenzo Gervasi, Bashar Nuseibeh

claim paper

Read More »

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

13 years 11 months ago

Download www.cecs.uci.edu

Felice Balarin

claim paper

Read More »

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

13 years 11 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

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

13 years 6 months ago

Download people.ucalgary.ca

Caryna Pinheiro, Frank Maurer, Jonathan Sillito

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers