| 2002 |
|---|
| 5 | EE | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Paul A. Kogut,
Lewis Hart,
Jeffrey E. Smith,
Jerzy Letkowski,
Pat Emery:
Extending the Unified Modeling Language for ontology development.
Software and System Modeling 1(2): 142-156 (2002) |
| 2001 |
|---|
| 4 | EE | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Paul A. Kogut,
Lewis Hart,
Jeffrey E. Smith,
William S. Holmes III,
Jerzy Letkowski,
Michael L. Aronson:
Extending UML to Support Ontology Engineering for the Semantic Web.
UML 2001: 342-360 |
| 3 | | Kenneth Baclawski,
Mieczyslaw M. Kokar,
Jeffrey E. Smith,
Jerzy Letkowski:
Consistency Checking of RM-ODP Specifications.
WOODPECKER 2001: 17-26 |
| 2 | | Jeffrey E. Smith,
Mieczyslaw M. Kokar,
Kenneth Baclawski:
Formal Verification of UML Diagrams: A First Step Towards Code Generation.
pUML 2001: 224-240 |
| 2000 |
|---|
| 1 | EE | Mieczyslaw M. Kokar,
Kevin M. Passino,
Kenneth Baclawski,
Jeffrey E. Smith:
Mapping an Application to a Control Architecture: Specification of the Problem.
IWSAS 2000: 75-89 |
