Pitfalls of Formality in Early System Design

D. Robertson

doi:10.1016/S0167-6423(01)00024-7

Pitfalls of Formality in Early System Design

D. Robertson

School of Informatics

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

One of the advantages of using formal methods in design should be that we can be precise about where our methods fail. However, it is rare to find discussions in the literature of problems in applying formal methods—particularly in the early stages of design. One reason for this is that failures are often caused by the context in which a method is applied, rather than by some purely technical limitation. Using examples from research in which I have been involved I shall describe some of the pitfalls I have encountered and which I have observed frequently in the research of others.

Original language	English
Pages (from-to)	29-38
Number of pages	10
Journal	Science of Computer Programming
Volume	42
Issue number	1
DOIs	https://doi.org/10.1016/S0167-6423(01)00024-7
Publication status	Published - 2002

Access to Document

10.1016/S0167-6423(01)00024-7

Cite this

@article{e28cd8c721984d1db8d46ebd21717c23,

title = "Pitfalls of Formality in Early System Design",

abstract = "One of the advantages of using formal methods in design should be that we can be precise about where our methods fail. However, it is rare to find discussions in the literature of problems in applying formal methods—particularly in the early stages of design. One reason for this is that failures are often caused by the context in which a method is applied, rather than by some purely technical limitation. Using examples from research in which I have been involved I shall describe some of the pitfalls I have encountered and which I have observed frequently in the research of others.",

author = "D. Robertson",

year = "2002",

doi = "10.1016/S0167-6423(01)00024-7",

language = "English",

volume = "42",

pages = "29--38",

journal = "Science of Computer Programming",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Pitfalls of Formality in Early System Design

AU - Robertson, D.

PY - 2002

Y1 - 2002

N2 - One of the advantages of using formal methods in design should be that we can be precise about where our methods fail. However, it is rare to find discussions in the literature of problems in applying formal methods—particularly in the early stages of design. One reason for this is that failures are often caused by the context in which a method is applied, rather than by some purely technical limitation. Using examples from research in which I have been involved I shall describe some of the pitfalls I have encountered and which I have observed frequently in the research of others.

AB - One of the advantages of using formal methods in design should be that we can be precise about where our methods fail. However, it is rare to find discussions in the literature of problems in applying formal methods—particularly in the early stages of design. One reason for this is that failures are often caused by the context in which a method is applied, rather than by some purely technical limitation. Using examples from research in which I have been involved I shall describe some of the pitfalls I have encountered and which I have observed frequently in the research of others.

U2 - 10.1016/S0167-6423(01)00024-7

DO - 10.1016/S0167-6423(01)00024-7

M3 - Article

VL - 42

SP - 29

EP - 38

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

Pitfalls of Formality in Early System Design

Abstract / Description of output

Access to Document

Fingerprint

Cite this