Sciweavers

6174 search results - page 32 / 1235
» The language of social software
Sort
View
SIGADA
1998
Springer
15 years 10 months ago
Kernel Ada to Unify Hardware and Software Design
Sy Wong, Gertrude Levine
POPL
1996
ACM
15 years 10 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
SIGADA
1993
Springer
15 years 10 months ago
Towards Target-Level Testing and Debugging Tools for Embedded Software
Harry Koehnemann, Timothy E. Lindquist