Collaborated with:J.Cramer M.Goedicke M.Große-Rhode M.Löwe H.Ehrig D.Jacobs
Talks about:modul (2) relationship (1) descript (1) program (1) languag (1) between (1) algebra (1) toward (1) specif (1) formal (1)
Person: Werner Fey
DBLP: Fey:Werner
Contributed to:
1991Wrote 2 papers:
- CCPSD-1991-CramerFGG #component #towards
- Towards a Formally Based Component Description Language (JC, WF, MG, MGR), pp. 358–378.
- CCPSD-1991-LoweEFJ #algebra #on the #specification
- On the Relationship Between Algebraic Module Specifications and Program Modules (ML, HE, WF, DJ), pp. 83–98.