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
3 × USA
Collaborated with:
B.Fenicle G.T.Leavens N.Cataño Q.Wang X.Chen A.L.Baker C.Rueda V.Rivera D.Yu
Talks about:
specif (5) translat (3) formal (3) methodolog (2) interchang (2) servic (2) semant (2) machin (2) execut (2) applic (2)

Person: Tim Wahls

DBLP DBLP: Wahls:Tim

Contributed to:

SEFM 20142014
SAC 20122012
SAC 20092009
SAC 20032003
SAC 20032004
SAC 20012001
SAC 19991999

Wrote 8 papers:

SEFM-2014-WangW #database
Translating Event-B Machines to Database Applications (QW, TW), pp. 265–270.
SAC-2012-CatanoWRRY #ml #specification
Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
SAC-2009-CatanoW #case study #java #ml #specification
Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
A Methodology to Provide and Use Interchangeable Services (BF, TW), pp. 1140–1146.
A secure methodology for interchangeable services (BF, TW), pp. 343–349.
SAC-2001-ChenW #specification #user interface #visual notation
A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.
SAC-2001-WahlsL #algorithm #concurrent #constraints #modelling #semantics #source code #specification
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (TW, GTL), pp. 567–575.
SAC-1999-LeavensWB #data flow #diagrams #semantics #specification
Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.

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.