- algebraic specification
-
алгебраическая спецификация
Англо-русский словарь технических терминов. 2005.
algebraic specification
Смотреть что такое "algebraic specification" в других словарях:
Algebraic specification — [cite book|title=Algebraic Specification|first=J. A.|last=Bergstra|coauthors=B. Mahr|publisher=Academic Press|date=1989|isbn=0 201 41635 2] [cite book|title=Algebraic Specification|first=E.|last=Ehrig|coauthors=J. Heering, J.… … Wikipedia
Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… … Wikipedia
Algebraic notation (chess) — Algebraic notation Algebraic notation (or AN) is a method for recording and describing the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, AN… … Wikipedia
Algebraic chess notation — is used to record and describe the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, it replaced the parallel system of descriptive chess notation … Wikipedia
Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Model-based specification — is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well understood mathematical entities such as sets and functions. System operations are specified by … Wikipedia
Standard Algebraic Notation — Portable Game Notation Pour les articles homonymes, voir PGN. Portable Game Notation (PGN) désigne un standard de codage des parties d échecs. Il est principalement utilisé pour la retransmission des parties sur internet et dans les bases de… … Wikipédia en Français
Jan Bergstra — Jan A Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the… … Wikipedia
Larch family — The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior.The Larch family was… … Wikipedia
Methode formelle (informatique) — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français
