IJSEKE, Volume 12

Volume 12, Number 1, February 2002

• R. Félix, T. Ushio:
  Binary Encoding of Discernibility Patterns to Find Minimal Coverings. 1-18
  Electronic Edition (link) BibTeX
• Liwu Li:
  Use Case Patterns. 19-40
  Electronic Edition (link) BibTeX
• Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards:
  A Compositional Knowledge Level Process Model of Requirements Engineering. 41-75
  Electronic Edition (link) BibTeX
• Jens H. Jahnke, Andrew Walenstein:
  Evaluating Theories for Managing Imperfect Knowledge in Human-Centric Database Reengineering Environments. 77-102
  Electronic Edition (link) BibTeX

Volume 12, Number 2, April 2002

• Yi Deng, Farokh B. Bastani:
  Guest Editors' Introduction: Special Issue on Embedded Software Engineering. 103-105
  Electronic Edition (link) BibTeX
• Xia Cai, Michael R. Lyu, Kam-Fai Wong:
  Component-Based Embedded Software Engineering: Development Framework, Quality Assurance and a Generic Assessment Environment. 107-133
  Electronic Edition (link) BibTeX
• Stephen J. H. Yang, Jeffrey J. P. Tsai, Irene Y. L. Chen:
  Development of Wireless Embedded Systems Using Component Based Software. 135-153
  Electronic Edition (link) BibTeX
• Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
  From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. 155-174
  Electronic Edition (link) BibTeX
• Bojan Cukic, Brian J. Taylor, Harshinder Singh:
  Automated Generation of Test Trajectories for Embedded Flight Control Systems. 175-200
  Electronic Edition (link) BibTeX
• Taghi M. Khoshgoftaar, Bojan Cukic, Naeem Seliya:
  Predicting Fault-Prone Modules in Embedded Systems Using Analogy-Based Classification Models. 201-221
  Electronic Edition (link) BibTeX

Volume 12, Number 3, June 2002

• S. Ohara, F. Tsunoda, H. Maezawa, Akira K. Onoma, M. Hui, Taehyung Wang, Phillip C.-Y. Sheu, Raymond A. Paul:
  A Software Test and Evaluation Environment Based on Longitudinal Database. 223-244
  Electronic Edition (link) BibTeX
• Siu Liu, Angela Goh:
  A Formal Framework to Support Workflow Adaptation. 245-268
  Electronic Edition (link) BibTeX
• Jeongeun Choi, Byoungju Choi:
  Test Agent System. 269-290
  Electronic Edition (link) BibTeX
• Witold Pedrycz, Giancarlo Succi, Myung-Geun Chun:
  Association Analysis of Software Measures. 291-316
  Electronic Edition (link) BibTeX
• Chin-Chen Chang, Kuo-Feng Hwang, Min-Shiang Hwang:
  A Feature-Oriented Copyright Owner Proving Technique for Still Images. 317-
  Electronic Edition (link) BibTeX

Volume 12, Number 4, August 2002

• Rossella Aiello, Antonio Esposito, Giancarlo Nota:
  A Hierarchical Measurement Framework for the Evaluation of Automated Business Processes. 331-362
  Electronic Edition (link) BibTeX
• Jae Hun Choi, Jae Dong Yang, Dong Gill Lee:
  An Object-Based Approach to Managing Domain Specific Thesauri: Semiautomatic Thesaurus Construction and Query-Based Browsing. 363-390
  Electronic Edition (link) BibTeX
• Torgeir Dingsøyr, Reidar Conradi:
  A Survey of Case Studies of the Use of Knowledge Management in Software Engineering. 391-414
  Electronic Edition (link) BibTeX
• Timo Niemi, Marko Junkkari, Kalervo Järvelin:
  Relational Deductive Object-Oriented Modeling (RDOOM) Approach for Finding, Representing and Integrating Application-Specific Concepts. 415-452
  Electronic Edition (link) BibTeX
• Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang:
  Component Contract-Based Interface Specification Technique Using Z. 453-
  Electronic Edition (link) BibTeX

Volume 12, Number 5, October 2002

• Tran-Thuong Tien, Cécile Roisin:
  A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation. 473-500
  Electronic Edition (link) BibTeX
• Riccardo Distasi, Michele Nappi, Sergio Vitulano:
  HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databases. 501-522
  Electronic Edition (link) BibTeX
• Gennaro Costagliola, Rita Francese, Annamaria Musto, Giuseppe Polese:
  A Methodology for Modeling Multimedia Databases. 523-
  Electronic Edition (link) BibTeX

• Shih-Chien Chou:
  ProActNet: Modeling Processes Through Activity Networks. 545-580
  Electronic Edition (link) BibTeX
• Amir A. Khwaja, Joseph E. Urban:
  A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. 581-
  Electronic Edition (link) BibTeX

Volume 12, Number 6, Decembe 2002

• Federico Bergenti, Agostino Poggi:
  Supporting Agent-Oriented Modelling with UML. 605-618
  Electronic Edition (link) BibTeX
• Fernando Ramos-Quintana, Juan Frausto Solís, Francisco Camargo-Santacruz:
  A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Nets. 619-636
  Electronic Edition (link) BibTeX
• Frank Houdek, Thilo Schwinn, Dietmar Ernst:
  Defect Detection for Executable Specifications - An Experiment. 637-656
  Electronic Edition (link) BibTeX
• Sira Vegas, Natalia Juristo Juzgado, Victor R. Basili:
  What Information is Relevant When Selecting Software Testing Techniques? 657-674
  Electronic Edition (link) BibTeX
• Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero:
  Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. 675-690
  Electronic Edition (link) BibTeX
• Paulo Marcos Siqueira Bueno, Mario Jino:
  Automatic Test Data Generation for Program Paths Using Genetic Algorithms. 691-710
  Electronic Edition (link) BibTeX