Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2001.

@proceedings{SEKE-2001,
	address       = "Buenos Aires, Argentina",
	title         = "{Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2001,
}

Contents (58 items)

6 ×#modelling
6 ×#reuse
5 ×#design
5 ×#development
5 ×#information management
5 ×#multi
4 ×#analysis
4 ×#framework
4 ×#re-engineering
4 ×#requirements

SEKE-2001-Mellor #abstraction #execution

Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.

SEKE-2001-BuenoJ #algorithm #automation #generative #search-based #testing #using

Automatic Test Data Generation for Program Paths Using Genetic Algorithms (PMSB, MJ), pp. 2–9.

SEKE-2001-HoudekSE #detection #empirical #execution #fault #specification

Defect Detection for Executable Specifications — An Experiment (FH, TS, DE), pp. 10–18.

SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using

Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.

SEKE-2001-NetoSBK #experience #prototype

A Prototype Experience Management System for a Software Consulting Organization (MGdMN, CBS, VRB, YMK), pp. 29–36.

SEKE-2001-BarrosWT #analysis #process #project management #reuse

Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process (MdOB, CMLW, GHT), pp. 37–44.

SEKE-2001-Vegas #question #testing #what

What Information is Relevant when Selecting Testing Techniques? (SV), pp. 45–52.

SEKE-2001-Perez-MartinezS #case study #information management #requirements

Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study (JEPM, ASA), pp. 53–60.

SEKE-2001-JarzabekOZ #modelling #requirements

Handling Variant Requirements in 9omain Modeling (SJ, WCO, HZ), pp. 61–68.

SEKE-2001-Kla #object-oriented #specification

Semiautomatic extraction of Object-Oriented specifications form textual scenarios (RK), pp. 69–78.

SEKE-2001-ElstA #distributed

Ontology-Related Services in Agent-Based Distributed Information Infrastructures (LvE, AA), pp. 79–86.

SEKE-2001-BrisaboaPPR #database #ontology #using #web

Using ontologies for federation of Web accessible databases (NRB, MRP, ÁSP, FJR), pp. 87–94.

SEKE-2001-TalensBD #multi #reuse

Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context (GT, DB, ID), pp. 95–101.

SEKE-2001-Basili #concept #experience #implementation #set

Implementing the Experience Factory concepts as a set of Experience Bases (VRB), pp. 102–109.

SEKE-2001-MorenoS #classification #detection #requirements

A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering (AMM, AS), pp. 110–119.

SEKE-2001-IosifS #java #logic

Temporal Logic Properties of Java Objects (RI, RS), pp. 120–127.

SEKE-2001-RoscaW #deployment #flexibility #towards

Towards a Flexible Deployment of Business Rules (DR, CW), pp. 128–136.

SEKE-2001-Tubio #concept #independence #modelling

Development-Paradigm Independent Conceptual Models (ÓDT), pp. 137–144.

SEKE-2001-RamosSC #modelling #petri net #reuse #using

Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.

SEKE-2001-BastarrioaCDS #component #deployment #optimisation

Two Optimization Techniques for Component-Based Systems Deployment (MCB, REC, SAD, AAS), pp. 153–162.

SEKE-2001-SouuzaF #design #design pattern #reuse #rule-based

Designing Reusable Rule-Based Architectures with Design Patterns (MAFdS, MAGVF), pp. 163–170.

SEKE-2001-JarzabekZ #abstraction #analysis #component #control flow #reuse

Enhacing component reuse with control flow abstraction analysis (SJ, HZ), pp. 171–178.

SEKE-2001-Pfleeger #re-engineering

Decision-Making in Software Engineering (SLP), p. 179.

SEKE-2001-VincenziNMDR #guidelines

Bayesian-Learning Based Guidelines to determine Equivalente Mutants (AMRV, EYN, JCM, MED, RAFR), pp. 180–187.

SEKE-2001-RamirezA #constraints #reasoning

Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships (JR, AdA), pp. 188–195.

SEKE-2001-LeeCUHC #automation #metric #quality

Automated Tool for Software Quality Measurement (YL, KHC, DAU, TDH, JHCI), pp. 196–202.

SEKE-2001-GeneroOPR #diagrams #information management #maintenance #predict

Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability (MG, JAO, MP, FPR), pp. 203–211.

SEKE-2001-TanTL #design #fault #transaction

Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.

SEKE-2001-CarpaniR #concept #constraints #multi

An Integrity Constraints Language for a Conceptual Multidimensional Data Model (FC, RR), pp. 220–227.

SEKE-2001-FillottraniEK #logic programming #modelling #object-oriented #uml

Applying Logic Programming Techniques to Object-Oriented Modeling in UML (PRF, EE, SK), pp. 228–235.

SEKE-2001-MensMW #development #programming

Supporting Software Development through Declaratively Codified Programming (KM, IM, RW), pp. 236–243.

SEKE-2001-GargiuloM #java #named #source code

Gadget: A Tool for Extracting the Dynamic Structure of Java Programs (JG, SM), pp. 244–251.

SEKE-2001-MoroSES #evolution #specification

A Temporal Versions Model for Time- Evolving Systems Specification (MMM, SMS, NE, CSdS), pp. 252–259.

SEKE-2001-GonnetL #design #framework #process

A Framework for Model Version Management in a Design Process (SG, HPL), pp. 260–267.

SEKE-2001-JorgensenIS #estimation #towards

Software effort estimation by analogy and regression toward the mean (MJ, UI, DIKS), pp. 268–274.

SEKE-2001-Davis #re-engineering #requirements

Requirements Triage: The Most Important Part of Software Engineering… and the Most Ignored (AD), p. 275.

SEKE-2001-GruerHKC #analysis #design #framework #multi

A Formal Framework for Multi-Agent Systems Analysis and Design (PG, VH, AK, KC), pp. 276–282.

SEKE-2001-GiorginiPMGB #case study #development

Agent- Oriented Software Development: A Case Study (PG, AP, JM, FG, PB), pp. 283–290.

SEKE-2001-BergentiP #re-engineering #uml

Supporting Agent- Oriented Software Engineering with UML (FB, AP), pp. 291–298.

SEKE-2001-LemosP #information management #interactive #modelling #petri net #using

Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets (AJPL, AP), pp. 299–306.

SEKE-2001-GarciaC #development #reuse

CBR Applied to Development with Reuse Based on Mecanos (FJG, JMC), pp. 307–311.

SEKE-2001-CairoBS #framework #information management

Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target (OC, JB, FS), pp. 312–316.

SEKE-2001-SeguraAIMA #design #development

Design Task in Virtual Environments Development (MISS, AdA, RI, GM, AdAS), pp. 317–320.

SEKE-2001-KitcharonesakkulW

Software Composing based on a Unified SCM System (SK, VW), pp. 321–325.

SEKE-2001-WangenheimLW #approach #hybrid #memory management

A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations (CGvW, DL, AvW), pp. 326–330.

SEKE-2001-CasanovaWD #information management

Explicit Domain Knowledge Model in Geographic Information Systems (MC, TW, MD), pp. 331–340.

SEKE-2001-Marcos #inheritance #multi #taxonomy

Defining taxonomic hierarchies: their implications for multiple inheritance (EM), pp. 336–340.

SEKE-2001-GomezAG #specification #testing

Testing an Event Specification Language (RG, JCA, AG), pp. 341–345.

SEKE-2001-Chang #multi #re-engineering

A Special Presentation on Multimedia Software Engineering (SKC), p. 346.

SEKE-2001-NavarroH #adaptation #game studies #learning

Adapting Game Technology to Support Individual and Organizational Learning (EON, AvdH), pp. 347–354.

SEKE-2001-PfahlR #learning

System Dynamics as an Enabling Technology for Learning in Software Organizations (DP, GR), pp. 355–362.

SEKE-2001-BaloianFO #component #development

A Model for Component-Based Courseware Development (CBCD) (NAB, DAF, SFO), pp. 363–370.

SEKE-2001-Kajko-MattssonTA #maintenance #named

CM3: Up-Front Maintenance (MKM, LOT, PA), pp. 371–378.

SEKE-2001-SierraFFN

Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies (JLS, AFV, BFM, AN), pp. 379–386.

SEKE-2001-MedvidovicGEB #lifecycle #modelling

Software Model Connectors: Bridging Models across the Software Lifecycle (NM, PG, AE, BWB), pp. 387–396.

SEKE-2001-Lopez #analysis #architecture #evaluation #framework #trade-off

Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method (ML), pp. 397–404.

SEKE-2001-ConciMC #image #mining

Image Mining by Color Coateat (AC, EMMMC), pp. 405–411.

SEKE-2001-AlonsoCGM #data mining #mining

Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain (FA, JPCV, ÁLG, CM), pp. 412–419.