Noriaki IZUMI

Workflows with Passbacks and Incremental Verification of Their Correctness
Osamu TAKAKI  Izumi TAKEUTI  Noriaki IZUMI  Koiti HASIDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 989-1002
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
workflow,  verification,  correctness,  passback,  incremental verification, 
  Summary |  Full Text:PDF (726.2KB)
DODDLE-OWL: Interactive Domain Ontology Development with Open Source Software in Java
Takeshi MORITA  Naoki FUKUTA  Noriaki IZUMI  Takahira YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 945-958
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Knowledge Engineering
Keyword: 
domain ontology,  OWL,  open software, 
  Summary |  Full Text:PDF (3.5MB)
A Graphical RDF-Based Meta-Model Management Tool
Takeshi MORITA  Noriaki IZUMI  Naoki FUKUTA  Takahira YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1368-1377
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
Semantic Web,  RDF,  RDFS,  editor,  meta-model management, 
  Summary |  Full Text:PDF (913.1KB)