Wuhan University Journal of Natural Sciences 2001 Issue 1 Restructuring C Programs into C++ Programs

Restructuring C Programs into C++ Programs
Zhang Ying;ZHOU Yu-ming;Xu Bao-wen;Liu Yuan

..............page:256-262

Remolding Diversified Objects in Ada95: Toward A-Object Pattern
Liang Xian-zhong;Wang Zhen-yu

..............page:247-255

Geo-Agents: Design and Implement
Ding Li;QU Lei;Zhang Ying;LUO Ying-wei;Wang Xiao-lin;XU Zhuo-Qun

..............page:451-459

The Relation of Department Components and Activity in Spatial Information Infrastructure
Yi Shan-zhen;ZHOU Li-Zhu;Cheng Ji-cheng;Li Qi

..............page:460-466

Evolving Objects for Software Engineering
Wang xiao-ling;DONG Yi-Sheng

..............page:263-267

Object Replication and CORBA Fault-Tolerant Object Service
Yeh Yao-ming;Sun Wen-Da;Chen Yeong-Sheng

..............page:268-277

The Research of System Architecture in Expert System
Zou Cheng-ming;Zhong Luo

..............page:278-282

Matching Strategies and Fuzzy URLs in Web-Based Component Retrieving
Wang Ying;Sang Da-yong

..............page:283-287

A Study of Method on Connectivity Analysis of Between Software Components
Hu Feng;LIN Zi-yu;Pen De-chun

..............page:288-291

Code Component Composition Reuse Is a New Programming Paradigm
Ying Shi;Yuan Sheng-Qiong;Xu Gang;He Ke-Qing

..............page:292-297

Representation and Adaptive Transformation of Reusable Software Components
XU Zheng-quan;Palakiyem Wallah

..............page:289-303

New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method
He Yan-xiang;Song Qiang;Huang Qian

..............page:304-312

Two Generic Frameworks of Multiple Viewpoints Oriented Requirements Method and Their Compariso
Song Qiang;He Yan-xiang;Huang Qian

..............page:313-319

Applying Logic Programming to Knowledge Discovery on the Internet
Cheng Xi;Feng Gang;Yin Bin

..............page:320-325

Programming with Conditionals: Epistemic Programming for Scientific Discovery
Jing-de Cheng

..............page:326-332

Autonomous Evolutionary Information Systems
Jing-de Cheng;LIANG Yi-wen;Li Huan;Kang Li-shan;DONG Hong-bin

..............page:333-339

The Report of Virtual Exhibition Software Development
YU Jian-xin;SUN Yuan-Hao;GONG Zhen-yu;Cao Jing

..............page:340-346

Multi-Granularity Page Size Support for Linux and the Performance Evaluation
Naohiko Shimizu

..............page:347-350

A Glance at the Middleware Technology
Zhong Cui-hao

..............page:351-354

China's Software Industry Aiming at a Higher Standard
Ju De-hua

..............page:355-358

A Way to Build Software Culture: Distributed Object-Oriented Software Engineering over Internet
Tian Ai-jing;Zhang Ling;LI Zong-rong

..............page:359-361

Loop Peeling Based on Quasi-Invariance/Induction Variables
Litong Song;Robert Glück;Yoshihiko Futamura

..............page:362-367

Abstraction from Constructors and Functional Constructors and Their Applications
Kazuhiko Kakehi;Robert Glück;Yoshihiko Futamura

..............page:367-374

Supercompiler Scp4:Use of Quasi-Distributive Laws in Program Transformation
Andrei P.Nemytykh

..............page:375-382

Static Analysis of Java Bytecode
Jian-jun Zhao

..............page:383-390

Structural Indexing for 3D Solid Digital Library
Han Shui-hua;Lu Zheng-ding;CHEN Chuan-bo

..............page:438-442

Database-Based Web Page
Liang Dan-xi;Liu Gang;LI En-min;PENG Xue-hua

..............page:443-447

Routing Protocols for Transmitting Large Databases or Multi-databases Systems
He Hong;Ma Shao-han

..............page:448-450

Scaling up the DBSCAN Algorithm for Clustering Large Spatial Databases Based on Sampling Technique
Guan Ji-hong;He Yan-xiang;ZHOU Shui-geng;Bian Fu-ling

..............page:467-473

Building Distributed Web GIS: A Mobile-Agent Based Approach
Guan Ji-hong;ZHOU Shui-geng;Bian Fu-ling;MENG Ling-kui

