A Functional Implementation of the Formal Template Language

A Functional Implementation of the Formal Template Language

There has been growing interest in using the Z notation to describe design patterns and to encourage model driven development, but these are often expressed in terms of instances, rather than in a more general form. Instead of relying on the interpretation of instances, the Formal Template Language...

書誌詳細
第一著者:	Wu, N
フォーマット:	Report
出版事項:	OUCL 2009

類似資料

Formal Relational Database Design: An Exercise in Extending the Formal Template Language
著者:: Wu, N, 等
出版事項: (2014)

Generative Templates for Formal Metamodel Design
著者:: Wu, N
出版事項: (2010)

Towards Formally Templated Relational Database Representations in Z
著者:: Wu, N, 等
出版事項: (2010)

Formal Languages, Formally and Coinductively
著者:: Dmitriy Traytel
出版事項: (2017-09-01)

Functional modeling of formalization malware implementation tactics
著者:: Igor I. Korchagin, 等
出版事項: (2024-11-01)

Natural language and formal languages
著者:: Maciá Fábrega, Josep
出版事項: (2009)

Assembly of Biologically Functional Structures by Nucleic Acid Templating: Implementation of a Strategy to Overcome Inhibition by Template Excess
著者:: Matthew M. Lawler, 等
出版事項: (2022-10-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
著者:: M. S. Kropacheva, 等
出版事項: (2015-03-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
著者:: M. S. Kropacheva, 等
出版事項: (2012-01-01)

Implementation of Structured Object-Oriented Formal Language for Warehouse Management System
著者:: Irfin Afifudi, 等
出版事項: (2020-05-01)

Formal languages and compilation /
著者:: 437251 Reghizzi, Stefano Crespi
出版事項: (2009)

Handbook of formal languages /
著者:: Rozenberg, Grzegorz, 等
出版事項: (1997)

Formalization of natural languages /
著者:: 310743 Kummel, Peter
出版事項: (1979)

Varieties of formal languages /
著者:: 423861 Pin, J. E., 等
出版事項: (1986)

Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
著者:: Jeremy Bryans, 等
出版事項: (2023-08-01)

Formalization of BPMN Gateways using the DD-LOTOS Formal Language
著者:: Toufik Messaoud Maarouk, 等
出版事項: (2023-12-01)

Generation and recognition of formal languages.
著者:: Haines, Leonard Harold
出版事項: (2005)

Jewels of formal language theory /
著者:: 459218 Salomaa, Arto
出版事項: (1981)

Introduction to formal language theory /
著者:: 459631 Harrison, Michael A.
出版事項: (1978)

An introduction to formal languages and automata /
著者:: Linz, Peter, author
出版事項: (c201)

Automata and formal languages : an introduction /
著者:: 357063 Kelley, Dean
出版事項: (1995)

Formal language theory and DNA
著者:: Mohd. Ali, Nor Muhainiah
出版事項: (2004)

An introduction to formal languages and automata /
著者:: 205539 Linz, Peter
出版事項: (2006)

The formal complexity of natural language /
著者:: Savitch, Walter
出版事項: (1987)

Formal models, languages and applications /
著者:: 361113 Subramaniam, K. G., 等
出版事項: (2006)

An introduction to formal languages and automata /
著者:: 205539 Linz, Peter
出版事項: (2001)

Formal language theory and DNA /
著者:: Nor Muhainiah Mohd. Ali, 1981- 483718
出版事項: (2004)

Trends in Language Formalization in Architecture
著者:: Franklim Morais Pereira
出版事項: (2014-12-01)

Formal Language for Objects’ Transactions
著者:: Mo Adda
出版事項: (2024-08-01)

Psychological contract: formalization of language
著者:: José Manuel Magno Lopes, 等
出版事項: (2017-11-01)

A Theory of Formal Choreographic Languages
著者:: Franco Barbanera, 等
出版事項: (2023-08-01)

Investigating the readability of formal specification languages
著者:: Zimmerman, Marc Kenton, 1975-
出版事項: (2013)

Formalizing the Expertise of the Assembly Language Programmer
著者:: Duffey, Roger DuWayne II
出版事項: (2008)

Recent advances in formal languages and applications /
著者:: Esik, Zoltan, 1951-, 等
出版事項: (2006)

Investigating tasks in formal language learning /
著者:: Garcia Mayo, Maria del Pilar
出版事項: (2007)

Formations of Monoids, Congruences, and Formal Languages
著者:: A. Ballester-Bolinches, 等
出版事項: (2015-12-01)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
著者:: PPSKOM, Pusat Pengajian Sains Komputer
出版事項: (2021)

A first course in formal language theory /
著者:: 209648 Rayward-Smith, V. J.
出版事項: (1983)

Elements of formal semantics : an introduction to logic for students of language /
著者:: 286744 Martin, John N.
出版事項: (1987)

Formal Verification of an Implementation of the Roughtime Server
著者:: Altamirano, Christian
出版事項: (2022)