Skip to search formSkip to main contentSkip to account menu

Z++

Known as: Z plus plus 
Z++ (pronounced zed plus plus) was an object-oriented extension to the Z specification language. Z++ is an object-oriented extension to the Z… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
C++List of programming languages by typeObject-ZSpecification language

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Productions of charmed mesons and charmonium states in B decays at Belle
for r-like states are presented. An upper limit for the second-class current is also presented. The fractions of longitudinal… 
2014
2014
5 × 50 Gb/s WDM transmission of 32 Gbaud DP-3-PSK over 36,000 km fiber with spatially coupled LDPC coding
A novel 3-PSK modulation format with 2 dB SNR gain over BPSK is implemented for ultra long haul transmission. With spatially… 
2012
2012
Generalized Reinforcement Learning in Perfect-Information Games ∗
This paper studies action-based reinforcement learning in finite perfectinformation games. Restrictions on the valuation updating… 
2011
2011
The Object-Z Specification Language
The Z notation is more popular and is easy to use, but it is procedural in nature. A Z specification starts with a global state… 
2002
2002
Siberian Division of the Russian Academy of Sciences A. P. Ershov Institute of Informatics Systems
2000
2000
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
An effective means for analyzing and reasoning on software systems is to use formal specifications to simulate their execution… 
Review
1991
Review
1991
Z user workshop, Oxford 1990 : proceedings of the fifth annual Z User Meeting, Oxford, 17-18 December 1990
Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation… 
Review
1991
Review
1991
The REDO Project: Final Report
ions from raw source code. The application of abstraction only to code sections identi ed as housing meaningful operations at the… 
Highly Cited
1990
Highly Cited
1990
Z++, An Object-orientated Extension to Z
  • K. Lano
  • Z User Workshop
  • 1990
  • Corpus ID: 45774373
This paper defines an object-orientated extension, Z ++ , to the popular specification language Z [24]. This extension makes… 
1986
1986
Some recent results of J/psi decays from MARK III
The MARK III Collaboration has collected a data sample of 5.8 x 10/sup 6/ produced J/psi's. Results from the previous… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)