|
1 |
Formal Verification of Embedded Java Program
Lee, Tae-Hoon;Kwon, Gi-Hwon;
/
Korea Information Processing Society
, v.12D, no.7, pp.931-936,
|
|
2 |
Application and Design of Metrics for Software Process Measurement
Hwang Sun-Myung;Yeom Hee-Gyun;
/
Korea Information Processing Society
, v.12D, no.7, pp.937-946,
|
|
3 |
Component-Based Systematic Reengineering Process
Cha Jung-Jun;Kim Chul Hong;Yang Young-Jong;
/
Korea Information Processing Society
, v.12D, no.7, pp.947-956,
|
|
4 |
Multiple Object-Based Design Model for Quality Improvement of User Interface
Kim Jeong-Ok;Lee Sang-Young;
/
Korea Information Processing Society
, v.12D, no.7, pp.957-964,
|
|
5 |
Opportunity Tree and Algorithm design to schedule management
Lee, Eun-Se;Lee, Sang-Ho;
/
Korea Information Processing Society
, v.12D, no.7, pp.965-978,
|
|
6 |
Design and Implementation of Adaptable User Interfaces Generation System for Diverse Devices
Kim, Chi-Su;Kim, Young-Tae;
/
Korea Information Processing Society
, v.12D, no.7, pp.979-984,
|
|
7 |
Implementation of OLAP with Template-based CBD
Park, Jong-Mo;Cho, Kyung-San;
/
Korea Information Processing Society
, v.12D, no.7, pp.985-992,
|
|
8 |
A Quantitative Quality Evaluation Approach for the Artifacts of the Defense Component Based Development
Lee Kil-Sup;Lee Hyun-Chul;Lee Sung Jong;
/
Korea Information Processing Society
, v.12D, no.7, pp.993-1000,
|
|
9 |
Reusability Enhancement of the MND-AF Artifacts in the Defense-CBD Methodology
Lee Hyun-Chul;Lee Sang-Ho;Jung Gyung-Chul;Lee Sung Jong;
/
Korea Information Processing Society
, v.12D, no.7, pp.1001-1006,
|
|
10 |
RAiSE : A Graphical Process Modeling Language Providing Semantic Richness and Ease of Use
Lee, Hyung-Won;
/
Korea Information Processing Society
, v.12D, no.7, pp.1007-1016,
|
|
11 |
An Approach to decide the location of a method using the logistic analysis
Jung Young A.;Park Young B,;
/
Korea Information Processing Society
, v.12D, no.7, pp.1017-1022,
|
|
12 |
Study on the Techniques in Component Workflow Variability Implementation based on the Banking Framework
Choi Sung;
/
Korea Information Processing Society
, v.12D, no.7, pp.1023-1030,
|
|
13 |
Quality Measurement of Data Processing by a Protocol Change of Power SCADA System
Lee Yong-Doo;Choi Seong-Man;Yoo Cheol-Jung;Chang Ok-Bae;
/
Korea Information Processing Society
, v.12D, no.7, pp.1031-1038,
|
|
14 |
Performance improvement of Software Build through Software Configuration Management and Work Information Reporting
Kim, Jeong-Il;Lee, Eun-Seok;
/
Korea Information Processing Society
, v.12D, no.7, pp.1039-1048,
|
|
15 |
Scenario-Based Implementation Synthesis for Real-Time Object-Oriented Models
Kim, Sae-Hwa;Park, Ji-Yong;Hong, Seong-Soo;
/
Korea Information Processing Society
, v.12D, no.7, pp.1049-1064,
|
|
16 |
A Technique of Reusable and Reliable Device Driver Development For Embedded-Linux System
Choi, Jae-Hyun;Lee, Woo-Jin;Chon, Ki-Won;
/
Korea Information Processing Society
, v.12D, no.7, pp.1065-1070,
|
|
17 |
User Event-based Information Structure Modeling for Class Abstraction of Business System
Lee Hye-Seon;Park Jai-Nyun;
/
Korea Information Processing Society
, v.12D, no.7, pp.1071-1078,
|
|