Software engineering 1. Abstraction and modelling.

zbMATH Open1095.68020MaRDI QIDQ1773139

Dines Bjørner

Publication date: 25 April 2005

Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

zbMATH Keywords

softwarecalculuslistquantificationdesignsignatureparallelismJavatypeinvariantchannelengineeringrequirementsmapimplementationCSPgraph algebraPetri netinferencemoduleconcurrencydataspecificationnondeterminismsequencemodelfunctionalgebragrammarsubtypinginterpretationvalidationunionassertionconstructorbindingprocessaxiomexpressionfinite state machineattributeoverloadingLSCobject-orientedRAISEfix pointdeadlockMSCdocumentationapplicative programmingCartesianabstract typedestructorRSL

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Software engineering 1. Abstraction and modelling.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1773139)