| |
| 2008 | ||
|---|---|---|
| 9 | EE | Amir A. Khwaja, Joseph E. Urban: The State of Executable Real-Time Specification Languages and the Need for Advancements. ISORC 2008: 577-583 |
| 8 | Amir A. Khwaja, Joseph E. Urban: RealSpec: an Executable Specification Language for Modeling Resources. SEKE 2008: 97-102 | |
| 2006 | ||
| 7 | EE | Amir A. Khwaja, Joseph E. Urban: A Framework for the Evaluation of Real-time Specification Techniques. International Journal of Software Engineering and Knowledge Engineering 16(6): 987 (2006) |
| 2002 | ||
| 6 | EE | Amir A. Khwaja, Joseph E. Urban: A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. International Journal of Software Engineering and Knowledge Engineering 12(5): 581- (2002) |
| 2000 | ||
| 5 | EE | Amir A. Khwaja: An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller. TOOLS (34) 2000: 15-24 |
| 1997 | ||
| 4 | EE | Amir A. Khwaja: Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. COMPSAC 1997: 104-108 |
| 3 | Amir A. Khwaja, Joseph E. Urban: A Visual Syntax-Directed Editor for the Descartes Specification Language. Softw., Pract. Exper. 27(6): 651-676 (1997) | |
| 1993 | ||
| 2 | EE | Amir A. Khwaja, Joseph E. Urban: Syntax-Directed Editing Environments: Issues and Features. SAC 1993: 230-237 |
| 1 | EE | Yukuh Tung, Amir A. Khwaja, Joseph E. Urban: Multiple views of an executable software specification language. Journal of Systems and Software 21(3): 305-319 (1993) |
| 1 | Yukuh Tung | [1] |
| 2 | Joseph E. Urban | [1] [2] [3] [6] [7] [8] [9] |