The Unit-B method: refinement guided by progress concerns

Hudon, Simon; Hoang, Thai Son; Ostroff, Jonathan S.

doi:10.1007/s10270-015-0456-2

Record: found
Abstract: not found
Article: not found

The Unit-B method: refinement guided by progress concerns

Author(s): Simon Hudon , Thai Son Hoang , Jonathan S. Ostroff

Publication date (Electronic): March 15 2015

Journal: Software & Systems Modeling

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Book: not found

The B-Book

J. Abrial, A Hoare, Pierre Chapron (2010)

0 comments Cited 178 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Modeling in Event-B

Jean-Raymond Abrial (2010)

0 comments Cited 104 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The temporal logic of actions

Leslie Lamport (1994)

0 comments Cited 99 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Software & Systems Modeling

Abbreviated Title: Softw Syst Model

Publisher: Springer Nature

ISSN (Print): 1619-1366

ISSN (Electronic): 1619-1374

Publication date Created: October 2016

Publication date (Electronic): March 15 2015

Publication date (Print): October 2016

Volume: 15

Issue: 4

Pages: 1091-1116

Article

DOI: 10.1007/s10270-015-0456-2

SO-VID: eb1ba249-f067-4afd-9556-43e393fea33e

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.