Formal Methods in Software Engineering

Software Engineering using Algebraic Specification

Year2003
TypeTalk
StatusPublished
AuthorsDorel Lucanu

Links

Abstract

We present an overview of the use of the algebraic specifcations in software engineering, with the focus on hidden algebra.

BibTeX

@TALK{nus2003, author = "Lucanu, D.", title = {Software Engineering using Algebraic Specification}, institution = {National University of Singapore}, month = "June", year = "2003", note = "National University of Singapore", url = {http://www.comp.nus.edu.sg/cssem.html[NUS]} }