BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Jamaica
2 × Canada
3 × USA
Collaborated with:
S.Rugaber L.K.Dillon L.M.Wills R.Behrends K.Tucker T.Shikano
Talks about:
model (3) interleav (2) interfac (2) approach (2) program (2) analysi (2) autom (2) user (2) base (2) leightweight (1)

♂ Person: Kurt Stirewalt

DBLP DBLP: Stirewalt:Kurt

Facilitated 2 volumes:

ASE 2007GCh
ASE 2004PrCh

Contributed to:

MoDELS 20052005
ASE 20012001
ICSE 20012001
FSE 20002000
ASE 19991999
WCRE 19991999
ASE 19981998
ICSM 19951995
WCRE 19951995

Wrote 10 papers:

MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl
Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
ASE-2001-RugaberSS #reverse engineering
Adequate Reverse Engineering (SR, TS, KS), p. 232–?.
ICSE-2001-DillonS #analysis #graph #specification #using
Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
ICSE-2001-StirewaltD #analysis #approach #component #formal method #tool support
A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
FSE-2000-BehrendsS #approach #composition #concurrent #reliability #source code
The universe model: an approach for improving the modularity and reliability of concurrent programs (RB, KS), pp. 20–29.
ASE-1999-Stirewalt #user interface
Separating Concerns in Direct Manipulation User Interfaces (KS), p. 199–?.
WCRE-1999-TuckerS #interface #modelling #re-engineering
Model Based User-Interface Reengineering (KT, KS), p. 56–?.
ASE-1998-StirewaltR #automation #composition #generative #user interface
Automating UI Generation by Model Composition (KS, SR), p. 177–?.
ICSM-1995-RugaberSW #detection
Detecting interleaving (SR, KS, LMW), pp. 265–274.
WCRE-1995-RugaberSW #comprehension #problem
The Interleaving Problem in Program Understanding (SR, KS, LMW).

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.