Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,100,403 papers from all fields of science
Search
Sign In
Create Free Account
Postcondition
Known as:
Advertised promise
, Post-condition
, Postconditions
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
AP Computer Science A
Assertion (software development)
Assertion definition language
Axiomatic semantics
Expand
Broader (2)
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Tracing Properties of UML and OCL Models with Maude
F. Durán
,
Martin Gogolla
,
Manuel Roldán
AMMSE
2011
Corpus ID: 1851411
The starting point of this paper is a system described in form of a UML class diagram where systemstates are characterized by OCL…
Expand
2010
2010
VeriFast: Imperative Programs as Proofs
B. Jacobs
,
Jan Smans
,
Frank Piessens
2010
Corpus ID: 759671
This paper describes the VeriFast prototype program verification tool, which implements a separation-logic-based approach for the…
Expand
2009
2009
Finding and exploiting goal opportunities in real-time during plan execution
P. Schermerhorn
,
J. Benton
,
Matthias Scheutz
,
Kartik Talamadupula
,
S. Kambhampati
IEEE/RSJ International Conference on Intelligent…
2009
Corpus ID: 12739019
Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult…
Expand
2009
2009
Refinement-Based Guidelines for Algorithmic Systems
D. Méry
International Journal of Software and Informatics
2009
Corpus ID: 15211752
The correct-by-construction approach can be supported by a progressive and incremental process controlled by the refinement of…
Expand
2008
2008
Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration
Nicolas Arni-Bloch
,
J. Ralyté
International Conference on Advanced Information…
2008
Corpus ID: 27088
In this work we propose a Metamodel of Information System Service (MISS) and introduce a situation-driven approach for ISS…
Expand
2005
2005
A framework for testing Web services and its supporting tool
Hong Mei
,
Lu Zhang
International Symposium on Service Oriented…
2005
Corpus ID: 16733948
With the increase of the popularity of Web services, more and more Web applications are developed with this new kind of…
Expand
1999
1999
Retrenchment: extending the reach of refinement
M. Poppleton
,
R. Banach
14th IEEE International Conference on Automated…
1999
Corpus ID: 7879572
Discusses a simple example that demonstrates various expressive limitations of the refinement calculus, and suggests a…
Expand
1995
1995
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report
Witold Lukaszewicz
,
Ewa Madalinska-Bugaj
International Joint Conference on Artificial…
1995
Corpus ID: 338661
We apply Dijkstra's semantics for programming languages to formalization of reasoning about action and change. The basic idea is…
Expand
1989
1989
The upsilon-Calculus as an Assertion-Language for Fairness Arguments
F. Stomp
,
W. D. Roever
,
R. Gerth
Information and Computation
1989
Corpus ID: 205118266
1984
1984
Towards multi-level and modular conceptual schema specifications
Ulrich Schiel
,
A. Furtado
,
E. Neuhold
,
M. Casanova
Information Systems
1984
Corpus ID: 16537233
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