Select Z bibliography

Bowen, Jonathan P.

doi:10.1007/3-540-60271-2_143

Cited by 2 publications

(2 citation statements)

References 201 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It was developed by the Programming Research Group at Oxford University under Jean‐Raymond Abrial around 1980 . Bowen presents a very comprehensive list of references about the Z method covering all its aspects.…”

Section: Assessment Of Selected Formal Methodsmentioning

confidence: 99%

Evaluating the suitability of state‐based formal methods for industrial deployment

2018

View full text Add to dashboard Cite

After a number of success stories in safety-critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering. However, one thing that is still missing is the evaluation criteria that help software practitioners choose the right formal method for the problem at hand. In this paper, we present the criteria for evaluating and comparing different formal methods. The criteria were chosen through a literature review, discussions with experts from academia and practitioners from industry, and decade-long personal experience with the application of formal methods in industrial and academic projects. The criteria were then evaluated on several model-oriented state-based formal methods. Our research shows that besides technical grounds (eg, modeling capabilities and supported development phases), formal methods should also be evaluated from social and industrial perspectives. We also found out that it is not possible to generate a matrix that renders the selection of the right formal method an automatic process. However, we can generate several pointers, which make this selection process a lot less cumbersome.

show abstract

Section: Assessment Of Selected Formal Methodsmentioning

confidence: 99%

Evaluating the suitability of state‐based formal methods for industrial deployment

2018

View full text Add to dashboard Cite

show abstract

“…This bibliography has been regularly maintained for Z User Meeting proceedings in the past (e.g., see [79]). This bibliography has been regularly maintained for Z User Meeting proceedings in the past (e.g., see [79]).…”

Section: Introductionmentioning

confidence: 99%

ZUM ’98: The Z Formal Specification Notation

1998

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Select Z bibliography

Cited by 2 publications

References 201 publications

Evaluating the suitability of state‐based formal methods for industrial deployment

Evaluating the suitability of state‐based formal methods for industrial deployment

ZUM ’98: The Z Formal Specification Notation

Contact Info

Product

Resources

About