An Approach to Animating Z Specifications

doi 10.1109/cmpsac.1995.524767
Full Text
Abstract

Available in full text

Date

Unknown

Authors

Unknown

Publisher

IEEE Comput. Soc. Press

Related search

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming
Software
2019English

Anticipating Other Worlds, Animating Our Selves: An Invitation to Comparative Education

ECNU Review of Education
2020English

Animating Tangible Futures

Performance Research
Visual ArtsPerforming Arts
2019English

Introducing Software Specifications to an Undergraduate Software Engineering Program

English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

Animating the Carbon Cycle

Ecosystems
Environmental ChemistryEvolutionEcologySystematicsBehavior
2013English

Animating the Human Muscle Structure

Computing in Science and Engineering
EngineeringComputer Science
2007English

Method Specifications Subject Area Discipline Based on Ontological Approach

Voprosy kiberbezopasnosti
2014English

Building Specifications in an Arbitrary Institution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy