Hongji Yang

Hongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai: Linking Functions and Quality Attributes for Software Evolution. APSEC 2012: 250-259

Tao Sun, Xinming Ye, Hongji Yang, Jing Liu: Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. COMPSAC Workshops 2012: 316-321

Jianchu Huang, Hongji Yang: A Functional Implementation Approach for Web Services-Based Context-Aware Systems. COMPSAC Workshops 2012: 392-397

Feng Chen, Hongji Yang, William Cheng-Chung Chu, Baowen Xu: A Program Transformation Framework for Multicore Software Reengineering. QSIC 2012: 270-275

Han Li, He Guo, Feng Chen, Hongji Yang, Yuansheng Yang: Using ontology to generate test cases for GUI testing. IJCAT 42(2/3): 213-224 (2011)

Han Li, Hongji Yang, Feng Chen, He Guo, Yuansheng Yang: Feasibility study of software reengineering towards role-based access control. IJCAT 42(2/3): 239-251 (2011)

Huifang Deng, Han Li, Su Li, Hongji Yang: A heterogeneous data exchange approach for RFID-based logistics-customs clearance public service platform. IJRFITA 3(1/2): 70-88 (2011)

Jianchu Huang, Hongji Yang, Lei Liu: Reconciling Requirements and Implementation via Reengineering for Context-Aware Service Evolution. COMPSAC Workshops 2011: 464-469

Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu: Requirements Recovery by Matching Domain Ontology and Program Ontology. COMPSAC 2011: 602-607

Lei Xu, Baowen Xu, Lianjie Chen, Hongji Yang: Web Service Discovery Based on User Requirements. HPCC 2011: 674-679

Zhanlei Ma, Lin Liu, Hongji Yang, John Mylopoulos: Adaptive Service Composition Based on Runtime Requirements Monitoring. ICWS 2011: 339-346

Hui Guan, Weiru Chen, Lin Liu, Hongji Yang: Environment-Driven Threats Elicitation for Web Applications. KES-AMSTA 2011: 291-300

Lin Liu, Zhi Jin, Ruqian Lu, Hongji Yang: Agent-Oriented Requirements Analysis from Scenarios. KES-AMSTA 2011: 394-405

Lin Liu, Ziyan Xu, Zhanlei Ma, Hongji Yang: Evolution vs. innovation in requirements for services. RESS 2011: 10-15

Jiantao Zhou, Shang Zheng, Delin Jing, Hongji Yang: An approach of creative application evolution on cloud computing platform. SAC 2011: 54-58

Jianchu Huang, Hongji Yang, Lei Xu, Baowen Xu, He Zhang: Supporting context - Aware service evolution with a process management requirements model. SOCA 2011: 1-8

Zhuo Zhang, Hongji Yang, Dongdai Zhou, Shaochun Zhong: A SOA Based Approach to User-Oriented System Migration. CIT 2010: 1486-1491

Hong Zhou, Hongji Yang, Andrew Hugill: An Ontology-Based Approach to Reengineering Enterprise Software for Cloud Computing. COMPSAC 2010: 383-388

Hsin-Yu Tung, Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Hongji Yang: From Applications, to Models and to Embedded System Code: A Modeling Approach in Action. QSIC 2010: 488-494

Richard Millham, Hongji Yang: Domain Analysis in the Reengineering Process of a COBOL System. COMPSAC (2) 2009: 293-299

Mohammed Alawairdhi, Hongji Yang: A Business-Logic Based Framework for Evolving Software Systems. COMPSAC (2) 2009: 300-305

Feng Chen, Zhuopeng Zhang, Jianzhi Li, Jian Kang, Hongji Yang: Service Identification via Ontology Mapping. COMPSAC (1) 2009: 486-491

Han Li, Feng Chen, Hongji Yang, He Guo, William Cheng-Chung Chu, Yuansheng Yang: An Ontology-Based Approach for GUI Testing. COMPSAC (1) 2009: 632-633

Richard Millham, Hongji Yang: Industrial Report: Data Reengineering of COBOL Sequential Legacy Systems. COMPSAC (1) 2009: 646-647

Jian Kang, Jianzhi Li, Jianchu Huang, Yingchun Tian, Hongji Yang: Automating Business Intelligence Recovery from a Web-based System. SEKE 2009: 262-267

