Search Sciweavers | Sciweavers

16725 search results - page 645 / 3345

» Engineering Software Correctness

145

click to vote

WER
1998
Springer

79views Software Engineering» more WER 1998»

Organizando Processos de Requisitos

15 years 11 months ago

Download wer.inf.puc-rio.br

Soeli T. Fiorini, Julio Cesar Sampaio do Prado Lei...

claim paper

Read More »

124

click to vote

UIST
1997
ACM

97views Software Engineering» more UIST 1997»

Orthogonal Extensions to the WWW User Interface Using Client-Side Technologies

15 years 11 months ago

Download www.cs.berkeley.edu

Armando Fox, Steven D. Gribble, Yatin Chawathe, An...

claim paper

Read More »

160

click to vote

ADAEUROPE
1997
Springer

100views Software Engineering» more ADAEUROPE 1997»

Implementing Application-Level Sporadic Server Schedulers in Ada 95

15 years 11 months ago

Download www.adaworld.com

Michael González Harbour, J. J. Gutié...

claim paper

Read More »

156

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

15 years 11 months ago

Download www.cse.iitd.ernet.in

Carlos Carreras, Juan Carlos López, Mar&iac...

claim paper

Read More »

150

click to vote

ICSE
1997
IEEE-ACM

68views Software Engineering» more ICSE 1997»

Open Implementation Design Guidelines

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers