Sciweavers

1678 search results - page 19 / 336
» An ASM Specification of C
Sort
View
90
Voted
DSVIS
2003
Springer
15 years 7 months ago
Specification-Based Testing of User Interfaces
Ana Paiva, João C. P. Faria, Raul F. A. M. ...
LCPC
2001
Springer
15 years 6 months ago
A Language for Role Specifications
Viktor Kuncak, Patrick Lam, Martin C. Rinard
94
Voted
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 6 months ago
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
Richard F. Paige, Eric C. R. Hehner
SPW
2000
Springer
15 years 5 months ago
Making Sense of Specifications: The Formalization of SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...
61
Voted
ICNP
1995
IEEE
15 years 5 months ago
Protocol architectures for delivering application specific quality of service
P. K. Jain, Norman C. Hutchinson, Samuel T. Chanso...