Kang Zhang, George Spanoudakis, Giuseppe Visaggio
Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2006.

@proceedings{SEKE-2006,
	address       = "San Francisco, California, USA",
	editor        = "Kang Zhang and George Spanoudakis and Giuseppe Visaggio",
	isbn          = "1-891706-18-7",
	title         = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2006,
}

Contents (131 items)

19 ×#modelling
13 ×#component
12 ×#architecture
10 ×#testing
10 ×#using
10 ×#web
9 ×#design
9 ×#framework
9 ×#multi
8 ×#analysis

SEKE-2006-Hira #outsourcing

Outsourcing America (RH), pp. 1–2.

SEKE-2006-Hwang #architecture #information management

Information Services in Service Oriented Architecture-Challenges and Opportunities (KWH), p. 2.

SEKE-2006-Simpson #approach #enterprise

A Pragmatic Approach to Enterprise Services Orientation (GS), p. 3.

SEKE-2006-UbayashiTSMM #aspect-oriented #collaboration #metamodelling #modelling #protocol

Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling (NU, TT, SS, YM, SM), pp. 4–10.

SEKE-2006-YuLSH #modelling #using

Modeling Complex Software Systems Using an Aspect Extension of Object-Z (HY, DL, ZS, XH), pp. 11–16.

SEKE-2006-KuleszaLAG #aspect-oriented #generative #using

Customizing Aspect-Oriented Variabilities using Generative Techniques (UK, CJPdL, PSCA, AG), pp. 17–22.

SEKE-2006-MatsuuraK #collaboration #development #empirical

Collaboration Support Model of Software Development Experiment (SM, HK), pp. 23–28.

SEKE-2006-PaoliL #collaboration #semantics

Enhancing Semantic Interoperability in Collaborative Systems (FDP, ML), pp. 29–34.

SEKE-2006-BittencourtTC #rule-based

Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System (IIB, MT, EdBC), pp. 35–40.

SEKE-2006-HuangC #probability #rule-based #similarity #using

Using Conditional Probability to Measure Rule-based Knowledge Similarity (CJH, MYC), pp. 41–44.

SEKE-2006-BouchachiaW #reverse engineering #rule-based

Reverse Engineering of Rule-based Systems (AB, DW), pp. 45–50.

SEKE-2006-HuangC06a #nondeterminism #rule-based

A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.

SEKE-2006-LehmanW #convergence #problem #rule-based #simulation

A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation (CWL, MJW), pp. 57–60.

SEKE-2006-HungL #data mining #mining #performance #using

Using Data Mining Schemes for Improvement on System Performance in Virtual Environments (SSH, DSML), pp. 61–66.

SEKE-2006-CazellaA #architecture #data mining #mining #multi #recommendation #research

An architecture based on multi-agent system and data mining for recommending research papers and researchers (SCC, LOCA), pp. 67–72.

SEKE-2006-WuHY #clustering #ranking

Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board System (XW, SH, YY), pp. 73–78.

SEKE-2006-BogornyEA #framework #mining #named #preprocessor

GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining (VB, PME, LOA), pp. 79–84.

SEKE-2006-ZengA #classification #multi #representation

Classification by Multi-Perspective Representation Method (JZ, RA), pp. 85–90.

SEKE-2006-GarlanS #architecture

An Architecture for Personal Cognitive Assistance (DG, BRS), pp. 91–97.

SEKE-2006-OussalahTGS #architecture #challenge #component

Updating Styles Challenge Updating Needs within Component-based Software Architectures (MO, DT, OLG, AS), pp. 98–101.

SEKE-2006-LeeK #architecture #case study #framework #re-engineering #verification

Verifying a Software Architecture Reconstruction Framework with a Case Study (SL, SK), pp. 102–107.

SEKE-2006-FarenhorstBDLV #architecture #domain model #question #what

What’s in Constructing a Domain Model for Sharing Architectural Knowledge? (RF, RCdB, RD, PL, HvV), pp. 108–113.

SEKE-2006-HofmeisterW #integration #process #taxonomy

