Search Sciweavers | Sciweavers

15777 search results - page 505 / 3156

» The Reformulation-Optimization Software Engine

112

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 8 months ago

Download santos.cis.ksu.edu

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

claim paper

Read More »

119

click to vote

IWSSD
2000
IEEE

117views Software Engineering» more IWSSD 2000»

The Dangerous 'All' in Specifications

15 years 8 months ago

Download se.uwaterloo.ca

Rupp and Go

Daniel M. Berry, Erik Kamsties

claim paper

Read More »

127

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

Download wer.inf.puc-rio.br

En este art

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

claim paper

Read More »

124

Voted

UIST
1991
ACM

131views Software Engineering» more UIST 1991»

A nose gesture interface device: extending virtual realities

15 years 8 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

109

click to vote

FSEN
2009
Springer

107views Software Engineering» more FSEN 2009»

Rule Formats for Determinism and Idempotence

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers