Fundamental Approaches to Software Engineering

DOI10.1007/b95935zbMath1129.68459OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428886

Daniel Moldt, Jan Ortmann

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95935

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Model transformation and formal verification for semantic web services composition ⋮ DaGen

Uses Software

• Renew

This page was built for publication: Fundamental Approaches to Software Engineering