Travelled to:1 × Spain
1 × USA
Collaborated with:N.R.Reizer G.D.Abowd P.R.H.Place A.W.Brown D.J.Carney P.C.Clements D.B.Smith N.H.Weiderman W.G.Wood
Talks about:standard (1) softwar (1) qualiti (1) system (1) specif (1) requir (1) propos (1) method (1) intens (1) formal (1)
Person: B. Craig Meyers
DBLP: Meyers:B=_Craig
Contributed to:
1995
1994Wrote 2 papers:
- ESEC-1995-BrownCCMSWW #case study #quality #scalability
- Assessing the Quality of Large, Software-Intensive Systems: A Case Study (AWB, DJC, PCC, BCM, DBS, NHW, WGW), pp. 384–404.
- ICRE-1994-ReizerAMP #formal method #requirements #specification #standard #using
- Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.