Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.

DOI10.1007/978-3-540-33193-3zbMath1095.68021OpenAlexW4253411337MaRDI QIDQ1773140

Dines Bjørner

Publication date: 25 April 2005

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

Full work available at URL: https://doi.org/10.1007/978-3-540-33193-3

zbMATH Keywords

XMLautomataparallelismcompositionduration calculusdenotational semanticsconcurrencynondeterminismhierarchylive sequence chartsmessage sequence chartsalgebrasyntaxpragmaticsinterval temporal logicattribute grammarcolored Petri netslinguisticscompilermodularisationsemioticsUMLinterpreterstate chartscomputational semanticsBNFcommunicating transaction processesRAISE Specification Languagesemantic typesyntactic typetemporality

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) 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)

Related Items (1)

Semantics in Data and Knowledge Bases

This page was built for publication: Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.