Keyword: XML Format : Search

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Advanced Search

SEARCH GUIDE

Results: 1 - 1of1

Follow results:

per page:

Sort: Relevance

Context for search term 1Search term 1*

All Dates

LastSelect static range

Custom Range

Select starting monthSelect starting year

Select ending monthSelect ending year

Search name	Searched On	Run search
Keyword: XML Format (1)	31 Mar 2025	Run
Keyword: Pass-moves (1)	31 Mar 2025	Run
Keyword: Democratic (1)	31 Mar 2025	Run
Keyword: Refocusing (3)	31 Mar 2025	Run
Keyword: DHA Effect (1)	31 Mar 2025	Run

chapterNo Access
THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION
- Yihai CHEN,
- Huaikou MIAO, and
- Jiang ZHU
Proceedings of the 11th Joint International Computer Conference01 Oct 2005
Preview Abstract
The paper proposes an XML format for Object-Z specification language. We describe several markup format of Object-Z language and compare some existing works, the problems and the issues that arose, and propose a new XML markup format of Object-Z specification language. The new proposal considered the particular requirement of Object-Z specification animation and demonstrates the feasibility and validity by an example.

1