


default search action
IJSEKE, Volume 12
Volume 12, Number 1, February 2002
- Reynaldo Félix, Toshimitsu Ushio:

Binary Encoding of Discernibility Patterns to Find Minimal Coverings. 1-18 - Liwu Li:

Use Case Patterns. 19-40 - Daniela E. Herlea, Catholijn M. Jonker, Jan Treur

, Niek J. E. Wijngaards
:
A Compositional Knowledge Level Process Model of Requirements Engineering. 41-75 - Jens H. Jahnke, Andrew Walenstein:

Evaluating Theories for Managing Imperfect Knowledge in Human-Centric Database Reengineering Environments. 77-102
Volume 12, Number 2, April 2002
- Yi Deng, Farokh B. Bastani:

Guest Editors' Introduction: Special Issue on Embedded Software Engineering. 103-105 - Xia Cai, Michael R. Lyu, Kam-Fai Wong

:
Component-Based Embedded Software Engineering: Development Framework, Quality Assurance and a Generic Assessment Environment. 107-133 - Stephen J. H. Yang

, Jeffrey J. P. Tsai, Irene Y. L. Chen:
Development of Wireless Embedded Systems Using Component Based Software. 135-153 - Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. 155-174 - Bojan Cukic

, Brian J. Taylor, Harshinder Singh:
Automated Generation of Test Trajectories for Embedded Flight Control Systems. 175-200 - Taghi M. Khoshgoftaar, Bojan Cukic

, Naeem Seliya:
Predicting Fault-Prone Modules in Embedded Systems Using Analogy-Based Classification Models. 201-221
Volume 12, Number 3, June 2002
- Soichiro Ohara, Fumihiro Tsunoda, H. Maezawa, Akira K. Onoma, Meng Hui, Taehyung Wang, Phillip C.-Y. Sheu

, Raymond A. Paul:
A Software Test and Evaluation Environment Based on Longitudinal Database. 223-244 - Siu Liu, Angela Goh:

A Formal Framework to Support Workflow Adaptation. 245-267 - Jeongeun Choi, Byoungju Choi:

Test Agent System. 269-290 - Witold Pedrycz, Giancarlo Succi

, Myung-Geun Chun:
Association Analysis of Software Measures. 291-316 - Chin-Chen Chang, Kuo-Feng Hwang, Min-Shiang Hwang:

A Feature-Oriented Copyright Owner Proving Technique for Still Images. 317-330
Volume 12, Number 4, August 2002
- Rossella Aiello, Antonio Esposito, Giancarlo Nota

:
A Hierarchical Measurement Framework for the Evaluation of Automated Business Processes. 331-361 - 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-389 - Torgeir Dingsøyr

, Reidar Conradi:
A Survey of Case Studies of the Use of Knowledge Management in Software Engineering. 391-414 - Timo Niemi, Marko Junkkari, Kalervo Järvelin:

Relational Deductive Object-Oriented Modeling (RDOOM) Approach for Finding, Representing and Integrating Application-Specific Concepts. 415-451 - Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang:

Component Contract-Based Interface Specification Technique Using Z. 453-469
Volume 12, Number 5, October 2002
- Tien Tran-Thuong, Cécile Roisin:

A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation. 473-500 - Riccardo Distasi, Michele Nappi

, Sergio Vitulano:
HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databases. 501-521 - Gennaro Costagliola

, Rita Francese, Annamaria Musto, Giuseppe Polese
:
A Methodology for Modeling Multimedia Databases. 523-543
- Shih-Chien Chou:

ProActNet: Modeling Processes Through Activity Networks. 545-580 - Amir A. Khwaja, Joseph E. Urban:

A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. 581-599
Volume 12, Number 6, December 2002
- Federico Bergenti

, Agostino Poggi:
Supporting Agent-Oriented Modelling with UML. 605-618 - Fernando Ramos-Quintana, Juan Frausto Solís

, Francisco Camargo-Santacruz:
A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Nets. 619-635 - Frank Houdek, Thilo Schwinn, Dietmar Ernst:

Defect Detection for Executable Specifications - An Experiment. 637-655 - Sira Vegas

, Natalia Juristo Juzgado, Victor R. Basili:
What Information is Relevant When Selecting Software Testing Techniques? 657-674 - 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-689 - Paulo Marcos Siqueira Bueno, Mário Jino:

Automatic Test Data Generation for Program Paths Using Genetic Algorithms. 691-709

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














