Z notation (original) (raw)
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
| Property | Value |
|---|---|
| dbo:abstract | تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل. (ar) 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. (de) La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques. (fr) 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. (es) 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 プロジェクトで使われた。 (ja) 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. (en) 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. (it) Z-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Предложена Жан-Реймоном Абриалем (Jean-Raymond Abrial) в 1977 году, в разработке участвовали Стив Шуман (Steve Schuman) и Бертран Мейер (Bertrand Meyer). Основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении и логике предикатов первого порядка. Допустимые выражения в Z-нотации подобраны таким образом, чтобы избегать парадоксов аксиоматической теории множеств. Также содержит стандартизированный каталог часто используемых математических функций и предикатов. Хотя в нотации используетcя много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX, существует специализированный шрифт для её поддержки (Z ttf font). В 2002 году Международная организация по стандартизации завершила процесс по стандартизации Z-нотации. Существует объектно-ориентированное расширение . (ru) 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. (pt) Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів. Базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, в свою чергу, складаються із послідовності описань типізованих змінних, та значень, які приймають ці змінні. Z було розроблено наприкінці 70-их років. Подальші дослідження проводились групою дослідників проблем програмування комп'ютерної лабораторії Університету Оксфорда. У 2002 році Z було стандартизовано в ISO. (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Agendacumple_en_Z.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.usingz.com/ https://staff.washington.edu/jon/z-book/ https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual https://www.researchgate.net/publication/2480325 |
| dbo:wikiPageID | 34521 (xsd:integer) |
| dbo:wikiPageLength | 9785 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122711791 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Prentice_Hall dbr:Bertrand_Meyer dbr:Alloy_(specification_language) dbc:Z_notation dbc:Computer-related_introductions_in_1977 dbr:Unicode dbc:Oxford_University_Computing_Laboratory dbr:Object_Constraint_Language dbr:Naive_set_theory dbr:Community_Z_Tools dbr:Computer_program dbr:Z_User_Group dbr:Zermelo–Fraenkel_set_theory dbr:Électricité_de_France dbr:Programming_Research_Group dbr:Specification_language dbr:Object-Z dbr:Axiomatic_set_theory dbc:Formal_specification_languages dbr:APL_(programming_language) dbr:ASCII dbr:Ernst_Zermelo dbr:Fastest dbr:Formal_methods dbr:Formal_specification dbr:International_Organization_for_Standardization dbc:Specification_languages dbr:LaTeX dbr:Lambda_calculus dbr:Jean-Raymond_Abrial dbr:University_of_Grenoble dbr:B-Method dbr:IBM dbr:Model-based_testing dbr:Type_(model_theory) dbr:Oxford_University_Computing_Laboratory dbr:Z++ dbr:Oxford_University dbr:International_Thomson_Publishing dbr:First-order_predicate_logic dbr:VDM-SL dbr:File:Agendacumple_en_Z.svg |
| dbp:wikiPageUsesTemplate | dbt:List_of_IEC_standards dbt:Authority_control dbt:Cite_book dbt:IPAc-en dbt:ISO_standards dbt:Reflist dbt:Short_description dbt:Use_dmy_dates |
| dct:subject | dbc:Z_notation dbc:Computer-related_introductions_in_1977 dbc:Oxford_University_Computing_Laboratory dbc:Formal_specification_languages dbc:Specification_languages |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language yago:WikicatSpecificationLanguages yago:Ability105616246 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Measure100033615 yago:Method105660268 yago:ProgrammingLanguage106898352 yago:PsychologicalFeature100023100 yago:WikicatISO/IECStandards yago:Standard107260623 yago:SystemOfMeasurement113577171 yago:WikicatFormalMethods yago:WikicatFormalSpecificationLanguages yago:WikicatProgrammingLanguages |
| rdfs:comment | تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل. (ar) 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. (de) La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques. (fr) 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. (en) 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. (it) 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. (es) 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を初めて学ぶ人にとって有用な文献として次の資料がある。 (ja) 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. (pt) Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів. Базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, в свою чергу, складаються із послідовності описань типізованих змінних, та значень, які приймають ці змінні. (uk) Z-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Предложена Жан-Реймоном Абриалем (Jean-Raymond Abrial) в 1977 году, в разработке участвовали Стив Шуман (Steve Schuman) и Бертран Мейер (Bertrand Meyer). Хотя в нотации используетcя много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX, существует специализированный шрифт для её поддержки (Z ttf font). Существует объектно-ориентированное расширение . (ru) |
| rdfs:label | Z notation (en) تدوين زد (ar) Z-Notation (de) Lenguaje Z (es) Notazione Z (it) Notation Z (fr) Z言語 (ja) Z-нотация (ru) Z notation (pt) Z-нотація (uk) |
| owl:sameAs | freebase:Z notation yago-res:Z notation http://d-nb.info/gnd/4225739-6 wikidata:Z notation dbpedia-ar:Z notation dbpedia-de:Z notation dbpedia-es:Z notation dbpedia-fa:Z notation dbpedia-fr:Z notation dbpedia-it:Z notation dbpedia-ja:Z notation http://lt.dbpedia.org/resource/Z_notacija dbpedia-ms:Z notation dbpedia-pt:Z notation dbpedia-ru:Z notation dbpedia-sl:Z notation dbpedia-tr:Z notation dbpedia-uk:Z notation dbpedia-yo:Z notation https://global.dbpedia.org/id/RtbF |
| prov:wasDerivedFrom | wikipedia-en:Z_notation?oldid=1122711791&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Agendacumple_en_Z.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Z_notation |
| is dbo:influencedBy of | dbr:Eiffel_(programming_language) |
| is dbo:knownFor of | dbr:Jonathan_Bowen dbr:Jim_Woodcock dbr:Kevin_Lano |
| is dbo:namedAfter of | dbr:Z_User_Group |
| is dbo:wikiPageDisambiguates of | dbr:Z_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:⋿ dbr:⦁ dbr:⦂ dbr:⦇ dbr:⦈ dbr:⦉ dbr:⦊ dbr:⨟ dbr:⨠ dbr:⨡ dbr:Z_notation_(specification_language) dbr:Zed_notation dbr:CADiZ dbr:ISO/IEC_13568 dbr:Z_schema dbr:Z_(programming_language) dbr:Z_specification_language |
| is dbo:wikiPageWikiLink of | dbr:Carroll_Morgan_(computer_scientist) dbr:List_of_computer_scientists dbr:Bertrand_Meyer dbr:Bracket dbr:Alloy_(specification_language) dbr:Jonathan_Bowen dbr:List_of_important_publications_in_theoretical_computer_science dbr:⋿ dbr:⦁ dbr:⦂ dbr:⦇ dbr:⦈ dbr:⦉ dbr:⦊ dbr:⨟ dbr:⨠ dbr:⨡ dbr:Index_of_computing_articles dbr:Index_of_software_engineering_articles dbr:Library_of_Congress_Classification:Class_Q_--_Science dbr:List_of_programming_language_researchers dbr:List_of_programming_languages dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:Notation dbr:SPARK_(programming_language) dbr:Geometric_Shapes_(Unicode_block) dbr:Eiffel_(programming_language) dbr:Function_composition dbr:Steve_Reeves_(computer_scientist) dbr:Community_Z_Tools dbr:Composition_of_relations dbr:Z_User_Group dbr:Z_notation_(specification_language) dbr:Zed_notation dbr:Programming_Research_Group dbr:Michael_Spivey dbr:Specification_language dbr:Object-Z dbr:CICS dbr:Tie_(typography) dbr:Tony_Hoare dbr:Larch_family dbr:Miscellaneous_Mathematical_Symbols-B dbr:Syntropy_(software) dbr:Dansk_Datamatik_Center dbr:Altran_Praxis dbr:Fastest dbr:Abrial dbr:Formal_methods dbr:Formal_specification dbr:Delta dbr:History_of_mathematical_notation dbr:List_of_International_Organization_for_Standardization_standards,_12000-13999 dbr:HOL_(proof_assistant) dbr:Interpunct dbr:J._Anthony_Hall dbr:Test_Template_Framework dbr:Jim_Davies_(computer_scientist) dbr:Jim_Woodcock dbr:Kevin_Lano dbr:TLA+ dbr:Jean-Raymond_Abrial dbr:Xi_(letter) dbr:Z_(disambiguation) dbr:Zed dbr:Model-based_specification dbr:B-Method dbr:Maplet dbr:Martin_Henson dbr:Business_rule dbr:Michael_Hinchey dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Cadiz_(disambiguation) dbr:XCB dbr:CADiZ dbr:Refinement_calculus dbr:Message_Authenticator_Algorithm dbr:Model-based_testing dbr:ISO/IEC_13568 dbr:ITSEC dbr:Z++ dbr:Pseudocode dbr:Mondex dbr:Z_schema dbr:Z_(programming_language) dbr:Z_specification_language |
| is dbp:influencedBy of | dbr:Eiffel_(programming_language) |
| is dbp:knownFor of | dbr:Jim_Woodcock dbr:Kevin_Lano |
| is dbp:methods of | dbr:Z_User_Group |
| is dbp:namedAfter of | dbr:Z_User_Group |
| is foaf:primaryTopic of | wikipedia-en:Z_notation |
