Why use evolving algebras for hardware and software engineering?-Reference-Cited by-同舟云学术

Why use evolving algebras for hardware and software engineering?

Published:1995 Issue: Volume: Page:236-271
ISSN:0302-9743
Container-title:SOFSEM '95: Theory and Practice of Informatics
language:
Short-container-title:

Author:

Börger Egon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60609-2_12.pdf

Reference80 articles.

1. D. Barnocchi. L”Evidenza” nell'assiomatica aristotelica. Proteus, II,5 (1971), pp. 133–144.

2. Ch. Beierle and E. Börger. A WAM extension for type-constraint logic programming: Specification and correctness proof. Research report IWBS 200, IBM Germany Science Center, Heidelberg, December 1991.

3. Ch. Beierle, E. Börger, I. Durđanović U. Glässer, and E. Riccobene. An evolving algebra solution to the steam-boiler control specification problem. Seminar on Methods for Specification and Semantics (Dagstuhl, June 1995), Report, 1995.

4. D. Björner. A Formal Model of the Railway Application Domain System. UNU/IIST PRaCoSy Document no. SP/5/3, January 7, 1994, pages 1–19.

5. D. Björner. Domain Analysis, a Prerequisite for Requirements Capture. UNU/IIST Document, 1995.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Language and Communication Problems in Formalization: A Natural Language Approach;Logic, Computation and Rigorous Methods;2021

2. Communities and Ancestors Associated with Egon Börger and ASM;Logic, Computation and Rigorous Methods;2021

3. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method;Lecture Notes in Business Information Processing;2012

4. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method;Conceptual Modelling and Its Theoretical Foundations;2012

5. A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems;Formal Methods and Software Engineering;2011