Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

KER
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.