postconditions

См. также в других словарях:

• Use case — A use case is a description of a system’s behaviour as it responds to a request that originates from outside of that system.The use case technique is used in software and systems engineering to capture the functional requirements of a system. Use …   Wikipedia

• STRIPS — In artificial intelligence, STRIPS (Stanford Research Institute Problem Solver) is an automated planner developed by Richard Fikes and Nils Nilsson in 1971. The same name was later used to refer to the formal language of the inputs to this… …   Wikipedia

• Operation contracts — are formal constraints defined over software operations. These are created during the domain modeling phase. Typically, an operation contract consists of 4 components: Operation name: A name for the operation Cross References: List of use cases… …   Wikipedia

• STRIPS — Im Bereich Künstliche Intelligenz beschreibt STRIPS (Stanford Research Institute Problem Solver) einen automatischen Planer, entwickelt von Richard Fikes und Nils Nilsson im Jahre 1971. Der Name STRIPS wurde später verwendet, um sich auf die… …   Deutsch Wikipedia

• Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… …   Wikipedia

• Postcondition — 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 after an operation in a formal specification. Postconditions are sometimes tested using assertions… …   Wikipedia

• C Sharp syntax — The correct title of this article is C# syntax. The substitution or omission of the # sign is because of technical restrictions. Main article: C Sharp (programming language) This article describes the syntax of the C# programming language. The… …   Wikipedia

• Comparison of programming languages (basic instructions) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations …   Wikipedia

• Principe de substitution de Liskov — Le principe de substitution de Liskov est, en programmation orientée objet, une définition particulière de la notion de sous type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion… …   Wikipédia en Français

• Principe de substitution de liskov — Le principe de substitution de Liskov est, en programmation orientée objet, une définition particulière de la notion de sous type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion… …   Wikipédia en Français

• Abstract data type — In computing, an abstract data type (ADT) is a specification of a set of data and the set of operations that can be performed on the data. Such a data type is abstract in the sense that it is independent of various concrete implementations. The… …   Wikipedia