Sciweavers

21319 search results - page 54 / 4264

» An Approach for Method Reengineering

150

TYPES
2004
Springer

83views Formal Methods» more TYPES 2004»

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

16 years 13 days ago

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

Download gallium.inria.fr

Yves Bertot, Benjamin Grégoire, Xavier Lero...

claim paper

Read More »

146

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

15 years 11 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

156

Voted

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

15 years 11 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

144

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 11 months ago

An Algebraic Approach to Sharing Analysis of Logic Programs

Download www.clip.dia.fi.upm.es

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

147

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 11 months 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 »

« Prev « First page 54 / 4264 Last » Next »