formal methods | Sciweavers

37

click to vote

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

14 years 5 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

34

click to vote

SAS
2005
Springer

118views Formal Methods» more SAS 2005»

Inference of Well-Typings for Logic Programs with Application to Termination Analysis

14 years 5 months ago

Download dtai.cs.kuleuven.be

A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...

Maurice Bruynooghe, John P. Gallagher, Wouter Van ...

claim paper

Read More »

40

click to vote

FCA
2005
Springer

201views Formal Methods» more FCA 2005»

A Survey of Formal Concept Analysis Support for Software Engineering Activities

14 years 5 months ago

Download reference.kfupm.edu.sa

Formal Concept Analysis (FCA) has typically been applied in the ﬁeld of software engineering to support software maintenance and object-oriented class identiﬁcation tasks. This...

Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...

claim paper

Read More »

29

click to vote

FCA
2005
Springer

135views Formal Methods» more FCA 2005»

Concept Lattices in Software Analysis

14 years 5 months ago

Download www.infosun.fim.uni-passau.de

About ten years ago, the ﬁrst serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...

Gregor Snelting

claim paper

Read More »

27

click to vote

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

14 years 5 months ago

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

39

click to vote

FCA
2005
Springer

188views Formal Methods» more FCA 2005»

Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development

14 years 5 months ago

Download www.labunix.uqam.ca

The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difﬁcult task that is often accomplished witho...

Robert Godin, Petko Valtchev

claim paper

Read More »

54

click to vote

FCA
2005
Springer

207views Formal Methods» more FCA 2005»

From Formal Concept Analysis to Contextual Logic

14 years 5 months ago

Download www.dr-dau.net

Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...

Frithjof Dau, Julia Klinger

claim paper

Read More »

36

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Ymer: A Statistical Model Checker

14 years 5 months ago