dblp.uni-trier.dewww.uni-trier.de

Jeffrey E. Smith

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
5EEKenneth 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
4EEKenneth 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
1EEMieczyslaw 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

Coauthor Index

1Michael L. Aronson [4]
2Kenneth Baclawski [1] [2] [3] [4] [5]
3Patrick Emery (Pat Emery) [5]
4Lewis Hart [4] [5]
5William S. Holmes III [4]
6Paul A. Kogut [4] [5]
7Mieczyslaw M. Kokar [1] [2] [3] [4] [5]
8Jerzy Letkowski [3] [4] [5]
9Kevin M. Passino [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)