Keyword : UML


Learners' Self Checking and Its Effectiveness in Conceptual Data Modeling Exercises
Takafumi TANAKA Hiroaki HASHIURA Atsuo HAZEYAMA Seiichi KOMIYA Yuki HIRAI Keiichi KANEKO 
Publication:   
Publication Date: 2018/07/01
Vol. E101-D  No. 7 ; pp. 1801-1810
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
Conceptual data modelingself checkingartifact-making processUML
 Summary | Full Text:PDF

Synthesis and Refinement Check of Sequence Diagrams
Hisashi MIYAZAKI Tomoyuki YOKOGAWA Sousuke AMASAKI Kazuma ASADA Yoichiro SATO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9 ; pp. 2193-2201
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
UMLsequence diagramrefinementmodel checkingLTSA
 Summary | Full Text:PDF

A System-Level Model of Design Space Exploration for a Tile-Based 3D Graphics SoC Refinement
Liang-Bi CHEN Chi-Tsai YEH Hung-Yu CHEN Ing-Jer HUANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/12/01
Vol. E92-A  No. 12 ; pp. 3193-3202
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Embedded, Real-Time and Reconfigurable Systems
Keyword: 
design space explorationsystem-on-a-chip (SoC)SystemCUML3D graphics
 Summary | Full Text:PDF

BBN Construction for Software Process Tailoring
Wan-Hui TSENG Chin-Feng FAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/03/01
Vol. E90-D  No. 3 ; pp. 648-655
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software process tailoringUMLBBN
 Summary | Full Text:PDF

Constraint-Based Software Specifications and Verification Using UML
Chin-Feng FAN Chun-Yin CHENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/06/01
Vol. E89-D  No. 6 ; pp. 1914-1922
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
constraintsSpecTRM-RLUMLOCLfault trees
 Summary | Full Text:PDF

Rapid Prototyping of a Wireless LAN Implementation Using a UML-Based System Design Methodology
Christos DROSOS Dimitris METAFAS Spyridon BLIONAS George PAPADOPOULOS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/08/01
Vol. E87-D  No. 8 ; pp. 2058-2069
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
UMLsystem design methodologywireless LAN
 Summary | Full Text:PDF

Design Pattern Specification Language: Definition and Application
Woochang SHIN Chisu WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/06/01
Vol. E86-D  No. 6 ; pp. 1011-1023
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
design patternformal specificationDPSLUMLtool
 Summary | Full Text:PDF

An Approach to Specifying Concurrent, Distributed, and Autonomous Object Behaviors Using a High-Level Meta-Object Protocol
Joon-Sang LEE Doo-Hwan BAE 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/05/25
Vol. E83-B  No. 5 ; pp. 999-1012
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
Category: Object Management Architecture/Design Pattern/Frameworks
Keyword: 
Autonomous Decentralized Systems (ADS)object-oriented technologyUMLmeta-object protocolaspect-oriented programming (AOP)
 Summary | Full Text:PDF