Search Sciweavers | Sciweavers

1678 search results - page 19 / 336

» An ASM Specification of C

134

click to vote

DSVIS
2003
Springer

101views Human Computer Interaction» more DSVIS 2003»

Specification-Based Testing of User Interfaces

15 years 11 months ago

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Raul F. A. M. ...

claim paper

Read More »

130

click to vote

LCPC
2001
Springer

93views System Software» more LCPC 2001»

A Language for Role Specifications

15 years 10 months ago

Download lara.epfl.ch

Viktor Kuncak, Patrick Lam, Martin C. Rinard

claim paper

Read More »

135

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

15 years 10 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

113

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 9 months ago

Download www.ing.unitn.it

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

Voted

ICNP
1995
IEEE

69views Computer Networks» more ICNP 1995»

Protocol architectures for delivering application specific quality of service

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers