Ode to the PST

DOI10.1007/978-3-319-15545-6_2zbMath1453.68005OpenAlexW14895956MaRDI QIDQ5256333

Laith Raed, Nora Koch, Anton Fasching, Annabelle Klarl, Marianne Busch, Christian Kroiss, Andreas Schroeder, Philip Mayer, Matthias Hoelzl, Lenz Belzner

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_2

zbMATH Keywords

Institute of InformaticsLMULudwig-Maximilians-Universität München

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematics at specific universities (01A73) History of computer science (68-03)

Uses Software

• Helena

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A contract-based approach to adaptivity
• Specification and refinement of mobile systems in MTLA and mobile UML
• A formal approach to object-oriented software engineering
• A Heterogeneous Approach to UML Semantics
• Abstraction for Concurrent Objects
• Which Soft Constraints do you Prefer?
• Foundations for Ensemble Modeling – The Helena Approach
• Adapting Proofs-as-Programs
• Objects, Agents, and Features

This page was built for publication: Ode to the PST