13. SEKE 2001: Buenos Aires, Argentina

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), Sheraton Buenos Aires Hotel, Buenos Aires, Argentina, June 13-15, 2001. 2001

Keynote

Stephen J. Mellor: Raising the Level of Abstraction: Model Execution and Translation. 1

Software Quality I

Paulo Marcos Siqueira Bueno, Mario Jino: Automatic Test Data Generation for Program Paths Using Genetic Algorithms. 2-9
Frank Houdek, Thilo Schwinn, Dietmar Ernst: Defect Detection for Executable Specifications - An Experiment. 10-18
K. Suzanne Barber, Thomas J. Graser, Jim Holt: Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking. 19-28

Reuse I. Software Experiences

Manoel Gomes de Mendonça Neto, Carolyn B. Seaman, Victor R. Basili, Yong-Mi Kim: A Prototype Experience Management System for a Software Consulting Organization. 29-36
Márcio de Oliveira Barros, Cláudia Maria Lima Werner, Guilherme Horta Travassos: Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process. 37-44
Sira Vegas: What Information is Relevant when Selecting Testing Techniques? 45-52

Requirements Engineering I

Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso: Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study. 53-60
Stan Jarzabek, Wai Chun Ong, Hongyu Zhang: Handling Variant Requirements in 9omain Modeling. 61-68
Régis Kla: Semiautomatic extraction of Object-Oriented specifications form textual scenarios. 69-78

Reuse II. Ontologies

Ludger van Elst, Andreas Abecker: Ontology-Related Services in Agent-Based Distributed Information Infrastructures. 79-86
Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places, Francisco J. Rodríguez: Using ontologies for federation of Web accessible databases. 87-94
Guilaine Talens, Danielle Boulanger, Isabelle Dedun: Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context. 95-101

Keynote

Victor R. Basili: Implementing the Experience Factory concepts as a set of Experience Bases. 102-109

Requirements Engineering II

Ana María Moreno, Andrés Silva: A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering. 110-119
Radu Iosif, Riccardo Sisto: Temporal Logic Properties of Java Objects. 120-127
Daniela Rosca, Chris Wild: Towards a Flexible Deployment of Business Rules. 128-136
Óscar Dieste Tubío: Development-Paradigm Independent Conceptual Models. 137-144

Reuse III

Fernando Ramos, Juan Frausto Solís, Francisco Camargo-Santacruz: Reuse of Colored Petri Nets Software Models. 145-152
M. Cecilia Bastarrica, Rodrigo E. Caballero, Steven A. Demurjian, Alexander A. Shvartsman: Two Optimization Techniques for Component-Based Systems Deployment. 153-162
Marco Antonio Furlan de Souuza, Maria Alice Grigas Varella Ferreira: Designing Reusable Rule-Based Architectures with Design Patterns. 163-170
Stan Jarzabek, Hongyu Zhang: Enhacing component reuse with control flow abstraction analysis. 171-178

Keynote

Shari Lawrence Pfleeger: Decision-Making in Software Engineering. 179

Software Quality II

Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero: Bayesian-Learning Based Guidelines to determine Equivalente Mutants. 180-187
Jaime Ramírez, Angélica de Antonio: Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships. 188-195
Young Lee, Kai H. Chang, David A. Umphress, T. Dean Hendrix, James H. Cross II: Automated Tool for Software Quality Measurement. 196-202

Databases

Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero: Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability. 203-211
Hee Beng Kuan Tan, Ni Lar Thein, Ye Li: Design for Post-Transaction Input Error Handling. 212-219
Fernando Carpani, Raul Ruggia: An Integrity Constraints Language for a Conceptual Multidimensional Data Model. 220-227

Object Orientation

Pablo R. Fillottrani, Elsa Estevez, Susana Kahnert: Applying Logic Programming Techniques to Object-Oriented Modeling in UML. 228-235
Kim Mens, Isabel Michiels, Roel Wuyts: Supporting Software Development through Declaratively Codified Programming. 236-243
Juan Gargiulo, Spiros Mancoridis: Gadget: A Tool for Extracting the Dynamic Structure of Java Programs. 244-251

Project Management

Mirella Moura Moro, Silvia Maria Saggiorato, Nina Edelweiss, Clesio Saraiva dos Santos: A Temporal Versions Model for Time- Evolving Systems Specification. 252-259
Silvio Gonnet, Horacio P. Leone: A Framework for Model Version Management in a Design Process. 260-267
Magne Jørgensen, Ulf Indahl, Dag I. K. Sjøberg: Software effort estimation by analogy and regression toward the mean. 268-274

Keynote

Al Davis: Requirements Triage: The Most Important Part of Software Engineeringand the Most Ignored. 275

Software Agents

Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A Formal Framework for Multi-Agent Systems Analysis and Design. 276-282
Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani: Agent- Oriented Software Development: A Case Study. 283-290
Federico Bergenti, Agostino Poggi: Supporting Agent- Oriented Software Engineering with UML. 291-298
Adriano Jose Pinheiro Lemos, Angelo Perkusich: Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. 299-306

Short Papers

Francisco J. García, Juan M. Corchado: CBR Applied to Development with Reuse Based on Mecanos. 307-311
Osvaldo Cairó, Julio Barreiro, Francisco Solsona: Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target. 312-316
Maria Isabel Sánchez Segura, Angélica de Antonio, Ricardo Imbert, Gonzalo Méndez, Antonio de Amescua Seco: Design Task in Virtual Environments Development. 317-320
Supanat Kitcharoensakkul, Vilas Wuwongse: Software Composing based on a Unified SCM System. 321-325
Christiane Gresse von Wangenheim, Daniel Lichtnow, Aldo von Wangenheim: A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations. 326-330
Miro Casanova, Thomas Wallet, Maja D'Hondt: Explicit Domain Knowledge Model in Geographic Information Systems. 331-340
Esperanza Marcos: Defining taxonomic hierarchies: their implications for multiple inheritance. 336-340
Rodolfo Gómez, Juan Carlos Augusto, Antony Galton: Testing an Event Specification Language. 341-345

Keynote

S. K. Chang: A Special Presentation on Multimedia Software Engineering. 346

Learning Organizations

Emily Oh Navarro, André van der Hoek: Adapting Game Technology to Support Individual and Organizational Learning. 347-354
Dietmar Pfahl, Günther Ruhe: System Dynamics as an Enabling Technology for Learning in Software Organizations. 355-362
Nelson A. Baloian, David A. Fuller, Sergio F. Ochoa: A Model for Component-Based Courseware Development (CBCD). 363-370

Software Design and Maintenance

Mira Kajko-Mattsson, Lars-Olov Tjerngren, Par Aadersson: CM3: Up-Front Maintenance. 371-378
José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro: Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies. 379-386
Nenad Medvidovic, Paul Grünbacher, Alexander Egyed, Barry W. Boehm: Software Model Connectors: Bridging Models across the Software Lifecycle. 387-396

Software Architectures

Marta López: Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method. 397-404

Data Mining

Aura Conci, Everest Mathias M. M. Castro: Image Mining by Color Coateat. 405-411
Fernando Alonso, Juan Pedro Caraça-Valente, Ángel Lucas González, César Montes: Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain. 412-419