Travelled to:
1 × Japan
1 × USA
Collaborated with:
∅
Talks about:
program (2) evolutionari (1) construct (1) process (1) specif (1) reason (1) machin (1) formal (1) code (1)
Person: Friedrich L. Bauer
DBLP: Bauer:Friedrich_L=
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- ICSE-1982-Bauer #reasoning #specification
- From Specifications to Machine Code: Program Construction through Formal Reasoning (FLB), pp. 84–93.
- ICSE-1976-Bauer #process #programming
- Programming as an Evolutionary Process (FLB), pp. 223–234.