Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,568,971 papers from all fields of science
Search
Sign In
Create Free Account
Refinement calculus
Known as:
Calculus (disambiguation)
The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Broader (1)
Formal methods
Hoare logic
Jean-Raymond Abrial
Object-Z
Predicate transformer semantics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Feature Specification and Refinement with State Transition Diagrams
Cornel Klein
,
C. Prehofer
,
Bernhard Rumpe
FIW
2014
Corpus ID: 399112
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application…
Expand
2010
2010
Model transformations across views
J. Derrick
,
H. Wehrheim
Science of Computer Programming
2010
Corpus ID: 16187773
2010
2010
Design and Verification of a Trustable Medical System
Xijiao Xiong
,
Jing Liu
,
Zuohua Ding
TTSS
2010
Corpus ID: 22188724
2009
2009
Automated Feature Model-Based Generation of Refinement Transformations
Lucia Happe
,
Thomas Goldschmidt
EUROMICRO Conference on Software Engineering and…
2009
Corpus ID: 16169296
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an…
Expand
2008
2008
ArcAngelC: a Refinement Tactic Language for Circus
M. Oliveira
,
Ana Cavalcanti
Refine@FM
2008
Corpus ID: 39152776
1999
1999
Modelling Discrete Behaviour in a Continuous-Time Formalism
C. Fidge
International Conference on Integrated Formal…
1999
Corpus ID: 10080234
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems…
Expand
1998
1998
A Refinement Calculus for Statecharts
P. Scholz
Fundamental Approaches to Software Engineering
1998
Corpus ID: 206852678
We present a Statecharts dialect with only three syntactic constructs and a semantics that is not restricted to describe reactive…
Expand
1995
1995
Exploring Summation and Product Operators in the Refinement Calculus
R. Back
,
M. Butler
International Conference on Mathematics of…
1995
Corpus ID: 39814039
Product and summation operators for predicate transformers were introduced by Naumann and by Martin using category theoretic…
Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
1992
1992
Modular Reasoning in an Object-Oriented Refinement Calculus
M. Utting
,
K. Robinson
International Conference on Mathematics of…
1992
Corpus ID: 40043370
Object-oriented languages typically use late binding for procedure calls on objects. This raises a potential problem for…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE