Travelled to:
1 × USA
Collaborated with:
J.M.Atlee
Talks about:
softwar (1) semant (1) requir (1) model (1) logic (1) scr (1)
Person: Michael A. Buckley
DBLP: Buckley:Michael_A=
Contributed to:
Wrote 1 papers:
- ISSTA-1996-AtleeB #requirements #semantics
- A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.