Search Sciweavers | Sciweavers

16725 search results - page 649 / 3345

» Engineering Software Correctness

158

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 »

159

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 »

165

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 »

143

click to vote

FSEN
2009
Springer

107views Software Engineering» more FSEN 2009»

Rule Formats for Determinism and Idempotence

15 years 10 months ago

Download www2.ru.is

Luca Aceto, Arnar Birgisson, Anna Ingólfsd&...

claim paper

Read More »

175

click to vote

EUROSYS
2010
ACM

156views Software Engineering» more EUROSYS 2010»

Transactional memory support for scalable and transparent parallelization of multiplayer games

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers