Collaborated with:C.L.Heitmeyer B.G.Labaw M.Altman L.Andreev M.Diggory G.King E.Kolster A.Sone S.Verba M.Krot
Talks about:overview (1) virtual (1) softwar (1) project (1) consist (1) specif (1) requir (1) center (1) style (1) check (1)
Person: Daniel L. Kiskis
DBLP: Kiskis:Daniel_L=
Contributed to:
1995
2001Wrote 2 papers:
- RE-1995-HeitmeyerLK #consistency #requirements #specification
- Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.
- JCDL-2001-AltmanADKKSVKK #bibliography
- Overview of the virtual data center project and software (MA, LA, MD, GK, EK, AS, SV, DLK, MK), pp. 203–204.