Sciweavers

1949 search results - page 10 / 390
» Protective Interface Specifications
Sort
View
98
Voted
ZUM
1997
Springer
104views Formal Methods» more  ZUM 1997»
15 years 6 months ago
Preliminary Evaluation of a Formal Approach to User Interface Specification
John C. Knight, Susan S. Brilliant
JOT
2006
46views more  JOT 2006»
15 years 2 months ago
Reasoning About Method Calls in Interface Specifications
Ádám Darvas, Peter Müller