Sciweavers

4036 search results - page 3 / 808

» Formal Methods

21

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

14 years 2 months ago

Linguistic Applications of Formal Concept Analysis

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

28

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

14 years 22 days ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

34

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

14 years 19 days ago

Preliminary Evaluation of a Formal Approach to User Interface Specification

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

28

TYPES
1995
Springer

147views Formal Methods» more TYPES 1995»

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

14 years 1 days ago

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

Download sqig.math.ist.utl.pt

Jan Cederquist, Sara Negri

claim paper

Read More »

34

FMICS
2010
Springer

157views Formal Methods» more FMICS 2010»

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

13 years 9 months ago

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

Download www.brucker.ch

Michael Altenhofen, Achim D. Brucker

claim paper

Read More »

« Prev « First page 3 / 808 Last » Next »