About: Precondition

Property	Value
dbo:description	krav om at noget eksternt (ift. en beregning el. situation) skal ske og generere nogle effekter eller resultater (da) requirement for something else to happen and to generate some effects or results (en) ce qui est nécessaire pour qu'une chose puisse se produire et générer des effets ou résultats (fr) דרישה למשהו אחר שיקרה ולייצר השפעות או תוצאות (iw)
dbo:wikiPageWikiLink	dbr:Object-oriented_programming dbc:Logic_in_computer_science dbr:Computer_security dbr:Eiffel_(programming_language) dbr:Code dbr:Database_trigger dbr:Formal_specification dbr:Computer_programming dbr:Factorial dbr:Design_by_contract dbr:Hoare_logic dbr:Class_invariant dbr:Guard_(computer_science) dbr:Postcondition dbr:Invariant_(computer_science) dbc:Programming_constructs dbc:Formal_methods dbr:Assertion_(computing) dbr:Predicate_(mathematics)
dbp:wikiPageUsesTemplate	dbt:About dbt:One_source dbt:Reflist dbt:Short_description
dct:subject	dbc:Logic_in_computer_science dbc:Programming_constructs dbc:Formal_methods
gold:hypernym	dbr:Condition
rdfs:label	Precondition (en) Vorbedingung (Informatik) (de) Precondición (es) Précondition (fr) Precondizione (it) Передумова (формальні методи) (uk) 先决条件 (zh)
owl:sameAs	freebase:Precondition wikidata:Precondition dbpedia-de:Precondition dbpedia-es:Precondition dbpedia-it:Precondition dbpedia-fr:Precondition dbpedia-zh:Precondition dbpedia-uk:Precondition dbpedia-global:Precondition
prov:wasDerivedFrom	wikipedia-en:Precondition?oldid=1311302095&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Precondition
is dbo:wikiPageRedirects of	dbr:Advertised_requirement dbr:Pre-condition dbr:Preconditions
is dbo:wikiPageWikiLink of	dbr:Producer–consumer_problem dbr:Refinement_(computing) dbr:Liskov_substitution_principle dbr:Behavioral_subtyping dbr:Java_Modeling_Language dbr:Praspel dbr:Eiffel_(programming_language) dbr:Rescue_Engineering dbr:Predicate_transformer_semantics dbr:David_Gries dbr:Semantics_(computer_science) dbr:Dynamic_logic_(modal_logic) dbr:Exception_handling dbr:Guarded_suspension dbr:Formal_methods dbr:MALPAS_Software_Static_Analysis_Toolset dbr:ParaSail_(programming_language) dbr:United_Nations_Security_Council_Resolution_1747 dbr:XUnit dbr:Design_by_contract dbr:Hoare_logic dbr:Test_fixture dbr:Linear_time_property dbr:Test_case dbr:Class_invariant dbr:Python_syntax_and_semantics dbr:Oak_(programming_language) dbr:Guard_(computer_science) dbr:SPARK_(programming_language) dbr:Axiomatic_semantics dbr:Postcondition dbr:Assertion_(software_development) dbr:Human_rights_and_encryption dbr:Principles_of_Model_Checking dbr:Assertion_definition_language dbr:Method_overriding dbr:List_of_tools_for_static_code_analysis dbr:GOAL_agent_programming_language dbr:Extended_static_checking dbr:Stack-oriented_programming dbr:Ubercode dbr:Preconditioning_(disambiguation) dbr:SofCheck_Inspector dbr:Qualification_problem dbr:Test_Template_Framework dbr:SCOOP_(software) dbr:Refinement_type dbr:Glossary_of_computer_science dbr:Fail-fast dbr:Glossary_of_artificial_intelligence dbr:Advertised_requirement dbr:Pre-condition dbr:Preconditions
is foaf:primaryTopic of	wikipedia-en:Precondition