Conference proceedings on Formal methods in software development -
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897914155

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal specification for a clinical cyclotron control system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99814 ◽

1990 ◽

Cited By ~ 4

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification

Download Full-text

Formalised development of software by machine assisted transformation

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99829 ◽

1990 ◽

Author(s):

Colin Runciman ◽

Mike Firth

Download Full-text

The algebraic specification language LOTOS: an industrial experience

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99817 ◽

1990 ◽

Cited By ~ 3

Author(s):

Luigi Logrippo ◽

Tim Melanchuk ◽

Robert J. Du Wors

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Industrial Experience

Download Full-text

Formal methods in mathematics

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99827 ◽

1990 ◽

Author(s):

Richard Platek

Keyword(s):

Formal Methods

Download Full-text

Experience with the Larch Prover

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99835 ◽

1990 ◽

Author(s):

Jeannette M. Wing ◽

Chun Gong

Download Full-text

Application of formal methods to system and software specification

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99837 ◽

1990 ◽

Author(s):

William G. Wood

Keyword(s):

Formal Methods ◽

Software Specification

Download Full-text

L.0: a parallel executable temporal logic language

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99820 ◽

1990 ◽

Cited By ~ 3

Author(s):

Linda Ness

Keyword(s):

Temporal Logic

Download Full-text

Invariant properties in a dialog system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99818 ◽

1990 ◽

Cited By ~ 1

Author(s):

K. T. Narayana ◽

Sanjeev Dharap

Keyword(s):

Dialog System ◽

Invariant Properties

Download Full-text

Structured analysis—formal design, using stream and object oriented formal specifications

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99830 ◽

1990 ◽

Cited By ~ 2

Author(s):

Hans Toetenel ◽

Jan van Katwijk ◽

Nico Plat

Keyword(s):

Object Oriented ◽

Formal Specifications ◽

Structured Analysis ◽

Formal Design

Download Full-text

Experience with an Estelle development system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99801 ◽

1990 ◽

Cited By ~ 1

Author(s):

Anthony Chung ◽

Deepinder Sidhu

Keyword(s):

Development System

Download Full-text

Conference proceedings on Formal methods in software development -Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Formal specification for a clinical cyclotron control system

Formalised development of software by machine assisted transformation

The algebraic specification language LOTOS: an industrial experience

Formal methods in mathematics

Experience with the Larch Prover

Application of formal methods to system and software specification

L.0: a parallel executable temporal logic language

Invariant properties in a dialog system

Structured analysis—formal design, using stream and object oriented formal specifications

Experience with an Estelle development system

Conference proceedings on Formal methods in software development -
Latest Publications