Search Sciweavers | Sciweavers

4036 search results - page 61 / 808

» Formal Methods

138

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 8 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

101

Voted

ICCI
1991

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

15 years 8 months ago

Download www.cs.toronto.edu

Eric C. R. Hehner

claim paper

Read More »

104

Voted

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 6 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

109

Voted

HCI
2007

171views Human Computer Interaction» more HCI 2007»

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

15 years 6 months ago

Download alexandre.cortier.free.fr

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

claim paper

Read More »

116

click to vote

DAGSTUHL
2001

121views Software Engineering» more DAGSTUHL 2001»

Abstract Interpretation Based Formal Methods and Future Challenges

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers