Proceedings of the 19th 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 19th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2007.

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

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–?.

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.