Feng Chen, Hong Zhou, Jianzhi Li, Ruimin Liu, Hongji Yang, Han Li, He Guo, Yuxin Wang: An Ontology-based Approach to Portable Embedded System Development. SEKE 2009: 569-574

Yingchun Tian, Feng Chen, Hongji Yang, Leigh Landy: An Ontology-based Model Driven Approach for a Music Learning System. SEKE 2009: 739-744

He Guo, Xinyuan Fu, Feng Chen, Hongji Yang, Yuxin Wang, Han Li: As-rigid-as-possible shape deformation and interpolation. J. Visual Communication and Image Representation 19(4): 245-255 (2008)

Xiaodong Liu, Hongji Yang: Message from the QUORS 2008 Workshop Organizers. COMPSAC 2008: 710

Xiaodong Liu, Hongji Yang: QUORS 2008 Workshop Organization. COMPSAC 2008: 711

Jianjun Pu, Hongji Yang, Baowen Xu, Lei Xu, William Cheng-Chung Chu: Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems. COMPSAC 2008: 718-725

Jian Kang, Jianjun Pu, Jianchu Huang, Zihou Zhou, Hongji Yang: Business Intelligence Recovery from Legacy Code. COMPSAC 2008: 765-770

Hong Zhou, Feng Chen, Hongji Yang: Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology. QSIC 2008: 225-234

Wei Huang, Ru Li, Carsten Maple, Hongji Yang, David Foskett, Vince Cleaver: Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper). QSIC 2008: 247-252

Feng Chen, Hongji Yang, Hong Zhou, Bing Qiao, Huifang Deng: Web-based system evolution in model driven architecture. WSE 2008: 69-72

Dowming Yeh, Pei-Chen Sun, William C. Chu, Chien-Lung Lin, Hongji Yang: An empirical study of a reverse engineering method for the aggregation relationship based on operation propagation. Empirical Software Engineering 12(6): 575-592 (2007)

Xiaoju Wang, Qian Sun, Xin Chen, He Guo, Hongji Yang, Feng Chen: Effective Re-texturing with Interactive Object Extracting. CAD/Graphics 2007: 240-245

Jianjun Pu, Zhuopeng Zhang, Jian Kang, Yang Xu, Hongji Yang: Using Aspect Orientation in Understanding Legacy COBOL Code. COMPSAC (2) 2007: 385-390

Feng Chen, Hongji Yang: Model Oriented Evolutionary Redocumentation. COMPSAC (1) 2007: 543-548

Feng Chen, Shaoyun Li, Hongji Yang: Enforcing Role-Based Access Controls in Software Systems with an Agent Based Service Oriented Approach. ICNSC 2007: 483-488

Yuying Wang, Guanghua Lu, Jinyuan Jia, Hongji Yang: An Architecture to Support Multi-node Downloading of Distributed Virtual Environment on Grid. ICNSC 2007: 602-607

Hong Zhou, Jian Kang, Feng Chen, Hongji Yang: OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach. QSIC 2007: 143-152

Jianzhi Li, Hongji Yang: Reengineering websites into stateful resources for grid service oriented evolution. Multiagent and Grid Systems 2(2): 89-100 (2006)

Feng Chen, Hongji Yang, Bing Qiao, William Cheng-Chung Chu: A Formal Model Driven Approach to Dependable Software Evolution. COMPSAC (1) 2006: 205-214

Yang Xu, Hongji Yang, Issam Amin: Business rule based program transformation for CRM system evolution. IRI 2006: 244-247

Jianzhi Li, Hongji Yang: Incorporating legacy system into semantic grid framework. IRI 2006: 319-324

Zhuopeng Zhang, Hongji Yang, William C. Chu: Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. QSIC 2006: 385-392

Zhuopeng Zhang, Jian Kang, Hongji Yang: UML Modelling Web Applications via Formal Concept Analysis. SEKE 2006: 532-535

Yang Li, Hongji Yang, Xiao-Chun Cheng, Xiao-Yan Zhu: Programming Style Based Program Partition. International Journal of Software Engineering and Knowledge Engineering 15(6): 1027-1062 (2005)

Dowming Yeh, Pei-Chen Sun, William Cheng-Chung Chu, Chien-Lung Lin, Hongji Yang: An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation. COMPSAC (1) 2005: 95-100