A Pattern Taxonomy for Business Process Integration Oriented Application Integration (HH, GW), pp. 114–119.

SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread

A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.

SEKE-2006-LeeDSG #approach #modelling #verification

A PVS Approach to Verifying ORA-SS Data Models (SUJL, GD, JS, LG), pp. 126–131.

SEKE-2006-McElroyR #release planning

Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.

SEKE-2006-McDaidGKPCT #agile #nondeterminism #release planning

Managing Uncertainty in Agile Release Planning (KM, DG, FK, PP, GC, PST), pp. 138–143.

SEKE-2006-ZiemerSS #approach #development #modelling #requirements #trade-off #web

A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development (SZ, PRFS, TS), pp. 144–149.

SEKE-2006-LiuP #modelling #multi #optimisation #query

Multi-model Based Optimization for Stream Query Processing (YL, BP), pp. 150–155.

SEKE-2006-ZepedaC #concept #design

Applying MDA to the Conceptual Design of Data Warehouses (LZ, MC), pp. 156–161.

SEKE-2006-MenolliD #architecture

A Data Warehouse Architecture in Layers for Science and Technology (ALAM, MMD), pp. 162–165.

SEKE-2006-JeanAP #database #ontology #query

Querying Ontology Based Databases — The OntoQL Proposal (SJ, YAA, GP), pp. 166–171.

SEKE-2006-SpinolaST #concept #framework #towards #ubiquitous

Towards a Conceptual Framework to Classify Ubiquitous Software Projects (ROS, JLMdS, GHT), pp. 172–175.

SEKE-2006-ScottoSS #development #open source #overview #perspective #process

Open Source Development Process: a Review (MS, AS, GS), pp. 176–181.

SEKE-2006-YinW #programming

Organizational Programming: Hierarchy Software Construction (ZY, JW), pp. 182–187.

SEKE-2006-AguilaCPT #development #hybrid #towards

Towards a Methodology for Hybrid Systems Software Development (IMdÁ, JC, JTP, ST), pp. 188–193.

SEKE-2006-RatanotayanonKS #agile #documentation

After the Scrum: Twenty Years of Working without Documentation (SR, JK, SES), pp. 194–199.

SEKE-2006-BaileyS #empirical #modelling #tool support

Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study (SAB, SES), pp. 200–205.

SEKE-2006-CachiaM #online #usability

Measuring the Usability of Online Stores (EC, MM), pp. 206–211.

SEKE-2006-ChangLK #architecture #metric #product line

Key Issues and Metrics for Evaluating Product Line Architectures (SHC, HJL, SDK), pp. 212–219.

SEKE-2006-KhoshgoftaarH #case study #metric #multi

Multiple Imputation of Software Measurement Data: A Case Study (TMK, JVH), pp. 220–226.

SEKE-2006-KhoshgoftaarSH #metric

Polishing Noise in Continuous Software Measurement Data (TMK, CS, JVH), pp. 227–231.

SEKE-2006-HoipkemierKM #3d #diagrams #open source #visualisation

3D Visualization of Class Template Diagrams for Deployed Open Source Applications (BNH, NAK, BAM), pp. 232–235.

SEKE-2006-HallstromDS #contract #design pattern #monitoring #parallel

Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.

SEKE-2006-YuC #empirical #maintenance

An Empirical Study of the Maintenance Effort (LY, KC), pp. 242–245.

SEKE-2006-AcunaGR #case study #quality

Experimental Study on the Impact of Team Climate on Software Quality (STA, MG, RR), pp. 246–251.

SEKE-2006-ChiYL #how #question #web

Web Object Cacheability How Much Do We Know? (CHC, JLY, LL), pp. 252–255.

SEKE-2006-HaiderC #estimation #fault

Bayesian Estimation of Defects based on Defect Decay Model: BayesED3M (SWH, JWC), pp. 256–261.

SEKE-2006-AlmeidaPFLC #component #evolution

A Component Model to Support Dynamic Unanticipated Software Evolution (HOdA, AP, GF, EL, EdBC), pp. 262–267.

