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 × France
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
M.P.E.Heimdahl A.C.Tribble J.M.Thompson M.W.Whalen A.Rajan
Talks about:
base (4) model (3) develop (2) requir (2) shall (2) prove (2) prototyp (1) coverag (1) between (1) system (1)

Person: Steven P. Miller

DBLP DBLP: Miller:Steven_P=

Contributed to:

TACAS 20092009
ISSTA 20062006
RE 20062006
FME 20032003
ESEC/FSE 19991999

Wrote 5 papers:

TACAS-2009-Miller #development #model checking #modelling
Bridging the Gap Between Model-Based Development and Model Checking (SPM), pp. 443–453.
ISSTA-2006-WhalenRHM #metric #testing
Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.
RE-2006-Miller #development #modelling #proving #requirements
Proving the Shalls: Requirements, Proofs, and Model-Based Development (SPM), p. 261.
FME-2003-MillerTH #proving
Proving the Shalls (SPM, ACT, MPEH), pp. 75–93.
ESEC-FSE-1999-ThompsonHM #embedded #prototype
Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.

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.