Skip to search formSkip to main contentSkip to account menu

Precondition

Known as: Advertised requirement, Pre-condition, Preconditions 
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

41 relations
AP Computer Science AAssertion (software development)Assertion definition languageAxiomatic semantics

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
A Scale-Synthesis Method for High Spatial Resolution Remote Sensing Image Segmentation
Multiscale segmentation is always needed to extract semantic meaningful objects for object-based remote sensing image analysis… 
2012
2012
Spectrum analysis of bright Kepler γ Doradus candidate stars
Ground-based spectroscopic follow-up observations of the pulsating stars observed by the Kepler satellite mission are needed for… 
2012
2012
A European Deposit Insurance and Resolution Fund - An Update
Cross-border banking is currently not stable in Europe. Cross-border banks need a European safety net. Moreover, a truly… 
Highly Cited
2010
Highly Cited
2010
Universal International Law: Nineteenth-Century Histories of Imposition and Appropriation
Governing interstate relations across the globe, contemporary international law is universal. But this is a relatively recent… 
Highly Cited
2008
Highly Cited
2008
MARWIS: A Management Architecture for Heterogeneous Wireless Sensor Networks
In this paper we present a new management architecture for heterogeneous wireless sensor networks (WSNs) called MARWIS. It… 
2007
2007
ModelingWeb Services using Semantic Graph Transformations to aid Automatic Composition
In this paper, we propose a novel way of modeling Web services using semantic graph transformations. Each operation supported by… 
2004
2004
Tracking-based event detection for CCTV systems
This paper presents a description of an event detection algorithm based on trajectories designed for closed-circuit television… 
Highly Cited
2000
Highly Cited
2000
Discharge regime and the effect of drying on macroinvertebrate communities in a temporary karst stream in East Westphalia (Germany)
Abstract: The special hydrological situation of temporary streams has a great influence on the abiotic processes and other… 
Highly Cited
1993
Highly Cited
1993
Public Finance Texts Cannot Justify Government Taxation: A Critique
In virtually all economic sub-disciplines, practitioners of the dismal science are exceedingly desirous of avoiding normative… 
Highly Cited
1990
Highly Cited
1990
A hierarchical approach to designing approximate reasoning-based controllers for dynamic physical systems
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with… 
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)