Abstract is missing.
- Raising the Level of Abstraction: Model Execution and TranslationStephen J. Mellor. 1
- Automatic Test Data Generation for Program Paths Using Genetic AlgorithmsPaulo Marcos Siqueira Bueno, Mario Jino. 2-9
- Defect Detection for Executable Specifications - An ExperimentFrank Houdek, Thilo Schwinn, Dietmar Ernst. 10-18
- Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model CheckingK. Suzanne Barber, Thomas J. Graser, Jim Holt. 19-28
- A Prototype Experience Management System for a Software Consulting OrganizationManoel Gomes de Mendonça Neto, Carolyn B. Seaman, Victor R. Basili, Yong-Mi Kim. 29-36
- Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis ProcessMárcio de Oliveira Barros, Cláudia Maria Lima Werner, Guilherme Horta Travassos. 37-44
- What Information is Relevant when Selecting Testing Techniques?Sira Vegas. 45-52
- Application of Knowledge Acquisition Techniques to Requirements Capture: A Case StudyJorge Enrique Pérez-Martínez, Almudena Sierra-Alonso. 53-60
- Handling Variant Requirements in 9omain ModelingStan Jarzabek, Wai Chun Ong, Hongyu Zhang. 61-68
- Semiautomatic extraction of Object-Oriented specifications form textual scenariosRégis Kla. 69-78
- Ontology-Related Services in Agent-Based Distributed Information InfrastructuresLudger van Elst, Andreas Abecker. 79-86
- Using ontologies for federation of Web accessible databasesNieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places, Francisco J. Rodríguez. 87-94
- Object Indexes to Implement a Case Base for Reuse in a Multi-Domain ContextGuilaine Talens, Danielle Boulanger, Isabelle Dedun. 95-101
- Implementing the Experience Factory concepts as a set of Experience BasesVictor R. Basili. 102-109
- A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements EngineeringAna María Moreno, Andrés Silva. 110-119
- Temporal Logic Properties of Java ObjectsRadu Iosif, Riccardo Sisto. 120-127
- Towards a Flexible Deployment of Business RulesDaniela Rosca, Chris Wild. 128-136
- Development-Paradigm Independent Conceptual ModelsÓscar Dieste Tubío. 137-144
- Reuse of Colored Petri Nets Software ModelsFernando Ramos, Juan Frausto Solís, Francisco Camargo-Santacruz. 145-152
- Two Optimization Techniques for Component-Based Systems DeploymentM. Cecilia Bastarrica, Rodrigo E. Caballero, Steven A. Demurjian, Alexander A. Shvartsman. 153-162
- Designing Reusable Rule-Based Architectures with Design PatternsMarco Antonio Furlan de Souuza, Maria Alice Grigas Varella Ferreira. 163-170
- Enhacing component reuse with control flow abstraction analysisStan Jarzabek, Hongyu Zhang. 171-178
- Decision-Making in Software EngineeringShari Lawrence Pfleeger. 179
- Bayesian-Learning Based Guidelines to 9etermine Equivalente MutantsAuri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero. 180-187
- Checking Integrity Constraints in Reasoning Systems based on Propositions and RelationshipsJaime Ramírez, Angélica de Antonio. 188-195
- Automated Tool for Software Quality MeasurementYoung Lee, Kai H. Chang, David A. Umphress, T. Dean Hendrix, James H. Cross II. 196-202
- Knowledge Discovery For Predicting Entity Relationship Diagram MaintainabilityMarcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero. 203-211
- Design for Post-Transaction Input Error HandlingHee Beng Kuan Tan, Ni Lar Thein, Ye Li. 212-219
- An Integrity Constraints Language for a Conceptual Multidimensional Data ModelFernando Carpani, Raul Ruggia. 220-227
- Applying Logic Programming Techniques to Object-Oriented Modeling in UMLPablo R. Fillottrani, Elsa Estevez, Susana Kahnert. 228-235
- Supporting Software Development through Declaratively Codified ProgrammingKim Mens, Isabel Michiels, Roel Wuyts. 236-243
- Gadget: A Tool for Extracting the Dynamic Structure of Java ProgramsJuan Gargiulo, Spiros Mancoridis. 244-251
- A Temporal Versions Model for Time- Evolving Systems SpecificationMirella Moura Moro, Silvia Maria Saggiorato, Nina Edelweiss, Clesio Saraiva dos Santos. 252-259
- A Framework for Model Version Management in a Design ProcessSilvio Gonnet, Horacio P. Leone. 260-267
- Software effort estimation by analogy and regression toward the meanMagne Jørgensen, Ulf Indahl, Dag I. K. Sjøberg. 268-274
- Requirements Triage: The Most Important Part of Software Engineeringand the Most IgnoredAl Davis. 275
- A Formal Framework for Multi-Agent Systems Analysis and DesignPablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz. 276-282
- Agent- Oriented Software Development: A Case StudyPaolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani. 283-290
- Supporting Agent- Oriented Software Engineering with UMLFederico Bergenti, Agostino Poggi. 291-298
- Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri NetsAdriano Jose Pinheiro Lemos, Angelo Perkusich. 299-306
- CBR Applied to Development with Reuse Based on MecanosFrancisco J. García, Juan M. Corchado. 307-311
- Evaluating Knowledge Acquisition Frameworks Aiming at a Moving TargetOsvaldo Cairó, Julio Barreiro, Francisco Solsona. 312-316
- Design Task in Virtual Environments DevelopmentMaria Isabel Sánchez Segura, Angélica de Antonio, Ricardo Imbert, Gonzalo Méndez, Antonio de Amescua Seco. 317-320
- Software Composing based on a Unified SCM SystemSupanat Kitcharoensakkul, Vilas Wuwongse. 321-325
- A Hybrid Approach for Corporate Memory Management Systems in Software R&D OrganizationsChristiane Gresse von Wangenheim, Daniel Lichtnow, Aldo von Wangenheim. 326-330
- Explicit Domain Knowledge Model in Geographic Information SystemsMiro Casanova, Thomas Wallet, Maja D Hondt. 331-340
- Defining taxonomic hierarchies: their implications for multiple inheritanceEsperanza Marcos. 336-340
- Testing an Event Specification LanguageRodolfo Gómez, Juan Carlos Augusto, Antony Galton. 341-345
- A Special Presentation on Multimedia Software EngineeringS. K. Chang. 346
- Adapting Game Technology to Support Individual and Organizational LearningEmily Oh Navarro, André van der Hoek. 347-354
- System Dynamics as an Enabling Technology for Learning in Software OrganizationsDietmar Pfahl, Günther Ruhe. 355-362
- A Model for Component-Based Courseware Development (CBCD)Nelson A. Baloian, David A. Fuller, Sergio F. Ochoa. 363-370
- CM3: Up-Front MaintenanceMira Kajko-Mattsson, Lars-Olov Tjerngren, Par Aadersson. 371-378
- Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup TechnologiesJosé Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro. 379-386
- Software Model Connectors: Bridging Models across the Software LifecycleNenad Medvidovic, Paul Grünbacher, Alexander Egyed, Barry W. Boehm. 387-396
- Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis MethodMarta López. 397-404
- Image Mining by Color CoateatAura Conci, Everest Mathias M. M. Castro. 405-411
- Combining Expert Knowledge and Data Mining in a Medical Diagnosis DomainFernando Alonso, Juan Pedro Caraça-Valente, Ángel Lucas González, César Montes. 412-419