A formal approach to object-oriented software engineering
type: Item
instance of: scholarly article
title: A formal approach to object-oriented software engineering
zbMATH Open document ID: 1001.68024
DOI: 10.1016/S0304-3975(01)00367-X
author: Martin Wirsing
author: Alexander Knapp
published in: Theoretical Computer Science
publication date: 2002-08-13T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1780629
zbMATH Keywords: integrated formal software engineering
zbMATH Keywords: OOSE
zbMATH Keywords: rewriting logic
zbMATH Keywords: Maude
zbMATH Keywords: reflection
zbMATH Keywords: process algebra
describes a project that uses: Maude
MaRDI profile type: Publication
cites work: Q2767181
cites work: Q3677154
cites work: Process Algebra
cites work: Algebra of communicating processes with abstraction
cites work: Q4222851
cites work: Q4851564
cites work: A semantic comparison of fusion and syntropy
cites work: Q3839051
cites work: Q4270072
cites work: Q2767179
cites work: Q4271959
cites work: Q4385539
full work available at URL: s0304-3975(01)00367-x
OpenAlex ID: W4212780887
description: scientific article; zbMATH DE number 1780629