BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
A.Gacek J.Backes K.Slind M.W.Whalen C.Zhou R.Kumar D.Bhatt K.Schloegel V.Ha M.Rangarajan H.Rueß B.Dutertre
Talks about:
interconnect (1) architectur (1) decomposit (1) stateflow (1) framework (1) simulink (1) hierarch (1) specifi (1) softwar (1) resolut (1)

Person: Darren D. Cofer

DBLP DBLP: Cofer:Darren_D=

Contributed to:

HILT 20142014
SEKE 20072007
ICSE 20042004

Wrote 3 papers:

HILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
SEKE-2007-ZhouKBSC #framework #requirements #specification
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.
ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.