Ampersand

DOI10.1007/978-3-642-21070-9_21zbMath1329.68066OpenAlexW2163417252MaRDI QIDQ3007584

Sebastiaan J. C. Joosten, Stef Joosten, Jaap van der Woude, Gerard Michels

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_21

zbMATH Keywords

specification languagetype systemrule-based designrequirements engineeringbusiness rulesdomain-specific feedbackheterogeneous relation algebra

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Software Development in Relation Algebra with Ampersand ⋮ Relation algebra as programming language using the Ampersand compiler ⋮ Ampersand

Uses Software

• Haskell

This page was built for publication: Ampersand