Search Sciweavers | Sciweavers

10715 search results - page 79 / 2143

» Proofs from Tests

127

click to vote

CHI
1995
ACM

156views Human Computer Interaction» more CHI 1995»

Pre-Screen Projection: From Concept to Testing of a New Interaction Technique

15 years 7 months ago

Download www.cs.tufts.edu

Pre-screen projection is a new interaction technique that allows a user to pan and zoom integrally through a scene simply by moving his or her head relative to the screen. The und...

Deborah Hix, James N. Templeman, Robert J. K. Jaco...

claim paper

Read More »

click to vote

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 4 months ago

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

138

click to vote

SDL
1997

134views Hardware» more SDL 1997»

Automating the process of test derivation from SDL specifications

15 years 4 months ago

Download www.site.uottawa.ca

Gregor von Bochmann, Alexandre Petrenko, O. Bellal...

claim paper

Read More »

Voted

CN
2008

72views more CN 2008»

Formal testing from timed finite state machines

15 years 3 months ago

Download www.lib.tsu.ru

Mercedes G. Merayo, Manuel Núñez, Is...

claim paper

Read More »

click to vote

ISSE
2008

83views Security Privacy» more ISSE 2008»

From use cases to test cases via meta model-based reasoning

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers