Automatic generation of very efficient programs by Generalized Partial Computation Yoshihiko FutamuraZenjiro KonishiRobert Glück Invited Papers Pages: 1 - 11
Inverse computation and the Universal Resolving Algorithm Sergei AbramovRobert Glück Invited Papers Pages: 31 - 45
Design Knowledge and Software Engineering Zenya KoonoHui ChenBehrouz H. Far Invited Papers Pages: 46 - 58
A tentative research on complexity of Automatic Programming Kang Li-shanLi YanChen Yu-ping Invited Papers Pages: 59 - 62
From worklow to interworkflow Kenichi OkadaHaruo HayamiKimiyo Sagehashi Invited Papers Pages: 63 - 71
A simple game for the study of trust in distributed systems Zoë DiamadiMichael J. Fischer Invited Papers Pages: 72 - 82
PORLES: A parallel object-relational database system Sun Yong-qiangXu Shu-tingLai Shu-hua Invited Papers Pages: 100 - 109
Towards a methodology for formal design and analysis of agent interaction protocols Wei JunCheung Shing-ChiWang Xu Invited Papers Pages: 126 - 139
Federated spatial databases and interoperability Gong Jian-yaWang Yan-dong Invited Papers Pages: 164 - 168
An open environment for cooperative equational solving Tetsuo IdaMircea MarinNorio Kobayashi Invited Papers Pages: 169 - 174
Verify UML statecharts with SMV Chen Hai-yanDong WeiChen Huo-wang UML and Software Pattern Pages: 183 - 190
Reflective State pattern with dynamic constructiveness Jiang HongHe Ke-qingYing Shi UML and Software Pattern Pages: 191 - 199
Role modeling: A modeling method for software pattern at knowledge level Xu Yong-songHe Ke-qingYing Shi UML and Software Pattern Pages: 200 - 203
A design method of Business Application Framework based on software patterns He Ke-qingYang Chun-wenYing Shi UML and Software Pattern Pages: 204 - 208
A software pattern of the Genetic Algorithm Zhuo ShiLiu ChaoHe Ke-qing UML and Software Pattern Pages: 209 - 217
An analysis method of business application framework He Ke-qingFan Hui-huaYing Shi UML and Software Pattern Pages: 218 - 223
Software process modeling with UML in development of medical insurance MIS Li Si-guangLin Zi-yuXiao Shao-wu UML and Software Pattern Pages: 224 - 228
Inferring requirement goals from model implemented in UML Tang Sheng-qunLiu WeiJiang Hao-lan UML and Software Pattern Pages: 229 - 233
Modeling digital video database system with UML Yu Jun-qingZhou Dong-ruXu Jun UML and Software Pattern Pages: 234 - 238
Event-based implicit invocation decentralized in Ada Liang Xian-zhongWang Zhen-yu Object-Oriented Method and Technology Pages: 239 - 246
Remolding diversified objects in Ada95: Toward A-object pattern Liang Xian-zhongWang Zhen-yu Object-Oriented Method and Technology Pages: 247 - 255
Restructuring C programs into C++ programs Zhang YingZhou Yu-mingLiu Yuan Object-Oriented Method and Technology Pages: 256 - 262
Evolving objects for software engineering Wang xiao-lingDong yi-sheng Object-Oriented Method and Technology Pages: 263 - 267
Object replication and CORBA fault-tolerant object service Yeh Yao-mingSun Wen-DaChen Yeong-Sheng Object-Oriented Method and Technology Pages: 268 - 277
The research of system architecture in expert system Zou Cheng-mingZhong LuoYuan Jing-ling Object-Oriented Method and Technology Pages: 278 - 282
Matching strategies and fuzzy URLs in web-based component retrieving Wang YingSang Da-yong Software Reuse Pages: 283 - 287
A study of method on connectivity analysis of between software components Hu FengLin Zi-yuPen De-chun Software Reuse Pages: 288 - 291
Code component composition reuse is a new programming paradigm Ying ShiYuan Sheng-QiongHe Ke-Qing Software Reuse Pages: 292 - 297
Representation and adaptive transformation of reusable software components Xu Zheng-quanPalakiyem Wallah Software Reuse Pages: 298 - 303
New refinement relations of Z specifications for multiple viewpoints oriented requirements method He Yan-xiangSong QiangHuang Qian Software Engineering Method and Technology Pages: 304 - 312
Two generic frameworks of multiple viewpoints oriented requirements method and their comparison Song QiangHe yan-xiangHuang Qian Software Engineering Method and Technology Pages: 313 - 319
Applying Logic Programming to knowledge discovery on the Internet Cheng XiFeng GangHou Yin-Bin Software Engineering Method and Technology Pages: 320 - 325
Programming with conditionals: Epistemic Programming for scientific discovery Jing-de Cheng Software Engineering Method and Technology Pages: 326 - 332
Autonomous evolutionary information systems Jing-de Cheng Software Engineering Method and Technology Pages: 333 - 339
The report of Virtual Exhibition Software development Yu Jian-xinSun Yuan-haoCao Jing Software Engineering Method and Technology Pages: 340 - 346
Multi-granularity page size support for Linux and the performance evaluation Naohiko Shimizu Software Engineering Method and Technology Pages: 347 - 350
A glance at the middleware technology Zhong Cui-hao Software Engineering Method and Technology Pages: 351 - 354
China’s software industry aiming at a higher standard Ju De-hua Software Engineering Method and Technology Pages: 355 - 358
A way to build software culture: Distributed Object-Oriented Software Engineering over Internet Tian Ai-jingZhang LingLi Zong-rong Software Engineering Method and Technology Pages: 359 - 361