Search Sciweavers | Sciweavers

4036 search results - page 62 / 808

» Formal Methods

131

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

Download sunsite.informatik.rwth-aachen.de

Alessandro Campi, Eliseo Martinez, Pierluigi San P...

claim paper

Read More »

click to vote

IWFM
1998

89views Formal Methods» more IWFM 1998»

Teaching Formal Methods: Lessons to Learn

15 years 4 months ago

Download www.bcs.org

J. Paul Gibson, Dominique Méry

claim paper

Read More »

Voted

PSTV
1993

85views Hardware» more PSTV 1993»

An Engineering Approach to Formal Methods

15 years 4 months ago

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

click to vote

PSTV
1993

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

15 years 4 months ago

Download wwwhome.cs.utwente.nl

Chris A. Vissers, Marten van Sinderen, Luís...

claim paper

Read More »

Voted

CSEDU
2009

128views Education» more CSEDU 2009»

Formal Methods: for All or for Chosen?

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers