IJSEKE, Volume 10

Volume 10, Number 1, February 2000

Best Papers from SEKE'98

Mark Gerken, Yi Deng: Guest Editors' Introduction - Best Papers from SEKE'98. 1-4
Enoch Y. Wang, Betty H. C. Cheng: Formalizing the Functional Model within Object-Oriented Design. 5-30
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, Chunnian Liu: Planning Support to Software Process Evolution. 31-47
Yun-Heh Chen-Burger, David Robertson, Jussi Stader: Formal Support for an Informal Business Modelling Method. 49-68
Mark J. Gerken: Specification of Software Architecture. 69-95
Chung-Horng Lung, Kalai Kalaichelvan: An Approach to Quantitative Software Architecture Sensitivity Analysis. 97-114
Ilene Burnstein, Floyd Saner: Using Fuzzy Reasoning to Support Automated Program Understanding. 115-137

K. Ganesan, Taghi M. Khoshgoftaar, Edward B. Allen: Verifying Requirements Through Mathematical Modelling and Animation. 139-152
Andrea De Lucia, Genoveffa Tortora, Maurizio Tucci: Creating Tools in a Software Environment Based on Graph Rewriting Rules. 153-183
Kai H. Chang, Shih-Sung Liao, Richard Chapman, Chun-Yu Chen: Test Scenario Generation Based on Formal Specification and Usage Profile. 185-201
Ji-Tzay Yang, Feng-Jian Wang, William C. Chu, Chung-Hua Hu: Constructing Flow-Based Tools with Generative and Compositional Techniques. 203-226
Csaba J. Egyhazy: From Software Reuse to Database Reuse. 227-249
Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff: Verifying Requirements Through Mathematical Modelling and Animation. 251-273

Óscar Dieste Tubío, Natalia Juristo Juzgado, Ana María Moreno, Marta López: Integrated Software Engineering and Knowledge Engineering Teaching Experiences. 275-300
Christine W. Chan, Weerapong Kritpiphat, Paitoon Tontiwachwuthikul: Knowledge Engineering of a Monitoring and Control Decision Support System. 301-318
Motoshi Saeki, Saeeiab Sureerat, Akihiro Tanaka: Supporting Distributed Individual Tasks in Cooperative Specification Development. 319-344
Antonina Dattolo, Vincenzo Loia: Distributed Information and Control in a Concurrent Hypermedia-Oriented Architecture. 345-369