Search Sciweavers | Sciweavers

4340 search results - page 65 / 868

» Formal Methods and Cryptography

129

click to vote

ICCI
1991

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

15 years 9 months ago

Download www.cs.toronto.edu

Eric C. R. Hehner

claim paper

Read More »

124

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

15 years 8 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

131

click to vote

HCI
2007

171views Human Computer Interaction» more HCI 2007»

Formal Validation of Java/Swing User Interfaces with the Event B Method

15 years 7 months ago

Download alexandre.cortier.free.fr

Alexandre Cortier, Bruno d'Ausbourg, Yamine Aï...

claim paper

Read More »

135

click to vote

DAGSTUHL
2001

121views Software Engineering» more DAGSTUHL 2001»

Abstract Interpretation Based Formal Methods and Future Challenges

15 years 7 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

167

click to vote

MBUI
2004

163views User Interface» more MBUI 2004»

Experiences with a Formal Method for Design and Automatic Checking of User Interfaces

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers