Wuhan University Journal of Natural Sciences 2001 Issue 2 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

Evolving Objects for Software Engineering
Wang xiao-ling;Dong yi-sheng

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

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;Cheng Ji-cheng

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

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

..............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

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;Yuan Jing-ling

..............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:298-303

New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method
He Yanxiang;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;Tian Ai-jing;Zhang Ling

..............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:368-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

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

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 Enmin;Peng Xue-hua

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

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

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

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

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

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

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

Modeling Digital Video Database System with UML
Yu Jun-qing;Zhou Dong-ru;Jin Ye;Xu Jun

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

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

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

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;Wu Xu-dong;Dai Yi-qi

..............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;Wu Peng-cheng

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

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

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

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

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

An Overview on Wavelet Software Packages
Fan Qi-bin;Li Hong

..............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

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

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

Engineering BioInformatics
Yike Guo

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

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 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

A Design Method of Business Application Framework Based on Software Patterns
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

Verify UML Statecharts with SMV
Chen Hai-yan;Dong Wei;Wang Ji;Chen Huowang

..............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

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

PORLES:A Parallel Object-Relational Database System
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

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:46-58

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

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