Sciweavers

29 search results - page 2 / 6

» fm 1999

8

FM
1999
Springer

122views Formal Methods» more FM 1999»

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

13 years 9 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 »

14

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

13 years 9 months ago

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

10

ISCAS
1999
IEEE

220views Hardware» more ISCAS 1999»

Area-optimized FPGA implementation of a digital FM modulator

13 years 9 months ago

Area-optimized FPGA implementation of a digital FM modulator

Download www.tkt.cs.tut.fi

Riku Uusikartano, Jarkko Niittylahti, Markku Renfo...

claim paper

Read More »

10

FM
1999
Springer

88views Formal Methods» more FM 1999»

Refinement Semantics and Loop Rules

13 years 9 months ago

Refinement Semantics and Loop Rules

Download www.cs.toronto.edu

Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...

Eric C. R. Hehner, Andrew M. Gravell

claim paper

Read More »

3

FM
1990
Springer

56views Formal Methods» more FM 1990»

Object Orientation and Formal Techniques

13 years 9 months ago

Object Orientation and Formal Techniques

Download heim.ifi.uio.no

Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999

Ole-Johan Dahl

claim paper

Read More »

« Prev « First page 2 / 6 Last » Next »