Search Sciweavers | Sciweavers

4036 search results - page 61 / 808

» Formal Methods

160

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 9 months ago

Download www.csis.ul.ie

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

claim paper

Read More »

127

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 »

121

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 »

130

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers