Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2007.

@proceedings{SEKE-2007,
	address       = "Boston, Massachusetts, USA",
	isbn          = "1-891706-20-9",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2007,
}

Contents (135 items)

15 ×#named
14 ×#architecture
13 ×#modelling
12 ×#component
12 ×#using
11 ×#development
10 ×#approach
10 ×#specification
10 ×#testing
9 ×#framework

SEKE-2007-Urban #education #research #specification

A View on Software Specification Research and Education Advancement (JU), p. 1.

SEKE-2007-MaZPYL #adaptation #architecture #polymorphism #self

Constructing Self-Adaptive Systems with Polymorphic Software Architecture (XM, YZ, JP, PY, JL), pp. 2–8.

SEKE-2007-MaiaBW #approach #component #modelling #named

Odyssey-MDA: A Transformational Approach to Component Models (NM, APTB, CMLW), pp. 9–14.

SEKE-2007-ComanS #empirical #low level #process

An Empirical Exporatory Study on Inferring Developpers’ Activities from Low-Level Data (IDC, AS), pp. 15–18.

SEKE-2007-SadjadiT #dot-net

TRAP.NET: A Realization of Transparent Shaping in .NET (SMS, FT), pp. 19–24.

SEKE-2007-VilainFM #agile #framework #process

A Framework for Selecting Agile Practices and Defining Agile Software Processes (PV, PBF, TLM), pp. 25–28.

SEKE-2007-MonteiroOG #implementation #source code #user interface #using

A Proposal to Delegate GUI Implementation using a Source Code based Model (MM, PO, RG), pp. 29–32.

SEKE-2007-VasileB #cost analysis #multi

Cost-based Analysis of Multiple Counter-Examples (FV, SB), pp. 33–38.

SEKE-2007-YuSC #kernel #reuse

Common Coupling as a Measure of Reuse Effort in Kernel-Based Software (LY, SRS, KC), pp. 39–44.

SEKE-2007-FuDASH #approach #correctness #java #validation

An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.

SEKE-2007-SantiagoMCSA #development #experience #outsourcing

QSEE Project: An Experience in Outsourcing Software Development for Space Applications (VAS, MdFMF, RC, WPdS, AMA), pp. 51–56.

SEKE-2007-TranCT #modelling #process #using

Broadening the Use of Process Patterns for Modeling Processes (HNT, BC, DTBT), pp. 57–62.

SEKE-2007-FontouraP #framework #process

A Framework for Tailoring Software Process (LMF, RTP), pp. 63–66.

SEKE-2007-HuangL #configuration management #process #repository

Analyzing Configuration Management Repository Data for Software Process Improvement (SH, CL), p. 67–?.

SEKE-2007-FengLK #adaptation #aspect-oriented #component #integration #product line #quality

Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation (YF, XL, JMK), pp. 71–76.

SEKE-2007-LiangS #aspect-oriented #composition #detection #specification

Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.

SEKE-2007-PivetaHMPAGP #aspect-oriented #smell

Avoiding Bad Smells in Aspect-Oriented Software (EKP, MH, AMDM, MSP, JA, PG, RTP), p. 81–?.

SEKE-2007-OteroIMGDQLFL #design #evaluation #interactive #metric #quality

Metrics of Credibility and Interaction Quality: Design and Evaluation (NMPO, CMPI, SAM, AG, MdPGD, VEQ, HPL, BF, CML), pp. 87–92.

SEKE-2007-HewettKM #order #predict

Predicting Order of Likelihood of Defective Software Modules (RH, PK, AvdM), pp. 93–98.

SEKE-2007-XuXW #automation #code generation #protocol #state machine #uml

Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.

SEKE-2007-WeiAZ #effectiveness #framework #network #validation

Validating A Layered Decision Framework for Cost-Effective Network Defense (HW, JAF, DZ), pp. 105–110.

SEKE-2007-GaoTHCCF #analysis #modelling #testing #towards

Toward Modeling and Analysis for Software Installation Testing (JZG, ST, CPH, YC, AC, TF), pp. 111–116.

SEKE-2007-DaiC #automation #generative #testing

Automatic Test Generation for Database-Driven Applications (ZD, MHC), pp. 117–122.

SEKE-2007-EmerVJ #testing

Fault-Based Testing of Data Schemas (MCFPE, SRV, MJ), pp. 123–128.

SEKE-2007-LeitaoTB #named #natural language #specification #testing

NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.

SEKE-2007-KuoSSTZ #random testing #source code #testing

Enhanced Random Testing for Programs with High Dimensional Input Domains (FCK, KYS, CaS, SFT, ZZ), pp. 135–140.

SEKE-2007-ChenKL #adaptation #on the #random testing #testing

On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.

SEKE-2007-CangussuCW #component #evaluation #performance #testing

Reducing the Number of Test Cases for Performance Evaluation of Components (JWC, KMLC, WEW), pp. 145–150.

SEKE-2007-AlencarRSF #classification #modelling #probability #project management

Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management (AJA, GGR, EAS, ALF), pp. 151–156.

SEKE-2007-NakagawaSFM #architecture #testing #tool support #towards

Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.

SEKE-2007-ChanCT #parametricity #random testing #strict #testing

Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.

SEKE-2007-MurphyKA #approach #machine learning #testing

An Approach to Software Testing of Machine Learning Applications (CM, GEK, MA), p. 167–?.

SEKE-2007-ZanattaV #agile #integration #modelling #quality #requirements #towards

Agile Methods and Quality Models: Towards an Integration in Requirements Engineering (ALZ, PV), pp. 173–178.

SEKE-2007-ZhouKBSC #framework #requirements #specification

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.

SEKE-2007-WaltzmanWAR #requirements

In the Requirements Lies the Power (RW, KW, TAA, DJR), pp. 185–190.

SEKE-2007-AnnoniRT #analysis #process #requirements

Data and Process Analyses of Data Warehouse Requirements (EA, FR, OT), pp. 191–196.

SEKE-2007-TagliatiJR #analysis #evolution

Requirement Analysis Evolution through Patterns (LVT, RJ, GR), pp. 197–202.

SEKE-2007-LimCR #automation #case study #diagrams #documentation #generative #specification

Automatic Generation of Use Case Diagrams from English Specifications Document (NRTL, CTC, JAER), pp. 203–208.

SEKE-2007-KearneyP #automation #framework #named #reverse engineering #tool support #uml

REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.

SEKE-2007-MartinhoDV #flexibility #modelling #named #process #uml

FlexUML: A UML Profile for Flexible Process Modeling (RM, DD, JV), pp. 215–220.

SEKE-2007-YeL #product line #specification

A Formal Specification for Product Configuration in Software Product Lines (HY, YL), pp. 221–226.

SEKE-2007-HofmeisterW #architecture #design #independence #platform #using

Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture (HH, GW), pp. 227–231.

SEKE-2007-KoskerB #graph transformation #refactoring #uml

Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.

SEKE-2007-MizouniSD #case study #composition #requirements #using

Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.

SEKE-2007-PatelXG #online #realtime #trust

Real-Time Trust Management in Agent Based Online Auction Systems (RP, HX, AG), pp. 244–250.

SEKE-2007-DunnK #geometry #web

Geometric Thumbnails For Web Searching (CD, BK), p. 251–?.

SEKE-2007-SchusterZP #architecture #collaboration #named #web

ADkwik: Web 2.0 Collaboration System for Architectural Decision Engineering (NS, OZ, CP), pp. 255–260.

SEKE-2007-AhmadLA #usability #web

Improving Usability of Web Systems with Similar Business Objectives (RA, ZL, FA), pp. 261–267.

SEKE-2007-Virgilio #information management #web

Processing Manipulations of Context Information on the Web (RDV), pp. 268–273.

SEKE-2007-CoxZO #data transfer

A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers (SEC, DZ, JO), p. 274–?.

SEKE-2007-Gomez-PerezRV #reuse #standard

Methodology for Reusing Human Resources Management Standards (AGP, JR, BVT), pp. 280–285.

SEKE-2007-RaibuletUM #adaptation #approach #resource management

An Adaptive Resource Management Approach for a Healthcare System (CR, LU, SM), pp. 286–291.

SEKE-2007-GomezA #development #quality

Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams (MG, STA), p. 292–?.

SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards

Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.

SEKE-2007-ShiN #component #java #named #security #static analysis

SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.

SEKE-2007-PengJRZ #case study #component #database #product line #reuse #using

Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study) (DP, SJ, DCR, HZ), pp. 308–313.

SEKE-2007-ShinP #component #design #off the shelf #self

Design of Wrapper for Self-Management of COTS Components (MES, FP), pp. 314–319.

SEKE-2007-GuD #component #embedded #execution #integration #multi

QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.

SEKE-2007-RodriguesAP #c++ #component #evolution #framework

A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution (AR, HOdA, AP), pp. 326–331.

SEKE-2007-MedeirosS #design #representation #reuse

Representing Design Rationale to support Reuse (APdM, DS), p. 332–?.

SEKE-2007-OliveiraAB #information management #maintenance

Telling Stories about System Use: Capturing Collective Tacit Knowledge for System Maintenance (ACdO, RMdA, MRSB), pp. 337–342.

SEKE-2007-LiangDS #evolution #monitoring #runtime

Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.

SEKE-2007-ZachariasA #debugging #on the #rule-based

On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.

SEKE-2007-SubbianN #elicitation #maintenance

Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance Services (KS, YN), p. 355–?.

SEKE-2007-Ilieva #information management #natural language #representation #visual notation

Graphical Notation for Natural Language and Knowledge Representation (MI), pp. 361–367.

SEKE-2007-TeekayuphunS #approach #hybrid #natural language #query

A Hybrid Approach for Natural Language Query Translation (PT, OS), pp. 368–373.

SEKE-2007-WongZQCD #effectiveness #fault #locality #network #using

Effective Fault Localization using BP Neural Networks (WEW, LZ, YQ, KYC, JD), pp. 374–379.

SEKE-2007-AmouiST #network #predict #using

Temporal Software Change Prediction Using Neural Networks (MA, MS, LT), pp. 380–385.

SEKE-2007-AlencarWSF #deployment #game studies #information management #question

Do Neural-Network Question-Answering Systems Have a Role to Play in the Deployment of Real World Information Systems? (AJA, RCW, EAS, ALF), pp. 386–391.

SEKE-2007-GendreauR #development

Knowledge Conversion in Software Development (OG, PNR), pp. 392–395.

SEKE-2007-RushtonT #reasoning #source code

A Language Facilitating Informal Reasoning about Programs (JNR, DT), p. 396–?.

SEKE-2007-Draheim #process #specification #towards

Towards Seamless Business Process and Dialogue Specification (DD), p. 402–?.

SEKE-2007-HummelJA #component #performance #repository #retrieval

Evaluating the Efficiency of Retrieval Methods for Component Repositories (OH, WJ, CA), pp. 404–409.

SEKE-2007-Garcia-CastroGS #benchmark #metric #ontology #rdf #tool support

Benchmarking the RDF(S) Interoperability of Ontology Tools (RGC, AGP, YS), pp. 410–415.

SEKE-2007-CordeiroGES #classification #constraints #database #design #version control

A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications (RLFC, RdMG, NE, CSdS), pp. 416–421.

SEKE-2007-SalamahKG #generative #linear #logic #specification

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.

SEKE-2007-LiZXS #classification #component #generative #ontology #retrieval

Ontology Based Classification Generating Method for Browsing-Based Component Retrieval (GL, LZ, BX, WS), p. 428–?.

SEKE-2007-SayedHZ #distance #semantics

A Context-Dependent Semantic Distance Measure (AES, HH, DAZ), pp. 432–437.

SEKE-2007-SantosH #algorithm #detection #semantics #xml

A Semantical Change Detection Algorithm for XML (RCS, CSH), pp. 438–443.

SEKE-2007-SilvaMPV #context-free grammar #evolution #grammar inference #xml

XML Schema Evolution by Context Free Grammar Inference (JCTdS, MAM, ATRP, SRV), p. 444–?.

SEKE-2007-HewettP #development #framework #trade-off

Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development (RH, VP), pp. 450–455.

SEKE-2007-SadjadiMSABE #development

Improving Separation of Concerns in the Development of Scientific Applications (SMS, JM, TS, LA, RMB, JE), pp. 456–461.

SEKE-2007-ZhangHLM #cost analysis #deployment

Pattern-based J2EE Application Deployment with Cost Analysis (NZ, GH, LL, HM), pp. 462–466.

SEKE-2007-KrenickyWE #design #query #using

Exploratory Design of Derivation Business Rules Using Query Rewriting (RK, DW, SME), pp. 467–472.

SEKE-2007-DongZ #classification #design pattern

Classification of Design Pattern Traits (JD, YZ), p. 473–?.

SEKE-2007-SerranoRMTP #concept #quality

A Proposal for a Conceptual Data Warehouse Quality Model (MAS, RR, JNM, JT, MP), pp. 477–482.

SEKE-2007-RavatTTZ

Integrating Complex Data into a Data Warehouse (FR, OT, RT, GZ), p. 483–?.

SEKE-2007-FollecoKHS #learning #quality

Learning from Software Quality Data with Class Imbalance and Noise (AF, TMK, JVH, CS), p. 487–?.

SEKE-2007-VasconcelosW #architecture #evaluation #quality #specification

Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification (APVdV, CMLW), pp. 494–499.

SEKE-2007-AlamD #3d #architecture #named #visualisation

EvoSpaces: 3D Visualization of Software Architecture (SA, PD), pp. 500–505.

SEKE-2007-HappelS #architecture #information management #named #semantics #wiki

Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software Architectures (HJH, SS), p. 506–?.

SEKE-2007-HewettT #design #enterprise

Building Business Considerations into Enterprise Application Designs (RH, AT), pp. 513–518.

SEKE-2007-MoserPS #agile #development #incremental #modelling #predict #using

Incremental Effort Prediction Models in Agile Development using Radial Basis Functions (RM, WP, GS), pp. 519–522.

SEKE-2007-CostaRSNF #named

BASS: Business Application Support through Software Services (MBC, RFR, MEVS, EFN, NF), p. 523–?.

SEKE-2007-GuzmanPP #modelling #pattern matching #using

Using Model-Driven Pattern Matching to derive functionalities in Models (IGRdG, MP, MP), pp. 529–534.

SEKE-2007-OladimejiSC #approach #architecture #modelling

A Model-driven Approach to Architecting Secure Software (EAO, SS, LC), p. 535–?.

SEKE-2007-HsuC #automation

An Intelligent Agent of Automatically Notify Services (SYH, WCC), pp. 541–545.

SEKE-2007-GrunertKW #architecture #distributed #enterprise #multi

A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises (AG, SK, GW), pp. 546–551.

SEKE-2007-FilhoZ #design #modelling #traceability

Traceability for Agent-Oriented Design Models and Code (GACF, AZ), pp. 552–558.

SEKE-2007-GirardiL #domain model #multi #named

ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering (RG, AL), pp. 559–564.

SEKE-2007-SotoVPP #architecture #information management #multi

A Three Level Multi-agent Architecture to Foster Knowledge Exchange (JPS, AV, JPR, MP), pp. 565–569.

SEKE-2007-SaD #distributed

An Agent Based System for Search in Distributed Environments (LS, YD), p. 570–?.

SEKE-2007-YasudaM #concurrent

Tree Hash Under Concurrency Control (KY, TM), pp. 574–579.

SEKE-2007-ViswanathS #constraints #database #query

Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.

SEKE-2007-Chao #approach #documentation #object-oriented #rdf #retrieval #xml

An Object-Oriented Approach to Storage and Retrieval of RDF/XML Documents (CMC), pp. 586–591.

SEKE-2007-FeijoFMGH #concept #modelling #named #query #xml

CXPath: a Query Language for Conceptual Models of Integrated XML Data (DdVF, CNF, ÁFM, RdMG, CAH), p. 592–?.

SEKE-2007-ZaitM #named #ontology #web

OWLed: Extending Knowledge for Web Ontology Language (HZ, AM), pp. 598–603.

SEKE-2007-SettasS #ontology #project management #using

Using Ontologies to Represent Software Project Management Antipatterns (DS, IS), pp. 604–609.

SEKE-2007-HuangL07a #composition #reasoning #using

Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.

SEKE-2007-SantosRC #case study #development #ontology

MDA-based Ontology Development: A Study Case (ESdS, CGR, HSC), pp. 616–621.

SEKE-2007-EnsanD #development #framework #maintenance #ontology #towards

Towards Domain-Centric Ontology Development and Maintenance Frameworks (FE, WD), pp. 622–627.

SEKE-2007-Abu-MatarO #architecture #empirical

Service Oriented Architecture Empirical Study (MAM, AJO), pp. 628–631.

SEKE-2007-SabucedoA #semantics

Semantic Support to Reformulate Public Services in Terms of Life Events (LÁS, LEAR), pp. 632–636.

SEKE-2007-ColziMNR #architecture #component

A Component-Based Solution and Architecture for Dynamic Service-Based Applications (AC, TM, PN, DR), p. 637–?.

SEKE-2007-FiondellaG #modelling #parametricity #reliability

Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.

SEKE-2007-KirnerC #empirical #evaluation #requirements #specification #uml

Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study (TGK, ERdC), p. 649–?.

SEKE-2007-FarEHA #approach #concept #learning #named #ontology #statistics

Adjudicator: A Statistical Approach for Learning Ontology Concepts from Peer Agents (BHF, AHE, NH, MA), p. 654–?.

SEKE-2007-CostantiniMTT #deduction #named

DALICA: Intelligent Agents for User Profile Deduction (SC, LM, AT, PT), p. 660–?.

SEKE-2007-FerriGP #approach #human-computer #interactive #multimodal

An Approach to Multimodal Input Interpretation in Human-Computer Interaction (FF, PG, SP), pp. 664–669.

SEKE-2007-AvolaFG #interactive #recognition #sketching

Sketch Style Recognition in Human Computer Interaction (DA, FF, PG), pp. 670–675.

SEKE-2007-KangK #human-computer #interactive #novel

Human-Computer Interaction for a Novel Arm-wrestling Robot (CgK, HyK), p. 676–?.

SEKE-2007-SaccolEGZ #xml

Managing XML Versions and Replicas in a P2P Context (DdBS, NE, RdMG, CZ), p. 680–?.

SEKE-2007-ZiemerC #development #release planning #web

Knowledge Sharing through a Simple Release Planning Method for Web Application Development (SZ, ICC), pp. 686–691.

SEKE-2007-BaresiMM #distributed #process

Distributed BPEL Processes (LB, AM, SM), pp. 692–697.

SEKE-2007-IlhanAB #named #semantics

SAM: Semantic Advanced Matchmaker (ESI, GBA, ABB), pp. 698–703.

SEKE-2007-LarssonIS #development #distributed #framework #platform #user interface

A Development Platform for Distributed User Interfaces (AL, MI, BS), p. 704–?.

SEKE-2007-KanaskarSR #analysis #approach #detection #using

A Dynamical System Approach to Intrusion Detection Using System Call Analysis (NK, RS, SR), pp. 710–717.

SEKE-2007-GokhaleL #detection #multi

Multi-level Anomaly Detection with Application-Level Data (SSG, JL), p. 718–?.

SEKE-2007-RalhaAM #architecture #grid #semantics

A Four-layered Semantic Grid Architecture (CGR, JNCA, ACMAdM), p. 724–?.

SEKE-2007-VandalGG #analysis #middleware #performance

Performance Analysis of the Active Object Pattern in Middleware (PJV, SSG, ASG), pp. 730–735.

SEKE-2007-Condori-FernandezP #evaluation #functional #metric

Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures (NCF, OP), pp. 736–739.

SEKE-2007-ArbuckleBPL #comparison #documentation #metric

Software Documents: Comparison and Measurement (TA, AB, DKP, ML), p. 740–?.

SEKE-2007-KopetzkyD #architecture #workflow

Workflow Management and Service Oriented Architecture (TK, DD), pp. 749–750.

SEKE-2007-Fredrick #agile #development #implementation

Implementing Agile Development — More than Changing Methodology (CF), pp. 751–754.

SEKE-2007-Rhem #modelling #uml #using

Knowledge Modelling using UML (AJR), p. 755–?.