In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML seen as a dat...
Tae-Sun Chung, Sangwon Park, Sang-Yong Han, Hyoung...
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...