Tong Li, Hongji Yang, Baowen Xu, Liang Shi: An Approach to Decomposing Assertions into Java Codes. IKE 2005: 185-191

Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang: Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language. IRI 2005: 78-83

Jianzhi Li, Zhuopeng Zhang, Hongji Yang: A grid oriented approach to reusing legacy code in ICENI framework. IRI 2005: 464-469

He Guo, Chunyan Guo, Feng Chen, Hongji Yang: Wrapping Client-Server Application to Web Services for Internet Computing. PDCAT 2005: 366-370

Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang: Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution. SEKE 2005: 336-341

Zhuopeng Zhang, Ruimin Liu, Hongji Yang: Service Identification and Packaging in Service Oriented Reengineering. SEKE 2005: 620-625

Tong Li, Hongji Yang, Baowen Xu, Liang Shi: An Approach to Transforming Parallel Function Specification into Java Program Framework. Software Engineering Research and Practice 2005: 517-523

Yang Xu, Qing Duan, Hongji Yang: Web-Service-Oriented Customer Relationship Management System Evolution. STEP 2005: 39-48

Jianzhi Li, Hongji Yang: Towards Evolving Web Sites into Grid Services Environment. WSE 2005: 95-102

Zhuopeng Zhang, Hongji Yang: Incubating Services in Legacy Systems for Architectural Migration. APSEC 2004: 196-203

Ruimin Liu, Feng Chen, Hongji Yang, William C. Chu, Yu-Bin Lai: Agent-Based Web Services Evolution for Pervasive Computing. APSEC 2004: 726-731

Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang: Modular Monadic Program Slicing. COMPSAC 2004: 66-71

Guohui Yang, Chunguang Zhou, Chengquan Hu, Zhezhou Yu, Hongji Yang: A Method Based on Improved Bayesian Inference Network Model and Hidden Markov Model for Prediction of Protein Secondary Structure. COMPSAC Workshops 2004: 134-137

Feng Chen, Hongji Yang, He Guo, Baowen Xu: Agentification for Web Services. COMPSAC 2004: 514-519

Shaoyun Li, Hongji Yang, Hua Zhou: Building a Dependable Enterprise Service Assembly Line (ESAL) for Legacy Application Integration. CW 2004: 170-175

Ruimin Liu, Yangsheng Wang, Hongji Yang, Wei Pan: An Evolutionary System Development Approach in A Pervasive Computing Environment. CW 2004: 194-199

Richard Millham, Jianjun Pu, Hongji Yang: TAGDUR: A tool for producing uml sequence, deployment, and component diagrams through reengineering of legacy systems. IASTED Conf. on Software Engineering 2004: 673-678

Jixiang Jiang, Baowen Xu, Jianjiang Lu, Hongji Yang: Local Nonnegative Matrix Factorization for Mining Typical User Session Profile. ICWE 2004: 558-562

Xudong He, William C. Chu, Hongji Yang: A new approach to verify rule-based systems using petri net. Information & Software Technology 45(10): 663-669 (2003)

Bing Qiao, Hongji Yang, William C. Chu, Baowen Xu: Bridging Legacy Systems to Model Driven Architecture. COMPSAC 2003: 304-

Richard Millham, Martin P. Ward, Hongji Yang: Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. COMPSAC 2003: 342-347

Zhihong Liang, Shaoyun Li, H. Liao, Hongwei Kang, Qing Duan, Hua Zhou, Hongji Yang: A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making. COMPSAC 2003: 646-651

Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang: Parallel Algorithm for Mining Fuzzy Association Rules. CW 2003: 288-293

Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang: Mining Association Rules with Linguistic Terms. ICTAI 2003: 129-133

Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang: A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE 2003: 310-313

Jianjiang Lu, Baowen Xu, William C. Chu, Hongji Yang: Non-Negative Matrix for Mining Typical user Profiles Factorization. IKE 2003: 539-543

Baowen Xu, Jianjiang Lu, William C. Chu, Hongji Yang: Classification Method for Interval Valued Relational Database. IKE 2003: 566-570

Zhenqiang Chen, Baowen Xu, Hongji Yang: Test Coverage Analysis Based on Program Slicing. IRI 2003: 559-565

Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao: Partial Slicing for Large Programs. SEKE 2003: 204-207

Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen: Test Plan Design for Software Configuration Testing. Software Engineering Research and Practice 2003: 686-692

Jianjiang Lu, Baowen Xu, Hongji Yang: Matrix Dimensionality Reduction for Mining Web Logs. Web Intelligence 2003: 405-408

Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao: Concurrent Ada dead statements detection. Information & Software Technology 44(13): 733-741 (2002)

Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang: Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. Real-Time Systems 22(3): 251-280 (2002)

Jianjun Zhao, Hongji Yang, Liming Xiang, Baowen Xu: Change impact analysis to support architectural evolution. Journal of Software Maintenance 14(5): 317-333 (2002)

Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang: Static Dependency Analysis for Concurrent Ada 95 Programs. Ada-Europe 2002: 219-230

Yang Li, Zhan Cui, Hongji Yang, Hewijin Christine Jiau: Tolerating Changes in A Design P ychology Based Web Page Wrapper. COMPSAC 2002: 399-404

Baowen Xu, Weifeng Zhang, Hongji Yang: Result Integration in a Meta Web Search Engine. CW 2002: 154-160

Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang: ICBMC: An Improved Cohesion Measure for Classes. ICSM 2002: 44-53

Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang: A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis. ICSM 2002: 377-384

Baowen Xu, Weifeng Zhang, Hongji Yang: Mining Users' Two-Dimension Interests from Cache. ISMSE 2002: 188-

Baowen Xu, Zhenqiang Chen, Hongji Yang: Dynamic Slicing Object-Oriented Programs for Debugging. SCAM 2002: 115-122

Yang Li, Hongji Yang, William C. Chu: A concept-oriented belief revision approach to domain knowledge recovery from source code. Journal of Software Maintenance 13(1): 31-52 (2001)

Zhengqiang Chen, Baowen Xu, Hongji Yang: Slicing Tagged Objects in Ada. Ada-Europe 2001: 100-112

Baowen Xu, Weifeng Zhang, Hongji Yang, William C. Chu: A Rough Set Based Self-Adaptive Web Search Engine. COMPSAC 2001: 377-382

William C. Chu, Juei-Nan Chen, Chun-Yuan Lee, Hongji Yang: Implementing an Agent System Using N-tier Pattern-Based Framework. COMPSAC 2001: 451-

Hua Zhou, Hongji Yang: A Distributed Application-Oriented Development Framework Based on Resource Management. FTDCS 2001: 83-88

Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang: K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527

Yang Li, Hongji Yang: Simplicity: A Key Engineering Concept for Program Understanding. IWPC 2001: 98-110

Zhenqiang Chen, Baowen Xu, Hongji Yang: Detecting Dead Statements for Concurrent Programs. SCAM 2001: 67-74

Weifeng Zhang, Baowen Xu, Hongji Yang: Development of a Self-Adaptive Web Search Engine. WSE 2001: 86-

Hongji Yang, Xiaodong Liu, Hussein Zedan: Abstraction: a key notion for reverse engineering in a system reengineering approach. Journal of Software Maintenance 12(4): 197-228 (2000)

William C. Chu, Chih-Wei Lu, Hongji Yang, Xudong He: A formal approach for component retrieval and integration analysis. Journal of Software Maintenance 12(6): 325-342 (2000)

Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang: An Approach to Analyzing Dependency of Concurrent Programs. APAQS 2000: 39-43

Yong Sun, Hongji Yang, Alan J. Dix: TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications. APAQS 2000: 226-238

Yang Li, Hongji Yang, William C. Chu: Fusing ambiguous domain knowledge slices in a reverse engineering process. APSEC 2000: 266-273

Yang Li, Hongji Yang, William C. Chu: Towards Building a Smarter Domain Knowledge Recovery Assistant1. COMPSAC 2000: 155-160

Bangqing Li, Baowen Xu, Hongji Yang, William C. Chu: ConC++: A Concurrent C++. COMPSAC 2000: 223-227

Yang Li, Hongji Yang: Code Understanding Through Context-Oriented Uncertainty Reasoning for Enterprise Information System Reengineering. ICEIS 2000: 163-170

Weifeng Li, Baowen Xu, Hongji Yang, William Cheng-Chung Chu, Chih-Wei Lu: Application of Genetic Algorithm in Search Engine. ISMSE 2000: 366-371

