Diese Seite auf deutsch
SearchDeductive Design of Parallel Software and Hardware Systems
(inactive)
| Start date: | 01.01.1993 |
| End date: | 31.12.1995 |
| Duration: | 01.01.1993 - 31.12.1995 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller (project leader) |
| External scientists / cooperations: |
Prof. Dr. Walter Dosch (ehemals Universität Augsburg) Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid) Prof. Dr. Manfred Broy (TU München) |
| Publications: | Publication list |
Abstract
The description and design of hardware is a special case of concurrent programming. A hardware design is like a "frozen" program which at the same time consists of millions of electronic components, interacting with each other as a parallel system. As a case study of deductive hardware design, all the basic circuits for computers have been derived from a formal specification.