Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅ D.C.Becker S.P.Orr G.B.Titus W.E.Riddle J.C.Wileden J.H.Sayler A.R.Segal
Talks about:softwar (4) design (2) semiform (1) behavior (1) qualiti (1) concurr (1) collect (1) system (1) specif (1) analyz (1)
Person: Allan M. Stavely
DBLP: Stavely:Allan_M=
Contributed to:
1999
19851978Wrote 4 papers:
- CSEET-1999-Stavely #specification #verification
- High-Quality Software through Semiformal Specification and Verification (AMS), pp. 145–155.
- ICSE-1985-StavelyBOT #concurrent #design #tool support
- A Collection of Software Tools for Analyzing Design of Concurrent Software Systems (AMS, DCB, SPO, GBT), pp. 111–118.
- ICSE-1978-RiddleWSSS #behaviour #design #modelling
- Behavior Modelling During Software Design (WER, JCW, JHS, ARS, AMS), pp. 13–22.