SEKE-2006-SunZLT #component #composition #design #execution #framework #logic

Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.

SEKE-2006-SridharHS #case study #component #deployment

Container-Based Component Deployment: A Case Study (NS, JOH, PAGS), pp. 274–277.

SEKE-2006-KelkarSG #component #interactive #off the shelf

Interaction Partnering Criteria for COTS Components (MK, MS, RFG), pp. 278–283.

SEKE-2006-LiPZXS #component #ranking #retrieval

Ranking Component Retrieval Results by Leveraging User History Information (YL, YP, LZ, BX, JS), pp. 284–289.

SEKE-2006-DongFH #component #framework #modelling

A Framework for Component-based System Modeling (ZD, YF, XH), pp. 290–295.

SEKE-2006-TamzalitSO #architecture #component #evolution #problem

Evolution problem within Component-Based Software Architecture (DT, NS, MO), pp. 296–301.

SEKE-2006-SartipiS #analysis #concept #evaluation #execution #mining

Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation (KS, HS), pp. 302–308.

SEKE-2006-KimRK #component #quality

A Practical Quality Model for Evaluating Business Components (JHK, SYR, SDK), pp. 309–314.

SEKE-2006-CookeRW #verification

The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.

SEKE-2006-SoundarajanH #case study #evolution

Pattern-Based System Evolution: A Case-Study (NS, JOH), pp. 321–326.

SEKE-2006-HenningerA #design pattern #metamodelling #ontology

An Ontology-Based Metamodel for Software Patterns (SH, PA), pp. 327–330.

SEKE-2006-AprilDD #knowledge-based #maintenance #ontology

A Formalism of Ontology to Support a Software Maintenance Knowledge-based System (AA, JMD, RRD), pp. 331–336.

SEKE-2006-ThaddeusR #knowledge-based #re-engineering

Ontology-driven Model for Knowledge-Based Software Engineering (ST, SVKR), pp. 337–342.

SEKE-2006-BalushiSDL #elicitation #ontology #process #quality #requirements

Performing Requirements Elicitation Activities Supported by Quality Ontologies (THAB, PRFS, DD, PL), pp. 343–348.

SEKE-2006-HappelKST #approach #named #reuse

KOntoR: An Ontology-enabled Approach to Software Reuse (HJH, AK, SS, PT), pp. 349–354.

SEKE-2006-TylerS #automation #control flow #inheritance #monitoring

Automatic Monitoring of Control-flow Through Inheritance Hierarchies (BT, NS), pp. 355–358.

SEKE-2006-ZhaoGQC #abstraction #constraints #prolog #semantics

A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.

SEKE-2006-JavedMSB #context-free grammar #domain-specific language #incremental

Incrementally Inferring Context-Free Grammars for Domain-Specific Languages (FJ, MM, APS, BRB), pp. 363–368.

SEKE-2006-ChenLC #programming language

Supporting Connector in Programming Language (BC, ZL, HC), pp. 369–374.

SEKE-2006-BabichCC #java #named

TaxTOOLJ: A Tool to Catalog Java Classes (DB, KC, PJC), pp. 375–380.

SEKE-2006-YangKEA #flexibility #framework

A Relationship-based Flexible Authorization Framework for Mediation Systems (LY, JMK, RKE, MA), pp. 381–385.

SEKE-2006-ManaSSM #towards

Towards Secure Ambient Intelligence Scenarios (AM, FSC, DS, AM), pp. 386–391.

SEKE-2006-PauliX #case study #composition #consistency

Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.

SEKE-2006-SornilS #detection #using

Improving Intrusion Detection Systems Using Reference Vectors (OS, PS), pp. 398–403.

SEKE-2006-Merz #approach #java #security #using

Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects (MM), pp. 404–409.

SEKE-2006-ZhangYLC #formal method #game studies #novel #protocol

A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization (LZ, JY, ML, JC), pp. 410–415.

SEKE-2006-MazzoleniVFMB #image #towards #using

Towards a contextualized access to the cultural heritage world using 360 Panoramic Images (PM, SV, SF, PM, EB), pp. 416–419.

SEKE-2006-HowardS #modelling

Object and Knowledge Modeling for Impact Fusion (CH, MS), pp. 420–425.

SEKE-2006-GregoireZ #automation #consistency #framework #knowledge base

A Framework for Fusing Consistent Knowledge Bases Automatically (ÉG, DZ), pp. 426–431.

SEKE-2006-LiC #profiling

User Profiling in the Chronobot/Virtual Classroom System (XL, SKC), pp. 432–439.

SEKE-2006-OgataKF #bound

Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.

SEKE-2006-SadaouiS #implementation #java #specification

Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.

SEKE-2006-CostabileFMMP #design #interactive #visual notation

Nogueira A Design Methodology for Tailorable Visual Interactive Systems (MFC, DF, AM, PM, AP), pp. 450–455.

SEKE-2006-HuangH #modelling #object-oriented

A Method for Modeling Object-Oriented Systems with PZ nets (YH, XH), pp. 456–462.

SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling

Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.

SEKE-2006-PaivaFF #design #development #representation #requirements

Design Rationale in Academic Software Development: Requirements for a Representation Model (DMBP, APF, RPdMF), pp. 469–472.

SEKE-2006-WongRLO #embedded #testing

Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.

SEKE-2006-Mayer #clustering #effectiveness #performance #random testing #testing

Efficient and Effective Random Testing based on Partitioning and Neighborhood (JM), pp. 479–484.

SEKE-2006-ShinX #component #detection #self

Enhanced Anomaly Detection in Self-Healing Components (MES, YX), pp. 485–488.

SEKE-2006-MichielsRBBD #modelling #testing #using

Program Testing Using High-Level Property-Driven Models (IM, CDR, JB, EGB, TD), pp. 489–494.

SEKE-2006-Benattou #architecture #distributed #multi #testing

A Multi-Agent Based Architecture For Distributed Testing (MB), pp. 495–498.

SEKE-2006-HewettKSA #fault #predict #testing

Software Defect Data and Predictability for Testing Schedules (RH, AK, CS, AAA), pp. 499–504.

SEKE-2006-PilskalnsA #design #ocl #security #testing #uml #using

Using UML Designs to Generate OCL for Security Testing (OP, AAA), pp. 505–510.

SEKE-2006-FranzotteV #mutation testing #testing #xml

Applying Mutation Testing in XML Schemas (LF, SRV), pp. 511–516.

SEKE-2006-NieXSW #generative #heuristic #testing

A New Heuristic for Test Suite Generation for Pair-wise Testing (CN, BX, LS, ZW), pp. 517–521.

SEKE-2006-BarbosaNM #ontology #testing #towards

Towards the Establishment of an Ontology of Software Testing (EFB, EYN, JCM), pp. 522–525.

SEKE-2006-JiangAYCA #automation #implementation #mobile

Automating the Implementation of Mobile Applications and Services (MJ, AA, ZY, RC, JA), pp. 526–531.

SEKE-2006-ZhangKY #concept analysis #modelling #uml #web

UML Modelling Web Applications via Formal Concept Analysis (ZZ, JK, HY), pp. 532–535.

SEKE-2006-MayerS #coordination #debugging #web #web service

Debugging Failures in Web Services Coordination (WM, MS), pp. 536–543.

SEKE-2006-DongSY #composition #framework #ontology #web #web service

OWL-S Ontology Framework Extension for Dynamic Web Service Composition (JD, YS, SY), pp. 544–549.

SEKE-2006-PinheiroFSM #development #knowledge-based #named #web

WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems (VP, VF, PPdS, DLM), pp. 550–555.

SEKE-2006-LinWCS #case study #diagrams #modelling #process #uml

UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.

SEKE-2006-PiaoWCC #analysis #diagrams #process #uml

An Analysis Model of Activity Diagram in UML 2.0 (WCP, CHW, WCC, LPC), pp. 562–567.

SEKE-2006-BokhariP #analysis #modelling #petri net #uml

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.

SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.

SEKE-2006-ShanZ #consistency #constraints #modelling #specification

Specifying Consistency Constraints for Modelling Languages (LS, HZ), pp. 578–583.

SEKE-2006-BuchwalderP #implementation #modelling #named #web

WebLang: A Language for Modeling and Implementing Web Applications (OB, CP), pp. 584–590.

SEKE-2006-AversanoCV #named #web

WECAP: A Web Environment for Project Planning (LA, GC, CAV), pp. 591–594.

SEKE-2006-GaaloulG #analysis #mining #statistics #workflow

A Workflow Mining Tool based on Logs Statistical Analysis (WG, CG), pp. 595–600.

SEKE-2006-SteinmacherLH #analysis #process #simulation #using #workflow

Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation (IS, JVdL, EHMH), pp. 601–606.

SEKE-2006-ChiSLW #peer-to-peer

AN.P2P — an Active Peer-to-peer System (CHC, MS, LL, HW), pp. 607–612.

SEKE-2006-Chang

AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering (NBC), pp. 613–618.

SEKE-2006-BoukercheL #re-engineering #rule-based #towards

Reengineering a Rule-Based System towards a Planning System (KB, HL), pp. 619–624.

SEKE-2006-GokhaleY #analysis #architecture #pipes and filters #reliability

Reliability Analysis of Pipe and Filter Architecture Style (SSG, SMY), pp. 625–630.

SEKE-2006-SongZDASNVSV #case study #named

SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study (MAJS, LEZ, SMD, AA, BS, BMN, RV, TRAS, NV), pp. 631–638.

SEKE-2006-MaoCSZW #adaptation #design #modelling

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.

SEKE-2006-Chainbi #concept #multi #ontology

An Ontology Based Multi-Agent System Conceptual Model (WC), pp. 645–650.

SEKE-2006-XiaoG #multi

A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems (LX, DG), pp. 651–656.

SEKE-2006-GrauCFN #analysis #comparative #modelling

A Comparative Analysis of i*Agent-Oriented Modelling Techniques (GG, CC, XF, FN), pp. 657–663.

SEKE-2006-LiLWD #process #re-engineering

A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment (NL, ML, QW, SD), pp. 664–669.

SEKE-2006-Ding #architecture #mobile

A Formal Architectural Model For Mobile Service Systems (ZD), pp. 670–675.

SEKE-2006-DiasPV #database #information management

An Environment of Knowledge Discovery in Database (MMD, RCdSP, LGV), pp. 676–681.

SEKE-2006-KrishnaCG #approach #elicitation #requirements

Genre-based approach to Requirements Elicitation (AK, RJC, AKG), pp. 682–687.

SEKE-2006-StenderKA #multi #runtime

Mobility-based Runtime Load Balancing in Multi-Agent Systems (JS, SK, SA), pp. 688–696.

SEKE-2006-HepnerGG #composition #interactive #requirements #web #web service

Elevating Interaction Requirements for Web Service Composition (MH, MTG, RFG), pp. 697–701.

SEKE-2006-FabresseDH #component

Unanticipated Connection of Components Based on Their State Changes Notifications (LF, CD, MH), pp. 702–707.

SEKE-2006-MeisS #design

Service Design with the ServiceBlueprint (JM, LS), pp. 708–713.

SEKE-2006-MrissaGBM #composition #semantics #towards #web #web service

Towards Context-based Mediation for Semantic Web Services Composition (MM, CG, DB, ZM), pp. 714–719.

SEKE-2006-MaLL #component #design #research #testing

The Research and Design of Layered-metadata used for Component-based Software Testing (LM, YL, ML), pp. 720–723.

SEKE-2006-LiuBGRTOA #distributed #embedded #framework #named #product line #realtime

QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems (SHL, BRB, JGG, RRR, MT, AMO, MA), pp. 724–729.

SEKE-2006-ZhangCWH #component #evaluation #middleware #performance

Performance Evaluation of Component System based on Container style Middleware (YZ, NC, JW, TH), pp. 730–736.

SEKE-2006-YuC06a #evolution #maintenance #open source #reuse

Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse (LY, KC), pp. 737–742.