Baowen Xu, Weifeng Zhang, William Song, Hongji Yang, Chih-Hung Chang: Application of Data Mining in Web Pre-Fetching. ISMSE 2000: 372-377

Weifeng Zhang, Baowen Xu, William Song, Hongji Yang, Kecheng Liu: Data Mining Algorithms for Web Pre-Fetching. WISE (2) 2000: 34-38

Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang: ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Software Eng. 7: 235-256 (1999)

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang: Integrating structured OO approaches with formal techniques for the development of real-time systems. Information & Software Technology 41(7): 435-450 (1999)

Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang: A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. 118(1-4): 15-35 (1999)

Hongji Yang, William C. Chu: Acquisition of Entity Relationship Models for Maintenance-Dealing with Data Intensive Programs in a Transformation System. J. Inf. Sci. Eng. 15(2): 173-198 (1999)

Barbara A. Kitchenham, Guilherme Horta Travassos, Anneliese von Mayrhauser, Frank Niessink, Norman F. Schneidewind, Janice Singer, Shingo Takada, Risto Vehvilainen, Hongji Yang: Towards an ontology of software maintenance. Journal of Software Maintenance 11(6): 365-389 (1999)

Hongji Yang: The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review). Softw. Test., Verif. Reliab. 9(4): 283 (1999)

Hongji Yang, Zhan Cui, Paul O'Brien: Extracting Ontologies from Legacy Systems for Understanding and Re-Engineering. COMPSAC 1999: 21-26

Shikun Zhou, Hongji Yang, Paul Luker, Xudong He: A Useful Approach to Developing Reverse Engineering Metrics. COMPSAC 1999: 320-321

Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang: A New Approach to Verify Rule-Based Systems Using Petri Nets. COMPSAC 1999: 462-467

Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang: Finding the minimum available transmission time for the timed token medium access control protocol. ECRTS 1999: 185-194

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang: A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61-

Jim-Min Lin, William C. Chu, Winston Lo, Hongji Yang, Chih-Wei Lu: Building CORBA Objects with DOS Software Applications. COMPSAC 1998: 252-259

Stephen J. H. Yang, Alex S. Lee, William C. Chu, Hongji Yang: Rule Base Verification Using Petri Nets. COMPSAC 1998: 476-485

Hussein Zedan, Hongji Yang: A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR 1998: 220-223

Hongji Yang, Xiaodong Liu, Hussein Zedan: Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM 1998: 284-293

Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu: A Design Framework for System Re-Engineering. APSEC 1997: 342-

Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang: A formal approach to software components classification and retrieval. COMPSAC 1997: 264-269

Xiaodong Liu, Hongji Yang, Hussein Zedan: Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC 1997: 409-414

Hubert Lyskawa, Stanislaw Szejko, Hongji Yang: Integrating Reverse Engineering into Reuse Process. Euro-PDS 1997: 327-334

Hongji Yang, Paul Luker, William C. Chu: Measuring Abstractness for Reverse Engineering in a Re-engineering Tool. ICSM 1997: 48-

Hongji Yang, Yong Sun: Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach. IWFM 1997

Hongji Yang, Paul Luker, William C. Chu: Code Understanding through Program Transformation for Reusable Component Identification. WPC 1997: 148-

William C. Chu, Hongji Yang: A Formal Method to Software Integration in Reuse. COMPSAC 1996: 343-348

Yong Sun, Hongji Yang: Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. EUROMICRO 1996: 303-310

William C. Chu, Hongji Yang, Paul Luker: A Formal Method for Software Maintenance. ICSM 1996: 206-216

William C. Chu, Hongji Yang: Component Reuse Through Reverse Engineering and Semantic Interface Analysis. COMPSAC 1995: 290-296

Hongji Yang, Keith H. Bennett: Acquisition of ERA models from data intensive code. ICSM 1995: 116-123

Changcheng Dong, Paul Luker, Philippa Berry, Hongji Yang: Analysis and Modelling of Spatial Objects to Implement OOP for Spatial Data Generalisation in GIS. OOIS 1995: 189-199

Hongji Yang, Keith H. Bennett: Extension of a Transformation System for Maintenance: Dealing with Data-Intensive Programs. ICSM 1994: 344-353