default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, 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.
last updated on 2024-11-26 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
