BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
Talks about:
real (3) languag (2) environ (2) specif (2) execut (2) spec (2) microcontrol (1) intertwin (1) implement (1) resourc (1)

Person: Amir A. Khwaja

DBLP DBLP: Khwaja:Amir_A=

Contributed to:

SEKE 20102010
SEKE 20082008
TOOLS USA 20002000
SAC 19931993

Wrote 4 papers:

SEKE-2010-KhwajaU #execution #implementation #realtime #specification
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKE-2008-KhwajaU #execution #modelling #named #specification
RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
TOOLS-USA-2000-Khwaja #concurrent #embedded #multi #testing #thread #validation
An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.
SAC-1993-KhwajaU #editing
Syntax-Directed Editing Environments: Issues and Features (AAK, JEU), pp. 230–237.

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.