Sciweavers

15792 search results - page 91 / 3159
» Computational Abstraction Steps
Sort
View
84
Voted
ACMDIS
2000
ACM
15 years 7 months ago
Video Artifacts for Design: Bridging the Gap Between Abstraction and Detail
Wendy E. Mackay, Anne V. Ratzer, Paul Janecek
95
Voted
ASM
2000
ASM
15 years 7 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich, ...
100
Voted
SPIN
1999
Springer
15 years 7 months ago
A Framework for Automatic Construction of Abstract Promela Models
María-del-Mar Gallardo, Pedro Merino