Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

By (author) Sonke Johannes Magnussen

Book cover: Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

Extent: 220 pages

Publisher: Logos Verlag Berlin

Subjects: Technical Sciences: Computer Science, Engineering, IT, & Math

Language: English

Paperback (Published)

(June 2003)

ISBN: 9783832501525

5.75 x 8.31 inches

Price: $61.00

On back order

Add to cart -
back order

The quality of software systems depends on many criteria. Choosing an adequate software process model is essential in meeting quality requirements. When aiming at a rigorous mathematical notion of correctness, formal software development provides an appropriate process model, which ensures that the implementation fulfills the requirements given by a formal specification. The stepwise derivation by transformations represents one approach to formal system development that can be supported by computers. This book first introduces a sound framework for the mechanizable transformation of formal specifications. The framework comprises a specification language, a formal development method and various mechanizable transformation rules. It is then illustrated how the framework is implemented in the Lubeck Transformation System LTS — a tool for the interactive development of software systems.

  • By (author) Sonke Johannes Magnussen

Similar Books

Book cover: Additive Manufacturing of Ceramics Additive Manufacturing of Ceramics

Fundamentals, Techniques and Applications

Edited by Zhangwei Chen Edited by Paolo Colombo

Book cover: Agro-Waste Management and Valorization Agro-Waste Management and Valorization

By (author) Pratibha S. Agrawal By (author) Richa Tiwari By (author) Pramod Belkhode By (author)…

Book cover: AI-Powered Innovation in Materials Science AI-Powered Innovation in Materials Science

The Role of Language Models in Discovery and Design

By (author) Xue Jiang By (author) Yanjing Su

Book cover: Battery Materials Characterization Battery Materials Characterization

Advanced Techniques and Applications

By (author) Ning Li By (author) Liang Zhang

Book cover: Battery Passport Battery Passport

A Comprehensive Guide to Technology, Policy, and Global Implementation

By (author) Xiao Lin By (author) Ilai Bendavid By (author) Bin Wu By (author) Shengrui…

Book cover: Battery Swapping for Sustainable Transportation Battery Swapping for Sustainable Transportation

By (author) Xiao Lin By (author) Xue Wang By (author) Shuoyuan Zhang By (author) Yingying…

Book cover: Biological Processes and Techniques in Zero Waste Management Biological Processes and Techniques in Zero Waste Management

By (author) Garima Awasthi By (author) Mohit Nigam

Book cover: Chemical Recycling of Polyethylene Terephthalate Chemical Recycling of Polyethylene Terephthalate

Methods and Principles

By (author) Maiyong Zhu By (author) Zigao Wang

Book cover: Circular Steel Production Circular Steel Production

Pathways to Net-Zero Carbon Emissions

By (author) Sandra Kiessling By (author) Hamidreza Gohari Darabkhani By (author) Abdel-Hamid Soliman

Book cover: Computational modeling of the FeTi hydrogenation Computational modeling of the FeTi hydrogenation

Scale-bridging atoms and microstructure

By (author) Ebert Daniel Macedo Alvares

Book cover: Conjugated Polymer Synthesis and Materials Applications Conjugated Polymer Synthesis and Materials Applications

Edited by Yoshiki Chujo

Book cover: Constitutive Models of Solid Materials Constitutive Models of Solid Materials

From Mechanical Principles to Engineering Applications

By (author) Yao Yao By (author) Hu Fang By (author) Hongcun Guo By (author) Tao…

Book cover: Core-Shell Nanomaterials Core-Shell Nanomaterials

From Fundamentals to Applications

By (author) Shreya Sharma By (author) Peeyush Phogat By (author) Jahanvi Thakur By (author) N.…

Book cover: Data Science for Batch Processes Data Science for Batch Processes

Statistical Learning, Monitoring and Understanding

By (author) José M. González-Martínez By (author) José Camacho By (author) Joan Borràs-Ferrís By (author)…

Book cover: Designing Socially Aware Robot Motion Designing Socially Aware Robot Motion

A Dynamical Systems Approach

Volume 27

By (author) Xiang Chen

Book cover: Distributed model predictive control for dynamic multi-agent cooperation Distributed model predictive control for dynamic multi-agent cooperation

By (author) Matthias Köhler

Book cover: Electronic Processes in Organic Semiconductors Electronic Processes in Organic Semiconductors

An Introduction

By (author) Anna Köhler By (author) Heinz Bässler

Book cover: Energetic Materials and Techniques Energetic Materials and Techniques

Advances in Chemical Propulsion and Power Generation

Edited by Luigi T. DeLuca Edited by Ruth M. Doherty

Book cover: Engineering Nanoparticles for Biomedical Applications Engineering Nanoparticles for Biomedical Applications

From Theory to Experiments and Modeling

Edited by Sulalit Bandyopadhyay

Book cover: Fluidization Processes Fluidization Processes

Design and Operation

By (author) Jia Wei Chew By (author) Ray Cocco

Book cover: Grinding of Single-Crystal Superalloys Grinding of Single-Crystal Superalloys

Fundamentals and Technologies

By (author) Wenfeng Ding By (author) Qing Miao By (author) Yao Sun By (author) Ning…

Book cover: Harnessing Solar Power Harnessing Solar Power

Designing and Optimizing Architectures for Sustainable Energy Systems

Edited by Shrikaant Kulkarni Edited by Susanta Das

Book cover: HfO2-Based Ferroelectric Materials HfO2-Based Ferroelectric Materials

Fabrication, Characterization and Device Applications

Edited by Xubing Lu

Book cover: High Performance Magnesium Alloys High Performance Magnesium Alloys

Manufacturing and Applications

Edited by Lifei Wang

Book cover: High-Entropy Materials for Energy Storage Devices High-Entropy Materials for Energy Storage Devices

Edited by Chien-Te Hsieh Edited by Pradeep Kumar Panda Edited by Arpan Kumar Nayak

Book cover: High-Performance Deoxidized Steels High-Performance Deoxidized Steels

Inclusion Behavior and Metallurgical Strategies

By (author) Linzhu Wang By (author) Chaoyi Chen By (author) Ruizhi Gao By (author) Jun…

Book cover: High-Tech Concrete Materials High-Tech Concrete Materials

Design, Preparation, and Applications

By (author) Shuguang Hu By (author) Fazhou Wang

Book cover: Hydrogels and Aerogels for Functional Textiles Hydrogels and Aerogels for Functional Textiles

From Sustainable Syntheses to Applications

Edited by Sheraz Ahmad Edited by Faheem Ahmad Edited by Yasir Nawab Edited by Farooq…

Book cover: Investigation of quality and control relevant process correlations in pultrusion by simulation and experiments with application of an inline data acquisition system Investigation of quality and control relevant process correlations in pultrusion by simulation and experiments with application of an inline data acquisition system

Volume 22

By (author) Christoph Heimbucher

Book cover: Iron-Group Metal Compound Nanomaterials Iron-Group Metal Compound Nanomaterials

Preparation, Characterization, Structure, and Applications

By (author) Jinlong Zheng

Book cover: Language – Media – Ideology Language – Media – Ideology

Edited by Marta Noińska Edited by Urszula Patocka-Sigłowy Edited by Żanna Sładkiewicz

Book cover: Large Format Additive Manufacturing Large Format Additive Manufacturing

Polymers, Metals, and Ceramics

Edited by Daniel Moreno Nieto Edited by Daniel Moreno Sánchez Edited by Ahmed A. Hassen…

Book cover: Machine Learning and Big Data-enabled Biotechnology Machine Learning and Big Data-enabled Biotechnology

Edited by Hal S. Alper

Book cover: Marine Corrosion of Steels Marine Corrosion of Steels

Mechanisms and AI-Driven Solutions

By (author) Chao Liu By (author) Bingqin Wang By (author) Xiaogang Li By (author) Shasha…

Book cover: Materials Modeling for High-Performance Solid-State Batteries Materials Modeling for High-Performance Solid-State Batteries

By (author) Junhua Hu By (author) Hongjie Xu By (author) Jinjin Ban By (author) Fanfan…

Book cover: Micro and Nano Gels Micro and Nano Gels

Synthesis, Characterization, Modelling, and Applications

Edited by Takuma Kureha Edited by Daisuke Suzuki

Book cover: Modern Crop Protection Compounds Modern Crop Protection Compounds

4 Volume Set

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Book cover: Modern Crop Protection Compounds Modern Crop Protection Compounds

Volume 1: Herbicides

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Book cover: Modern Crop Protection Compounds Modern Crop Protection Compounds

Volume 2: Fungicides

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Book cover: Modern Crop Protection Compounds Modern Crop Protection Compounds

Volume 3: Insecticides, 2 Volume Set

Edited by Peter Jeschke Edited by Clemens Lamberth Edited by Beth Lorsbach

Book cover: Multi-field Modeling of Soft Active Materials Multi-field Modeling of Soft Active Materials

Properties and Design

By (author) Rui Xiao

Book cover: Next-Generation Electrical Insulating Materials Next-Generation Electrical Insulating Materials

Low-Carbon, Eco-Friendly, and Sustainable Solutions

Edited by Jun-Wei Zha