| 2001 | A Formal Framework for Multi-Agent Systems Analysis and Design. Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz |
| 2001 | A Framework for Model Version Management in a Design Process. Silvio Gonnet, Horacio Pascual Leone |
| 2001 | A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations. Christiane Gresse von Wangenheim, Daniel Lichtnow, Aldo von Wangenheim |
| 2001 | A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering. Ana María Moreno, Andrés Silva |
| 2001 | A Model for Component-Based Courseware Development (CBCD). Nelson A. Baloian, David A. Fuller, Sergio F. Ochoa |
| 2001 | A Prototype Experience Management System for a Software Consulting Organization. Manoel Gomes de Mendonça Neto, Carolyn B. Seaman, Victor R. Basili, Yong-Mi Kim |
| 2001 | A Special Presentation on Multimedia Software Engineering. S. K. Chang |
| 2001 | A Temporal Versions Model for Time- Evolving Systems Specification. Mirella Moura Moro, Silvia Maria Saggiorato, Nina Edelweiss, Clesio Saraiva dos Santos |
| 2001 | Adapting Game Technology to Support Individual and Organizational Learning. Emily Oh Navarro, André van der Hoek |
| 2001 | Agent- Oriented Software Development: A Case Study. Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani |
| 2001 | An Integrity Constraints Language for a Conceptual Multidimensional Data Model. Fernando Carpani, Raúl Ruggia |
| 2001 | Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study. Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso |
| 2001 | Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method. Marta López |
| 2001 | Applying Logic Programming Techniques to Object-Oriented Modeling in UML. Pablo R. Fillottrani, Elsa Estevez, Susana Kahnert |
| 2001 | Automated Tool for Software Quality Measurement. Young Lee, Kai H. Chang, David A. Umphress, T. Dean Hendrix, James H. Cross II |
| 2001 | Automatic Test Data Generation for Program Paths Using Genetic Algorithms. Paulo Marcos Siqueira Bueno, Mário Jino |
| 2001 | Bayesian-Learning Based Guidelines to determine Equivalente Mutants. Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero |
| 2001 | CBR Applied to Development with Reuse Based on Mecanos. Francisco J. García-Peñalvo, Juan M. Corchado |
| 2001 | CM3: Up-Front Maintenance. Mira Kajko-Mattsson, Lars-Olov Tjerngren, Par Aadersson |
| 2001 | Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships. Jaime Ramírez, Angélica de Antonio |
| 2001 | Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain. Fernando Alonso, Juan Pedro Caraça-Valente, Ángel Lucas González, César Montes |
| 2001 | Decision-Making in Software Engineering. Shari Lawrence Pfleeger |
| 2001 | Defect Detection for Executable Specifications - An Experiment. Frank Houdek, Thilo Schwinn, Dietmar Ernst |
| 2001 | Defining taxonomic hierarchies: their implications for multiple inheritance. Esperanza Marcos |
| 2001 | Design Task in Virtual Environments Development. María Isabel Sánchez Segura, Angélica de Antonio, Ricardo Imbert, Gonzalo Méndez, Antonio de Amescua Seco |
| 2001 | Design for Post-Transaction Input Error Handling. Hee Beng Kuan Tan, Ni Lar Thein, Ye Li |
| 2001 | Designing Reusable Rule-Based Architectures with Design Patterns. Marco Antonio Furlan de Souuza, Maria Alice Grigas Varella Ferreira |
| 2001 | Development-Paradigm Independent Conceptual Models. Óscar Dieste Tubío |
| 2001 | Enhacing component reuse with control flow abstraction analysis. Stan Jarzabek, Hongyu Zhang |
| 2001 | Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking. K. Suzanne Barber, Thomas J. Graser, Jim Holt |
| 2001 | Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target. Osvaldo Cairó, Julio Barreiro, Francisco Solsona |
| 2001 | Explicit Domain Knowledge Model in Geographic Information Systems. Miro Casanova, Thomas Wallet, Maja D'Hondt |
| 2001 | Gadget: A Tool for Extracting the Dynamic Structure of Java Programs. Juan Gargiulo, Spiros Mancoridis |
| 2001 | Handling Variant Requirements in 9omain Modeling. Stan Jarzabek, Wai Chun Ong, Hongyu Zhang |
| 2001 | Image Mining by Color Coateat. Aura Conci, Everest Mathias M. M. Castro |
| 2001 | Implementing the Experience Factory concepts as a set of Experience Bases. Victor R. Basili |
| 2001 | Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability. Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero |
| 2001 | Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. Adriano Jose Pinheiro Lemos, Angelo Perkusich |
| 2001 | Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context. Guilaine Talens, Danielle Boulanger, Isabelle Dedun |
| 2001 | Ontology-Related Services in Agent-Based Distributed Information Infrastructures. Ludger van Elst, Andreas Abecker |
| 2001 | Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies. José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro |
| 2001 | 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 | Raising the Level of Abstraction: Model Execution and Translation. Stephen J. Mellor |
| 2001 | Requirements Triage: The Most Important Part of Software Engineeringand the Most Ignored. Al Davis |
| 2001 | Reuse of Colored Petri Nets Software Models. Fernando Ramos, Juan Frausto Solís, Francisco Camargo-Santacruz |
| 2001 | Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process. Márcio de Oliveira Barros, Cláudia Maria Lima Werner, Guilherme Horta Travassos |
| 2001 | Semiautomatic extraction of Object-Oriented specifications form textual scenarios. Régis Kla |
| 2001 | Software Composing based on a Unified SCM System. Supanat Kitcharoensakkul, Vilas Wuwongse |
| 2001 | Software Model Connectors: Bridging Models across the Software Lifecycle. Nenad Medvidovic, Paul Grünbacher, Alexander Egyed, Barry W. Boehm |
| 2001 | Software effort estimation by analogy and regression toward the mean. Magne Jørgensen, Ulf Indahl, Dag I. K. Sjøberg |
| 2001 | Supporting Agent- Oriented Software Engineering with UML. Federico Bergenti, Agostino Poggi |
| 2001 | Supporting Software Development through Declaratively Codified Programming. Kim Mens, Isabel Michiels, Roel Wuyts |
| 2001 | System Dynamics as an Enabling Technology for Learning in Software Organizations. Dietmar Pfahl, Günther Ruhe |
| 2001 | Temporal Logic Properties of Java Objects. Radu Iosif, Riccardo Sisto |
| 2001 | Testing an Event Specification Language. Rodolfo Gómez, Juan Carlos Augusto, Antony Galton |
| 2001 | Towards a Flexible Deployment of Business Rules. Daniela Rosca, Chris Wild |
| 2001 | Two Optimization Techniques for Component-Based Systems Deployment. M. Cecilia Bastarrica, Rodrigo E. Caballero, Steven A. Demurjian, Alexander A. Shvartsman |
| 2001 | Using ontologies for federation of Web accessible databases. Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places, Francisco J. Rodríguez |
| 2001 | What Information is Relevant when Selecting Testing Techniques? Sira Vegas |