Travelled to:1 × France
Collaborated with:G.T.Leavens T.Wahls
Talks about:specif (2) postcondit (1) techniqu (1) languag (1) express (1) diagram (1) semant (1) formal (1) enhanc (1) style (1)
Person: Albert L. Baker
DBLP: Baker:Albert_L=
Contributed to:
1999
1999Wrote 2 papers:
- FM-v2-1999-LeavensB #specification
- Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (GTL, ALB), pp. 1087–1106.
- SAC-1999-LeavensWB #data flow #diagrams #semantics #specification
- Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.