Search Sciweavers | Sciweavers

15885 search results - page 556 / 3177

» Strategic Software Engineering

157

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 10 months ago

Download santos.cis.ksu.edu

James C. Corbett, Matthew B. Dwyer, John Hatcliff,...

claim paper

Read More »

156

click to vote

IWSSD
2000
IEEE

117views Software Engineering» more IWSSD 2000»

The Dangerous 'All' in Specifications

15 years 10 months ago

Download se.uwaterloo.ca

Rupp and Go

Daniel M. Berry, Erik Kamsties

claim paper

Read More »

157

click to vote

WER
2000
Springer

138views Software Engineering» more WER 2000»

Prototipado de interfaces de usuario a partir de escenarios y modelos UML

15 years 10 months ago

Download wer.inf.puc-rio.br

En este art

Juan Sánchez Díaz, Alberto Aparicio ...

claim paper

Read More »

162

click to vote

UIST
1991
ACM

131views Software Engineering» more UIST 1991»

A nose gesture interface device: extending virtual realities

15 years 10 months ago

Download www.cs.cmu.edu

Tyson R. Henry, Scott E. Hudson, Andrey K. Yeatts,...

claim paper

Read More »

138

Voted

FSEN
2009
Springer

107views Software Engineering» more FSEN 2009»

Rule Formats for Determinism and Idempotence

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers