| 2001 | A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering. | Ana Mara Moreno, Andrs Silva |
| 2001 | Supporting Software Development through Declaratively Codified Programming. | Kim Mens, Isabel Michiels, Roel Wuyts |
| 2001 | Raising the Level of Abstraction: Model Execution and Translation. | Stephen J. Mellor |
| 2001 | Software Model Connectors: Bridging Models across the Software Lifecycle. | Nenad Medvidovic, Paul Grnbacher, Alexander Egyed, Barry W. Boehm |
| 2001 | Defining taxonomic hierarchies: their implications for multiple inheritance. | Esperanza Marcos |
| 2001 | Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method. | Marta Lpez |
| 2001 | Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. | Adriano Jose Pinheiro Lemos, Angelo Perkusich |
| 2001 | Automated Tool for Software Quality Measurement. | Young Lee, Kai H. Chang, David A. Umphress, T. Dean Hendrix, James H. Cross II |
| 2001 | Semiautomatic extraction of Object-Oriented specifications form textual scenarios. | Rgis Kla |
| 2001 | Software Composing based on a Unified SCM System. | Supanat Kitcharoensakkul, Vilas Wuwongse |
| 2001 | CM3: Up-Front Maintenance. | Mira Kajko-Mattsson, Lars-Olov Tjerngren, Par Aadersson |
| 2001 | Software effort estimation by analogy and regression toward the mean. | Magne Jrgensen, Ulf Indahl, Dag I. K. Sjberg |
| 2001 | Enhacing component reuse with control flow abstraction analysis. | Stan Jarzabek, Hongyu Zhang |
| 2001 | Handling Variant Requirements in 9omain Modeling. | Stan Jarzabek, Wai Chun Ong, Hongyu Zhang |
| 2001 | Temporal Logic Properties of Java Objects. | Radu Iosif, Riccardo Sisto |
| 2001 | Defect Detection for Executable Specifications - An Experiment. | Frank Houdek, Thilo Schwinn, Dietmar Ernst |
| 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 | Testing an Event Specification Language. | Rodolfo Gmez, Juan Carlos Augusto, Antony Galton |
| 2001 | Agent- Oriented Software Development: A Case Study. | Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani |
| 2001 | Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability. | Marcela Genero, Jos A. Olivas, Mario Piattini, Francisco P. Romero |
| 2001 | Gadget: A Tool for Extracting the Dynamic Structure of Java Programs. | Juan Gargiulo, Spiros Mancoridis |
| 2001 | CBR Applied to Development with Reuse Based on Mecanos. | Francisco J. Garca-Pealvo, Juan M. Corchado |
| 2001 | Applying Logic Programming Techniques to Object-Oriented Modeling in UML. | Pablo R. Fillottrani, Elsa Estevez, Susana Kahnert |
| 2001 | Ontology-Related Services in Agent-Based Distributed Information Infrastructures. | Ludger van Elst, Andreas Abecker |