Z notation
http://dbpedia.org/resource/Z_notation an entity of type: Thing
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
rdf:langString
Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Z wurde von Ende der 1970er Jahre geschaffen und durch die im weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO standardisiert.
rdf:langString
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
rdf:langString
The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
rdf:langString
La notazione Z è un linguaggio di specifica formale utilizzato per la descrizione e progettazione di sistemi informatici. Il suo nome deriva dalla teoria degli insiemi di Zermelo - Fraenkel. Descritta per la prima volta nel 1974 da Jean-Raymond Abrial, la notazione Z è stata standardizzata dall'ISO nel 2002. È basata sulla notazione della teoria assiomatica degli insiemi, del lambda calcolo e della logica del primo ordine. Le espressioni sono tipate.
rdf:langString
El Lenguaje Z es un lenguaje de especificación formal utilizado en ingeniería del software para la especificación formal de sistemas de información, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford.
rdf:langString
Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。ZはZF集合論から名前をとって命名された。Zは次のことに焦点を当てている。
* コンピュータプログラムの簡明な仕様の記述。
* 意図するプログラムの振る舞いの証明の形式化。 Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された。Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。Abrial は、1980年前半にこの研究グループで開発作業を行った。 Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。Zは標準化されたカタログを含む。このカタログは数学的ツールキットと呼ばれる。このツールキットは、一般的に使われる数学的な関数と述語から構成される。 Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。 Zを初めて学ぶ人にとって有用な文献として次の資料がある。
rdf:langString
A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. É direcionado à especificação direta de programas de computador e na formulação de testes sobre o comportamento específico do programa. Z foi originalmente proposta por Jean-Raymond Abrial em 1977 com a ajuda de Steve Schuman e Bertrand Meyer. Z foi mais desenvolvida no Programming Research Group (Grupo de Pesquisa de Programação) em Oxford University (Universidade de Oxford), onde Abrial trabalhou no começo dos anos 80.
rdf:langString
Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів. Базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, в свою чергу, складаються із послідовності описань типізованих змінних, та значень, які приймають ці змінні.
rdf:langString
Z-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Предложена Жан-Реймоном Абриалем (Jean-Raymond Abrial) в 1977 году, в разработке участвовали Стив Шуман (Steve Schuman) и Бертран Мейер (Bertrand Meyer). Хотя в нотации используетcя много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX, существует специализированный шрифт для её поддержки (Z ttf font). Существует объектно-ориентированное расширение .
rdf:langString
rdf:langString
Z notation
rdf:langString
تدوين زد
rdf:langString
Z-Notation
rdf:langString
Lenguaje Z
rdf:langString
Notazione Z
rdf:langString
Notation Z
rdf:langString
Z言語
rdf:langString
Z-нотация
rdf:langString
Z notation
rdf:langString
Z-нотація
xsd:integer
34521
xsd:integer
1122711791
rdf:langString
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
rdf:langString
Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Z wurde von Ende der 1970er Jahre geschaffen und durch die im weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO standardisiert.
rdf:langString
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
rdf:langString
El Lenguaje Z es un lenguaje de especificación formal utilizado en ingeniería del software para la especificación formal de sistemas de información, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford. El lenguaje Z se basa en la teoría de conjuntos, el cálculo lambda y la lógica de primer orden.En Z se definen construcciones denominadas esquemas para describir el espacio de estados del sistema y las operaciones que sobre el mismo se efectúan. En los esquemas se declaran variables y predicados que afectan los valores de las variables declaradas.
rdf:langString
Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。ZはZF集合論から名前をとって命名された。Zは次のことに焦点を当てている。
* コンピュータプログラムの簡明な仕様の記述。
* 意図するプログラムの振る舞いの証明の形式化。 Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された。Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。Abrial は、1980年前半にこの研究グループで開発作業を行った。 Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。Zは標準化されたカタログを含む。このカタログは数学的ツールキットと呼ばれる。このツールキットは、一般的に使われる数学的な関数と述語から構成される。 Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。 Zを初めて学ぶ人にとって有用な文献として次の資料がある。
* The Z Notation: a reference manual (英語) Zは、IBM CICS プロジェクトで使われた。
rdf:langString
The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
rdf:langString
La notazione Z è un linguaggio di specifica formale utilizzato per la descrizione e progettazione di sistemi informatici. Il suo nome deriva dalla teoria degli insiemi di Zermelo - Fraenkel. Descritta per la prima volta nel 1974 da Jean-Raymond Abrial, la notazione Z è stata standardizzata dall'ISO nel 2002. È basata sulla notazione della teoria assiomatica degli insiemi, del lambda calcolo e della logica del primo ordine. Le espressioni sono tipate.
rdf:langString
Z-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Предложена Жан-Реймоном Абриалем (Jean-Raymond Abrial) в 1977 году, в разработке участвовали Стив Шуман (Steve Schuman) и Бертран Мейер (Bertrand Meyer). Основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении и логике предикатов первого порядка. Допустимые выражения в Z-нотации подобраны таким образом, чтобы избегать парадоксов аксиоматической теории множеств. Также содержит стандартизированный каталог часто используемых математических функций и предикатов. Хотя в нотации используетcя много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX, существует специализированный шрифт для её поддержки (Z ttf font). В 2002 году Международная организация по стандартизации завершила процесс по стандартизации Z-нотации. Существует объектно-ориентированное расширение .
rdf:langString
A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. É direcionado à especificação direta de programas de computador e na formulação de testes sobre o comportamento específico do programa. Z foi originalmente proposta por Jean-Raymond Abrial em 1977 com a ajuda de Steve Schuman e Bertrand Meyer. Z foi mais desenvolvida no Programming Research Group (Grupo de Pesquisa de Programação) em Oxford University (Universidade de Oxford), onde Abrial trabalhou no começo dos anos 80. Z é baseada na notação matemática padrão usada no axioma da teoria dos conjuntos, cálculos lambda, e lógica predicada de primeira ordem. Todas as expressões na notação Z são tipadas, conseqüentemente desviando alguns dos paradoxos da Teoria Ingênua dos Conjuntos. Z contém um catálogo padronizado (chamado de caixa de ferramentas matemáticas) de funções matemáticas mais freqüentemente usadas e predicados. Apesar da notação Z usar muitos símbolos não-ASCII, a especificação inclui sugestões para renderizar os símbolos da notação Z em ASCII e em Látex. Uma fonte ttf de Z também está disponível para download. PadronizaçãoA ISO completou a padronização de Z em 2002. Esta padronização pode ser obtida diretamente da ISO.
rdf:langString
Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів. Базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, в свою чергу, складаються із послідовності описань типізованих змінних, та значень, які приймають ці змінні. Z було розроблено наприкінці 70-их років. Подальші дослідження проводились групою дослідників проблем програмування комп'ютерної лабораторії Університету Оксфорда. У 2002 році Z було стандартизовано в ISO.
xsd:nonNegativeInteger
9785
