| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction from constructors and functional constructors and their applications
|
Kakehi, Kazuhiko
|
|
2001
|
|
1-2 |
p. 368-374
|
artikel
|
| 2 |
A design method of Business Application Framework based on software patterns
|
Ke-qing, He
|
|
2001
|
|
1-2 |
p. 204-208
|
artikel
|
| 3 |
A glance at the middleware technology
|
Cui-hao, Zhong
|
|
2001
|
|
1-2 |
p. 351-354
|
artikel
|
| 4 |
A multi-agent immunology model for security computer
|
Yi-wen, Liang
|
|
2001
|
|
1-2 |
p. 486-490
|
artikel
|
| 5 |
An analysis method of business application framework
|
Ke-qing, He
|
|
2001
|
|
1-2 |
p. 218-223
|
artikel
|
| 6 |
An evolutionary algorithm to optimization of discrete problem based on pheromone
|
Zhang-can, Huang
|
|
2001
|
|
1-2 |
p. 606-610
|
artikel
|
| 7 |
An inversion evolutionary algorithm on how to convert FDP to TSP
|
Jing-wen, Xu
|
|
2001
|
|
1-2 |
p. 589-592
|
artikel
|
| 8 |
An object extraction model using association rules and dependence analysis
|
Shen-zhi, Li
|
|
2001
|
|
1-2 |
p. 405-409
|
artikel
|
| 9 |
An open environment for cooperative equational solving
|
Ida, Tetsuo
|
|
2001
|
|
1-2 |
p. 169-174
|
artikel
|
| 10 |
An overview on wavelet software packages
|
Qi-bin, Fan
|
|
2001
|
|
1-2 |
p. 593-600
|
artikel
|
| 11 |
Applying Logic Programming to knowledge discovery on the Internet
|
Xi, Cheng
|
|
2001
|
|
1-2 |
p. 320-325
|
artikel
|
| 12 |
ARK Information Systems
|
|
|
2001
|
|
1-2 |
p. 620
|
artikel
|
| 13 |
A simple game for the study of trust in distributed systems
|
Diamadi, Zoë
|
|
2001
|
|
1-2 |
p. 72-82
|
artikel
|
| 14 |
A software pattern of the Genetic Algorithm
|
Shi, Zhuo
|
|
2001
|
|
1-2 |
p. 209-217
|
artikel
|
| 15 |
A software quality evaluation system: JT-SQE
|
Xiao-ying, Shi
|
|
2001
|
|
1-2 |
p. 511-515
|
artikel
|
| 16 |
Assigning task by parallel genetic algorithm based on PVM
|
Zhi-jun, Zheng
|
|
2001
|
|
1-2 |
p. 579-584
|
artikel
|
| 17 |
A study of method on connectivity analysis of between software components
|
Feng, Hu
|
|
2001
|
|
1-2 |
p. 288-291
|
artikel
|
| 18 |
Asynchronous nested optimization algorithms and their parallel implementation
|
Moritsch, Hans W.
|
|
2001
|
|
1-2 |
p. 560-567
|
artikel
|
| 19 |
A tentative research on complexity of Automatic Programming
|
Li-shan, Kang
|
|
2001
|
|
1-2 |
p. 59-62
|
artikel
|
| 20 |
Automatic generation of very efficient programs by Generalized Partial Computation
|
Futamura, Yoshihiko
|
|
2001
|
|
1-2 |
p. 1-11
|
artikel
|
| 21 |
Autonomous evolutionary information systems
|
Cheng, Jing-de
|
|
2001
|
|
1-2 |
p. 333-339
|
artikel
|
| 22 |
A way to build software culture: Distributed Object-Oriented Software Engineering over Internet
|
Ai-jing, Tian
|
|
2001
|
|
1-2 |
p. 359-361
|
artikel
|
| 23 |
Bending-rays imaging based on Genetic Algorithm
|
Huai-lin, Liu
|
|
2001
|
|
1-2 |
p. 585-588
|
artikel
|
| 24 |
Building distributed web GIS: a mobile-agent based approach
|
Ji-hong, Guan
|
|
2001
|
|
1-2 |
p. 474-481
|
artikel
|
| 25 |
China’s software industry aiming at a higher standard
|
De-hua, Ju
|
|
2001
|
|
1-2 |
p. 355-358
|
artikel
|
| 26 |
Code component composition reuse is a new programming paradigm
|
Shi, Ying
|
|
2001
|
|
1-2 |
p. 292-297
|
artikel
|
| 27 |
Comparison between CMM2 & ISO9001
|
Qiu-ling, Pan
|
|
2001
|
|
1-2 |
p. 516-523
|
artikel
|
| 28 |
Computer system reliability allocation method and supporting tool
|
Ke-rong, Ben
|
|
2001
|
|
1-2 |
p. 505-510
|
artikel
|
| 29 |
Concrete physics method for solving NP hard problem
|
Wen-qi, Huang
|
|
2001
|
|
1-2 |
p. 140-146
|
artikel
|
| 30 |
Database-based web page
|
Dan-xi, Liang
|
|
2001
|
|
1-2 |
p. 443-447
|
artikel
|
| 31 |
Data mining and neural network techniques in case based system
|
Zhi-wei, Ni
|
|
2001
|
|
1-2 |
p. 601-605
|
artikel
|
| 32 |
Data model transformation in CAD system for multi-view modeling
|
Hirota, Toyohiko
|
|
2001
|
|
1-2 |
p. 410-415
|
artikel
|
| 33 |
Dependence analysis based on dynamic slicing for debugging
|
Zhen-qiang, Chen
|
|
2001
|
|
1-2 |
p. 398-404
|
artikel
|
| 34 |
Design Knowledge and Software Engineering
|
Koono, Zenya
|
|
2001
|
|
1-2 |
p. 46-58
|
artikel
|
| 35 |
Design of evolvable hardware for robotic navigation
|
Liu, Yong
|
|
2001
|
|
1-2 |
p. 547-554
|
artikel
|
| 36 |
Development and evaluation of a distance learning system based on CSCW
|
Hao, Yin
|
|
2001
|
|
1-2 |
p. 491-494
|
artikel
|
| 37 |
Dynamic slicing of object-oriented programs
|
Zhao, Jian-jun
|
|
2001
|
|
1-2 |
p. 391-397
|
artikel
|
| 38 |
Edge crossing minimization algorithm for hierarchical graphs based on Genetic Algorithms
|
Wei-xiang, Shen
|
|
2001
|
|
1-2 |
p. 555-559
|
artikel
|
| 39 |
E-forms in e-business
|
De-hua, Ju
|
|
2001
|
|
1-2 |
p. 121-125
|
artikel
|
| 40 |
Engineering bioinformatics
|
Guo, Yike
|
|
2001
|
|
1-2 |
p. 611
|
artikel
|
| 41 |
ERP solution for large & medium state firms
|
Zhang, Philip N.
|
|
2001
|
|
1-2 |
p. 612-618
|
artikel
|
| 42 |
Event-based implicit invocation decentralized in Ada
|
Xian-zhong, Liang
|
|
2001
|
|
1-2 |
p. 239-246
|
artikel
|
| 43 |
Evolving objects for software engineering
|
xiao-ling, Wang
|
|
2001
|
|
1-2 |
p. 263-267
|
artikel
|
| 44 |
Extended UML with role modeling
|
Ke-qing, He
|
|
2001
|
|
1-2 |
p. 175-182
|
artikel
|
| 45 |
Federated spatial databases and interoperability
|
Jian-ya, Gong
|
|
2001
|
|
1-2 |
p. 164-168
|
artikel
|
| 46 |
Finding the mid-path
|
Fischer, Alice E.
|
|
2001
|
|
1-2 |
p. 83-99
|
artikel
|
| 47 |
From worklow to interworkflow
|
Okada, Kenichi
|
|
2001
|
|
1-2 |
p. 63-71
|
artikel
|
| 48 |
Fujitsu’s e-Business proposal
|
Makimoto, Haruo
|
|
2001
|
|
1-2 |
p. 147-151
|
artikel
|
| 49 |
Generalized group signature scheme
|
Zi-chen, Li
|
|
2001
|
|
1-2 |
p. 500-504
|
artikel
|
| 50 |
Geo-Agents: Design and implement
|
Li, Ding
|
|
2001
|
|
1-2 |
p. 451-459
|
artikel
|
| 51 |
Gradient Gene Algorithm: a fast optimization method to MST problem
|
Jin-bo, Zhang
|
|
2001
|
|
1-2 |
p. 535-540
|
artikel
|
| 52 |
Hierarchical classification of Chinese documents based onN-grams
|
Shui-geng, Zhou
|
|
2001
|
|
1-2 |
p. 416-422
|
artikel
|
| 53 |
Inferring requirement goals from model implemented in UML
|
Sheng-qun, Tang
|
|
2001
|
|
1-2 |
p. 229-233
|
artikel
|
| 54 |
Inverse computation and the Universal Resolving Algorithm
|
Abramov, Sergei
|
|
2001
|
|
1-2 |
p. 31-45
|
artikel
|
| 55 |
Jasmine2000 The Comprehensive e-Business Solution
|
|
|
2001
|
|
1-2 |
p. 619
|
artikel
|
| 56 |
Loop peeling based on quasi-invariance/induction variables
|
Song, Litong
|
|
2001
|
|
1-2 |
p. 362-367
|
artikel
|
| 57 |
Matching strategies and fuzzy URLs in web-based component retrieving
|
Ying, Wang
|
|
2001
|
|
1-2 |
p. 283-287
|
artikel
|
| 58 |
Modeling digital video database system with UML
|
Jun-qing, Yu
|
|
2001
|
|
1-2 |
p. 234-238
|
artikel
|
| 59 |
Multi-granularity page size support for Linux and the performance evaluation
|
Shimizu, Naohiko
|
|
2001
|
|
1-2 |
p. 347-350
|
artikel
|
| 60 |
New refinement relations of Z specifications for multiple viewpoints oriented requirements method
|
Yan-xiang, He
|
|
2001
|
|
1-2 |
p. 304-312
|
artikel
|
| 61 |
New trend of database for the internet era
|
Kanda, Takashi
|
|
2001
|
|
1-2 |
p. 110-120
|
artikel
|
| 62 |
Object replication and CORBA fault-tolerant object service
|
Yao-ming, Yeh
|
|
2001
|
|
1-2 |
p. 268-277
|
artikel
|
| 63 |
On the Consortium for Business Object Promotion (CBOP)
|
Horiuchi, Hajime
|
|
2001
|
|
1-2 |
p. 25-30
|
artikel
|
| 64 |
Parallel algorithm in Surface wave waveform inversion
|
Xiao-lin, Cao
|
|
2001
|
|
1-2 |
p. 574-578
|
artikel
|
| 65 |
Parallel computing of Ocean General Circulation Model
|
Li-Iun, Zhang
|
|
2001
|
|
1-2 |
p. 568-573
|
artikel
|
| 66 |
PORLES: A parallel object-relational database system
|
Yong-qiang, Sun
|
|
2001
|
|
1-2 |
p. 100-109
|
artikel
|
| 67 |
Preface
|
Shing, Ying
|
|
2001
|
|
1-2 |
p. n1
|
artikel
|
| 68 |
Programming with conditionals: Epistemic Programming for scientific discovery
|
Cheng, Jing-de
|
|
2001
|
|
1-2 |
p. 326-332
|
artikel
|
| 69 |
Reflective State pattern with dynamic constructiveness
|
Hong, Jiang
|
|
2001
|
|
1-2 |
p. 191-199
|
artikel
|
| 70 |
Registering different DBMSs to Panorama with CORBA
|
Mudar, Sarem
|
|
2001
|
|
1-2 |
p. 423-431
|
artikel
|
| 71 |
Remolding diversified objects in Ada95: Toward A-object pattern
|
Xian-zhong, Liang
|
|
2001
|
|
1-2 |
p. 247-255
|
artikel
|
| 72 |
Representation and adaptive transformation of reusable software components
|
Zheng-quan, Xu
|
|
2001
|
|
1-2 |
p. 298-303
|
artikel
|
| 73 |
Restructuring C programs into C++ programs
|
Ying, Zhang
|
|
2001
|
|
1-2 |
p. 256-262
|
artikel
|
| 74 |
Role modeling: A modeling method for software pattern at knowledge level
|
Yong-song, Xu
|
|
2001
|
|
1-2 |
p. 200-203
|
artikel
|
| 75 |
Routing protocols for transmitting large databases or multi-databases systems
|
Hong, He
|
|
2001
|
|
1-2 |
p. 448-450
|
artikel
|
| 76 |
Scaling up the DBSCAN algorithm for clustering large spatial databases based on sampling technique
|
Ji-hong, Guan
|
|
2001
|
|
1-2 |
p. 467-473
|
artikel
|
| 77 |
Scheduling in a meta search engine by Genetic Algorithm
|
Wei-feng, Zhang
|
|
2001
|
|
1-2 |
p. 541-546
|
artikel
|
| 78 |
Softev: UML-based PSEE environment
|
Qiu-ling, Pan
|
|
2001
|
|
1-2 |
p. 524-530
|
artikel
|
| 79 |
Software engineering technology for the 21st century
|
Hu, Cheng
|
|
2001
|
|
1-2 |
p. 152-158
|
artikel
|
| 80 |
Software process modeling with UML in development of medical insurance MIS
|
Si-guang, Li
|
|
2001
|
|
1-2 |
p. 224-228
|
artikel
|
| 81 |
Software technology for e-commerce era
|
Chou, Chen-shing
|
|
2001
|
|
1-2 |
p. 159-163
|
artikel
|
| 82 |
Static analysis of Java bytecode
|
Zhao, Jian-jun
|
|
2001
|
|
1-2 |
p. 383-390
|
artikel
|
| 83 |
Structural indexing for 3D solid digital library
|
Shui-hua, Han
|
|
2001
|
|
1-2 |
p. 438-442
|
artikel
|
| 84 |
Study on Agent-based methods for concurrency control in CSCW
|
Hu, Li
|
|
2001
|
|
1-2 |
p. 495-499
|
artikel
|
| 85 |
Supercompiler Scp4: Use of quasi-distributive laws in program transformation
|
Nemytykh, Andrei P.
|
|
2001
|
|
1-2 |
p. 375-382
|
artikel
|
| 86 |
The application of geographic information system on telecommunication cable management system
|
Hong-bo, He
|
|
2001
|
|
1-2 |
p. 482-485
|
artikel
|
| 87 |
The new methodology
|
Fowler, Martin
|
|
2001
|
|
1-2 |
p. 12-24
|
artikel
|
| 88 |
The optimal price policy of congener software product
|
Ren-sheng, Hu
|
|
2001
|
|
1-2 |
p. 531-534
|
artikel
|
| 89 |
The relation of department components and activity in Spatial Information Infrastructure
|
Shan-zhen, Yi
|
|
2001
|
|
1-2 |
p. 460-466
|
artikel
|
| 90 |
The report of Virtual Exhibition Software development
|
Jian-xin, Yu
|
|
2001
|
|
1-2 |
p. 340-346
|
artikel
|
| 91 |
The research of system architecture in expert system
|
Cheng-ming, Zou
|
|
2001
|
|
1-2 |
p. 278-282
|
artikel
|
| 92 |
Towards a methodology for formal design and analysis of agent interaction protocols
|
Jun, Wei
|
|
2001
|
|
1-2 |
p. 126-139
|
artikel
|
| 93 |
Two generic frameworks of multiple viewpoints oriented requirements method and their comparison
|
Qiang, Song
|
|
2001
|
|
1-2 |
p. 313-319
|
artikel
|
| 94 |
Verify UML statecharts with SMV
|
Hai-yan, Chen
|
|
2001
|
|
1-2 |
p. 183-190
|
artikel
|
| 95 |
XIDM: A common Data Model based on XML
|
Bing, Li
|
|
2001
|
|
1-2 |
p. 432-437
|
artikel
|
Tijdschrift beschrijving