![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
13th 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. SEKE 2001: 1
Software Quality I
- Paulo Marcos Siqueira Bueno, Mário Jino:
Automatic Test Data Generation for Program Paths Using Genetic Algorithms. SEKE 2001: 2-9 - Frank Houdek, Thilo Schwinn, Dietmar Ernst:
Defect Detection for Executable Specifications - An Experiment. SEKE 2001: 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. SEKE 2001: 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. SEKE 2001: 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. SEKE 2001: 37-44 - Sira Vegas:
What Information is Relevant when Selecting Testing Techniques? SEKE 2001: 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. SEKE 2001: 53-60 - Stan Jarzabek, Wai Chun Ong, Hongyu Zhang:
Handling Variant Requirements in 9omain Modeling. SEKE 2001: 61-68 - Régis Kla:
Semiautomatic extraction of Object-Oriented specifications form textual scenarios. SEKE 2001: 69-78
Reuse II. Ontologies
- Ludger van Elst, Andreas Abecker:
Ontology-Related Services in Agent-Based Distributed Information Infrastructures. SEKE 2001: 79-86 - Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places, Francisco J. Rodríguez:
Using ontologies for federation of Web accessible databases. SEKE 2001: 87-94 - Guilaine Talens, Danielle Boulanger, Isabelle Dedun:
Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context. SEKE 2001: 95-101
Keynote
- Victor R. Basili:
Implementing the Experience Factory concepts as a set of Experience Bases. SEKE 2001: 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. SEKE 2001: 110-119 - Radu Iosif, Riccardo Sisto:
Temporal Logic Properties of Java Objects. SEKE 2001: 120-127 - Daniela Rosca, Chris Wild:
Towards a Flexible Deployment of Business Rules. SEKE 2001: 128-136 - Óscar Dieste Tubío:
Development-Paradigm Independent Conceptual Models. SEKE 2001: 137-144
Reuse III
- Fernando Ramos, Juan Frausto Solís, Francisco Camargo-Santacruz:
Reuse of Colored Petri Nets Software Models. SEKE 2001: 145-152 - M. Cecilia Bastarrica, Rodrigo E. Caballero, Steven A. Demurjian, Alexander A. Shvartsman:
Two Optimization Techniques for Component-Based Systems Deployment. SEKE 2001: 153-162 - Marco Antonio Furlan de Souuza, Maria Alice Grigas Varella Ferreira:
Designing Reusable Rule-Based Architectures with Design Patterns. SEKE 2001: 163-170 - Stan Jarzabek, Hongyu Zhang:
Enhacing component reuse with control flow abstraction analysis. SEKE 2001: 171-178
Keynote
- Shari Lawrence Pfleeger:
Decision-Making in Software Engineering. SEKE 2001: 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. SEKE 2001: 180-187 - Jaime Ramírez, Angélica de Antonio:
Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships. SEKE 2001: 188-195 - Young Lee, Kai H. Chang, David A. Umphress, T. Dean Hendrix, James H. Cross II:
Automated Tool for Software Quality Measurement. SEKE 2001: 196-202
Databases
- Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero:
Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability. SEKE 2001: 203-211 - Hee Beng Kuan Tan, Ni Lar Thein, Ye Li:
Design for Post-Transaction Input Error Handling. SEKE 2001: 212-219 - Fernando Carpani, Raúl Ruggia:
An Integrity Constraints Language for a Conceptual Multidimensional Data Model. SEKE 2001: 220-227
Object Orientation
- Pablo R. Fillottrani, Elsa Estevez, Susana Kahnert:
Applying Logic Programming Techniques to Object-Oriented Modeling in UML. SEKE 2001: 228-235 - Kim Mens, Isabel Michiels, Roel Wuyts:
Supporting Software Development through Declaratively Codified Programming. SEKE 2001: 236-243 - Juan Gargiulo, Spiros Mancoridis:
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs. SEKE 2001: 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. SEKE 2001: 252-259 - Silvio Gonnet, Horacio Pascual Leone:
A Framework for Model Version Management in a Design Process. SEKE 2001: 260-267 - Magne Jørgensen, Ulf Indahl, Dag I. K. Sjøberg:
Software effort estimation by analogy and regression toward the mean. SEKE 2001: 268-274
Keynote
- Al Davis:
Requirements Triage: The Most Important Part of Software Engineeringand the Most Ignored. SEKE 2001: 275
Software Agents
- Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz:
A Formal Framework for Multi-Agent Systems Analysis and Design. SEKE 2001: 276-282 - Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani:
Agent- Oriented Software Development: A Case Study. SEKE 2001: 283-290 - Federico Bergenti, Agostino Poggi:
Supporting Agent- Oriented Software Engineering with UML. SEKE 2001: 291-298 - Adriano Jose Pinheiro Lemos, Angelo Perkusich:
Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets. SEKE 2001: 299-306
Short Papers
- Francisco J. García-Peñalvo, Juan M. Corchado:
CBR Applied to Development with Reuse Based on Mecanos. SEKE 2001: 307-311 - Osvaldo Cairó, Julio Barreiro, Francisco Solsona:
Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target. SEKE 2001: 312-316 - María Isabel Sánchez Segura, Angélica de Antonio, Ricardo Imbert, Gonzalo Méndez, Antonio de Amescua Seco:
Design Task in Virtual Environments Development. SEKE 2001: 317-320 - Supanat Kitcharoensakkul, Vilas Wuwongse:
Software Composing based on a Unified SCM System. SEKE 2001: 321-325 - Christiane Gresse von Wangenheim, Daniel Lichtnow, Aldo von Wangenheim:
A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations. SEKE 2001: 326-330 - Miro Casanova, Thomas Wallet, Maja D'Hondt:
Explicit Domain Knowledge Model in Geographic Information Systems. SEKE 2001: 331-340 - Esperanza Marcos:
Defining taxonomic hierarchies: their implications for multiple inheritance. SEKE 2001: 336-340 - Rodolfo Gómez, Juan Carlos Augusto, Antony Galton:
Testing an Event Specification Language. SEKE 2001: 341-345
Keynote
- S. K. Chang:
A Special Presentation on Multimedia Software Engineering. SEKE 2001: 346
Learning Organizations
- Dietmar Pfahl, Günther Ruhe:
System Dynamics as an Enabling Technology for Learning in Software Organizations. SEKE 2001: 355-362 - Nelson A. Baloian, David A. Fuller, Sergio F. Ochoa:
A Model for Component-Based Courseware Development (CBCD). SEKE 2001: 363-370
Software Design and Maintenance
- Mira Kajko-Mattsson, Lars-Olov Tjerngren, Par Aadersson:
CM3: Up-Front Maintenance. SEKE 2001: 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. SEKE 2001: 379-386 - Nenad Medvidovic, Paul Grünbacher, Alexander Egyed, Barry W. Boehm:
Software Model Connectors: Bridging Models across the Software Lifecycle. SEKE 2001: 387-396
Software Architectures
- Marta López:
Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method. SEKE 2001: 397-404
Data Mining
- Aura Conci, Everest Mathias M. M. Castro:
Image Mining by Color Coateat. SEKE 2001: 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. SEKE 2001: 412-419
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.