..............page:474-481

The Application of Geographic Information System on Telecommunication Cable Management System
He Hong-bo;Wang Wen-jun;Zeng Qiao-ming

..............page:482-485

A Multi-Agent Immunology Model for Security Computer
LIANG Yi-wen;Li Huan;Kang Li-shan;DONG Hong-bin

..............page:486-490

Development and Evaluation of a Distance Learning System Based on CSCW
YIN Hao;Zhu Guang-xi;LI Xiao-long;ZHU Yao-ting;He Da-an

..............page:491-494

Event-based Implicit Invocation Decentralized in Ada
Liang Xian-zhong;Wang Zhen-yu

..............page:239-246

Modeling Digital Video Database
Yu Jun-qing;ZHOU Dong-ru;Jin Ye;Xu Jun

..............page:234-238

Study on Agent-Based Methods for Concurrency Control in CSCW
Li Hu;YAO Shu-zhen;LIU Chang-hui

..............page:495-499

Generalized Group Signature Scheme
LI Zi-chen;Dai Yi-qi;WU Xu-dong

..............page:500-504

Computer System Reliability Allocation Method and Supporting Tool
BEN Ke-rong;YAN Jiong;Wang Ji

..............page:505-510

A Software Quality Evaluation System: JT-SQE
SHI Xiao-ying;Yang Lan

..............page:511-515

Comparison between CMM2 & ISO9001
Pan Qiu-ling;Liu Zong-tian

..............page:516-523

Softev: UML-Based PSEE Environment
Pan Qiu-ling;Liu Zong-tian;JIA Liang;Xiu Qing;Pan Biao

..............page:524-530

Parallel Algorithm in Surface Wave Waveform Inversion
CAO Xiao-lin;SONG Jun-qiang

..............page:574-578

Assigning Task by Parallel Genetic Algorithm Based on PVM
ZHENG Zhi-jun;DONG Xiao-She;ZHENG Shou-qi

..............page:579-584

Bending-Rays Imaging Based on Genetic Algorithm
LIU Huai-lin;Liu Hong;Chen Shu-zhen

..............page:585-588

An Inversion Evolutionary Algorithm on How to Convert FDP to TSP
Xu Jiang-wen;ZHANG Jin-bo;Li Yuan-xiang

..............page:589-592

Dynamic Slicing of Object-Oriented Programs
Jian-jun Zhao

..............page:391-397

Dependence Analysis Based on Dynamic Slicing for Debugging
Chen Zhen-qiang;Xu Bao-wen

..............page:398-404

An Object Extraction Model Using Association Rules and Dependence Analysis
Li Shen-zhi;Chen Zhen-qiang;ZHOU Yu-ming;Xu Bao-wen

..............page:405-409

Data Model Transformation in CAD System for Multi-View Modeling
Toyohiko Hirota;Masaaki Hashimoto;XU Jing-wen;ZHANG Jin-bo;Li Yuan-xiang

..............page:410-415

Hierarchical Classification of Chinese Documents Based on N-grams
ZHOU Shui-geng;Guan Ji-hong;He Yan-xiang

..............page:416-422

Registering Different DBMSs to Panorama with CORBA
Sarem Mudar;LI Rui-xuan;XIAO Wei-jun;Lu Zheng-ding

..............page:423-431

XIDM: A Common Data Model Based on XML
Li Bing;Lu Zheng-ding;Peng De-chun

..............page:432-437

An Overview on Wavelet Software Packages
Fan Qi-bin

..............page:593-600

Data Mining and Neural Network Techniques in Case Based System
NI Zhi-wei;CAI Qing-Sheng;Li Long-shu

..............page:601-605

Inferring Requirement Goals from Model Implementing in UML
Tang Sheng-qun;Liu Wei;Ma Jie;Xia Lun-xian;Jiang Hao-lan

..............page:229-233

Software Process Modeling with UML in Development of Medical Insurance MIS
LI Si-guang;LIN Zi-yu;Tang Sheng-qun;XIAO Shao-wu

..............page:224-228

An Analysis Method of Business Application Framework
He Ke-qing;FAN Hui-hua;Ying Shi

..............page:218-223

A Software Pattern of the Genetic Algorithm -a Study on Reusable Object Model of Genetic Algorithm
Zhuo Shi;Liu Chao;He Ke-qing

..............page:209-217

Engineering BioInformatics
Yike Guo

..............page:611

Inverse Computation and the Universal Resolving Algorithm
Sergei Abramov;Robert Glück

..............page:31-45

On the Consortium for Business Object Promotion (CBOP)
Hajime;Horiuchi

..............page:25-30

The New Methodology
Martin Fowler

..............page:12-24

Automatic Generation of Very Efficient Programs by Generalized Partial Computation
Yoshihiko Futamura;Zenjiro Konishi;Robert Glück;Xu Yong-song;He Ke-qing;Ying Shi

..............page:1-11

ERP Solution for Large & Medium State Firms
Philip N.Zhang

..............page:612-618

Jasmine2000 the Comprehemsive e-Business Solution

..............page:619

ARK Information Systems

..............page:620

A Simple Game for the Study of Trust in Distributed Systems
Zo Diamadi;Michael J.Fischer

..............page:72-82

From Workflow to Interworkflow
Kenichi Okada;Haruo Hayami;Kimiyo Sagehashi

..............page:63-71

A Tentative Research on Complexity of Automatic Programming
Kang Li-shan;Li Yan;Chen Yu-ping;Liang Xian-zhong;Wang Zhen-yu

..............page:59-62

Design Knowledge and Software Engineering
Zenya Koono;Hui Chen;Hassan Abolhassani;Behrouz H.Far

..............page:48-58

A Design Method of Business Application Framework Based on
He Ke-qing;YANG Chun-wen;Ying Shi

..............page:204-208

Role Modeling: A Modeling Method for Software Pattern at Knowledge Level
Xu Yong-song;He ke-qing;Ying Shi

..............page:200-203

Reflective State Pattern with Dynamic Constructiveness
Jiang Hong;He Ke-qing;Ying Shi

..............page:191-199

The Optimal Price Policy of Congener Software Product
Hu Ren-sheng

..............page:531-534

Gradient Gene Algorithm: a Fast Optimization Method to MST Problem
ZHANG Jin-bo;XU Jing-wen;Li Yuan-xiang

..............page:535-540

Scheduling in a Meta Search Engine by Genetic Algorithm
Zhang Wei-feng;Xu Bao-wen;ZHOU Xiao-yu;Huang Hui

..............page:541-546

Design of Evolvable Hardware for Robotic Navigation
Yong Liu;Tetsuya Higuchi;Masaya lwata

..............page:547-554

Edge Crossing Minimization Algorithm for Hierarchical Graphs Based on Genetic Algorithms
Shen Wei-xiang;HUANG Jing-wei

..............page:555-559

Asynchronous Nested Optimization Algorithms and Their Parallel Implementation
Hans W.Moritsch;G.Ch.Pflug;M.Siomak

..............page:560-567

Parallel Computing of Ocean General Circulation Model
Zhang Li-lun;SONG Jun-qiang;Li Xiao-mei

..............page:568-573

Verify UML Statecharts with SMV
Chen Hai-yan;Dong Wei;Wang Ji;CHEN Huo-wang

..............page:183-190

Extended UML with Role Modeling
He Ke-qing;Jiang Hong;He Fei;Ying Shi

..............page:175-182

An Open Environment for Cooperative Equational Solving
Tetsuo Ida;Mircea Marin;Norio Kobayashi

..............page:169-174

Federated Spatial Databases and Interoperability
Gong Jian-ya;WANG Yan-dong

..............page:164-168

Software Technology for E-Commerce Era
Chen-shing Chou

..............page:159-163

Software Engineering Technology for the 21st Century
CHENG Hu

..............page:152-158

Fujitsu's E-Business Proposal --Overview of INTERSTAGE Software Platform
Haruo Makimoto

..............page:147-151

Concrete Physics Method for Solving NP hard Problem
Huang Wen-qi

..............page:140-146

Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols --An Investigation in Electronic Commerce
Wei Jun;Cheung Shing-Chi;Wang Xu

..............page:126-139

E-Forms in E-Business
Ju De-hua;Sheng Hao-lin;Shen Bei-jun

..............page:121-125

New Trend of Database for the Internet Era --Object database and its application
Takashi Kanda;Kazuo Mineno

..............page:110-120

PORLES
SUN Yong-qiang;Xu Shu-ting;ZHU Feng-hua;Lai Shu-hua

..............page:100-109

Finding the Mid-Path
Alice E.Fischer

..............page:83-99

An Evolutionary Algorithm to Optimization of Discrete Problem Based on Pheromone
HUANG Zhang-can;Wu Fang-cai;Chen Si-duo

..............page:606-610