Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Utting, Mark (9)
Weng, Min-Hsien (5)
Cleary, John G. (4)
Malik, Petra (3)
Cleary, J G (1)
Cleary, John G (1)
Minyi Guo (1)
Pavan Balaji (1)
Weng, M H (1)
Zhiyi Huang (1)
Year
Medium:
Online (9)
Type
BLLDB-Access:
free (9)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 9 of 9
1
The JStar language philosophy
Utting, Mark
;
Weng, Min-Hsien
;
Cleary, John G
. - : Elsevier BV, North-Holland, 2014
BASE
Show details
2
The JStar language philosophy
Utting, Mark
;
Weng, Min-Hsien
;
Cleary, John G.
. - : Elsevier, 2014
BASE
Show details
3
The JStar language philosophy
Utting, Mark
;
Weng, M H
;
Cleary, J G
. - : Australian Computer Society Inc., 2013
BASE
Show details
4
The JStar language philosophy
Utting, Mark
;
Weng, Min-Hsien
;
Cleary, John G.
. - : Association for Computing Machinery (ACM), 2013
BASE
Show details
5
The JStar language philosophy
Utting, Mark
;
Weng, Min-Hsien
;
Cleary, John G.
. - : University of Waikato, Department of Computer Science, 2013
BASE
Show details
6
The JStar language philosophy
Utting, Mark
;
Weng, Min-Hsien
;
Cleary, John G.
. - : The Association for Computing Machinery, 2013
BASE
Show details
7
CZT: A framework for Z tools
Malik, Petra
;
Utting, Mark
. - : Springer Berlin Heidelberg, 2005
BASE
Show details
8
CZT: A Framework for Z Tools
Malik, Petra
;
Utting, Mark
In: ZB 2005 (2005)
BASE
Show details
9
CZT: a framework for Z tools
Malik, Petra
;
Utting, Mark
. - : Springer, 2005
Abstract:
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z.
Keyword:
Inheritance hierarchy
;
Java interface
;
Pattern language
;
Schema text
;
Visitor pattern
URL:
https://espace.library.uq.edu.au/view/UQ:8286652
BASE
Hide details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
9
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern