CoFI: The Common Framework Initiative for Algebraic Specification and Development

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0030591
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Framework Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Algebraic Framework for Synchronous Language Semantics

2013English

A Neuroethics Framework for the Australian Brain Initiative

Neuron
Neuroscience
2019English

An Algebraic Framework for the Feature Interaction Problem

Real-Time Systems
2007English

Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Dual Path Initiative Framework

SSRN Electronic Journal
2006English

MetaChem: An Algebraic Framework for Artificial Chemistries

Artificial Life
BiochemistryGeneticsMolecular BiologyArtificial Intelligence
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy