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
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
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… 
2007
2007
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
We propose a framework and tractable algorithms for semantic-based automated Web service composition, fully compliant with… 
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
2003
Highly Cited
2003
DRIVER COMPETENCE IN A HIERARCHICAL PERSPECTIVE; IMPLICATIONS FOR DRIVER EDUCATION
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… 
1990
1990
Linguistic and pragmatic constraints on utterance interpretation
To model how people understand language, it becomes necessary to understand not only grammar and logic, but also how people use… 
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)