50 Jahre modellbasierter Entwurf: Vom Modellieren mit Programmen zum Programmieren mit Modellen
- 6 September 2006
- book chapter
- Published by Springer Science and Business Media LLC
- p. 275-314
- https://doi.org/10.1007/3-540-32743-6_12
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- CASL User ManualLecture Notes in Computer Science, 2004
- Specification and Development of Interactive SystemsPublished by Springer Science and Business Media LLC ,2001
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- Programming by multiset transformationCommunications of the ACM, 1993
- The gamma model and its discipline of programmingScience of Computer Programming, 1990
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- Linda in contextCommunications of the ACM, 1989
- Quantum theory, the Church–Turing principle and the universal quantum computerProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1985
- On design principles for a molecular computerCommunications of the ACM, 1985
- Formal Modeling of Virtual MachinesIEEE Transactions on Software Engineering, 1978