CoFI with Don Sannella (Q724933)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	CoFI with Don Sannella	scientific article

Statements

scholarly article

0 references

CoFI with Don Sannella (English)

0 references

zbMATH Open document ID

0 references

10.1016/j.tcs.2018.02.034

0 references

Peter D. Mosses

0 references

Theoretical Computer Science

0 references

publication date

26 July 2018

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

algebraic specification

0 references

software development

0 references

formal methods

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2018.02.034

0 references

0 references

0 references

Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers

0 references

CASL reference manual. The complete documentation of the common algebraic specification language.

0 references

CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.

0 references

0 references

0 references

0 references

Toward formal development of programs from algebraic specifications: Parameterisation revisited

0 references

0 references

Foundations of algebraic specification and formal software development.

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:724933

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q724933&oldid=36411549"