19. SEKE 2007:
Boston,
Massachusetts,
USA
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), Boston, Massachusetts, USA, July 9-11, 2007.
Knowledge Systems Institute Graduate School 2007, ISBN 1-891706-20-9 
Software Engineering Methodology
- Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu:
Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
2-8
- Natanael Maia, Ana Paula Terra Bacelo, Cláudia Maria Lima Werner:
Odyssey-MDA: A Transformational Approach to Component Models.
9-14
- Irina Diana Coman, Alberto Sillitti:
An Empirical Exporatory Study on Inferring Developpers' Activities from Low-Level Data.
15-18
- Seyed Masoud Sadjadi, Fernando Trigoso:
TRAP.NET: A Realization of Transparent Shaping in .NET.
19-24
- Patricia Vilain, Priscila Basto Fagundes, Thiago Leao Machado:
A Framework for Selecting Agile Practices and Defining Agile Software Processes.
25-28
- Marco Monteiro, Paula Oliveira, Ramiro Gonçalves:
A Proposal to Delegate GUI Implementation using a Source Code based Model.
29-32
- Flavian Vasile, Samik Basu:
Cost-based Analysis of Multiple Counter-Examples.
33-38
- Liguo Yu, Stephen R. Schach, Kai Chen:
Common Coupling as a Measure of Reuse Effort in Kernel-Based Software.
39-44
- Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He:
An Approach to Validating Translation Correctness From SAM to Java.
45-
Software Processes and Engineering Practice
Aspect-Based Software Development
Software Testing and Quality Assurance
- Nilda María Pérez Otero, Claudio Marcelo Pérez Ibarra, Sandra A. Méndez, Adelina García, María del Pilar Gálvez Díaz, Viviana Elizabet Quincoces, Héctor Pedro Liberatori, Beatriz Fiorito, Cecilia María Lasserre:
Metrics of Credibility and Interaction Quality: Design and Evaluation.
87-92
- Rattikorn Hewett, Phongphun Kijsanayothin, Alta van der Merwe:
Predicting Order of Likelihood of Defective Software Modules.
93-98
- Dianxiang Xu, Weifeng Xu, W. Eric Wong:
Automated Test Code Generation from UML Protocol State Machines.
99-104
- Huaqiang Wei, Jim Alves-Foss, Du Zhang:
Validating A Layered Decision Framework for Cost-Effective Network Defense.
105-110
- Jerry Zeyu Gao, Sujana Tirumalasetti, Chien-Pin Hsu, Yip Cheong, Anne Colendich, Todd Fitch:
Toward Modeling and Analysis for Software Installation Testing.
111-116
- Zhenyu Dai, Mei-Hwa Chen:
Automatic Test Generation for Database-Driven Applications.
117-122
- Maria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mario Jino:
Fault-Based Testing of Data Schemas.
123-128
- Daniel Leitao, Dante Torres, Flávia de Almeida Barros:
NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.
129-134
- Fei-Ching Kuo, K. Y. Sim, Chang-ai Sun, Sau-Fun Tang, Zhiquan Zhou:
Enhanced Random Testing for Programs with High Dimensional Input Domains.
135-140
- Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
On Test Case Distributions of Adaptive Random Testing.
141-144
- João W. Cangussu, Kendra Cooper, W. Eric Wong:
Reducing the Number of Test Cases for Performance Evaluation of Components.
145-150
- Antonio J. Alencar, Gelson Guedes Rodrigues, Eber A. Schmitz, Armando Leite Ferreira:
Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management.
151-156
- Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Towards a Reference Architecture for Software Testing Tools.
157-162
- Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter.
163-166
- Chris Murphy, Gail E. Kaiser, Marta Arias:
An Approach to Software Testing of Machine Learning Applications.
167-
System Requirements Analysis,
Modeling and Specification
- Alexandre Lazaretti Zanatta, Patricia Vilain:
Agile Methods and Quality Models: Towards an Integration in Requirements Engineering.
173-178
- Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer:
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.
179-184
- Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson:
In the Requirements Lies the Power.
185-190
- Estella Annoni, Franck Ravat, Olivier Teste:
Data and Process Analyses of Data Warehouse Requirements.
191-196
- Luca Vetti Tagliati, Roger Johnson, George Roussos:
Requirement Analysis Evolution through Patterns.
197-202
- Nathalie Rose T. Lim, Christobal T. Cayaba, Joseph Astrophel E. Rodil:
Automatic Generation of Use Case Diagrams from English Specifications Document.
203-208
- Steven Kearney, James F. Power:
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools.
209-214
- Ricardo Martinho, Dulce Domingos, João Varajão:
FlexUML: A UML Profile for Flexible Process Modeling.
215-220
- Huilin Ye, Yuqing Lin:
A Formal Specification for Product Configuration in Software Product Lines.
221-226
- Helge Hofmeister, Guido Wirtz:
Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture.
227-231
- Yasemin Kösker, Ayse Basar Bener:
Synchronization of UML Based Refactoring with Graph Transformation.
232-237
- Rabeb Mizouni, Aziz Salah, Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
238-
Web-Based Applications
Web Technology and Web Engineering
Software Project and Resource Management
Software Reuse and Component Technology
- Xi Sun, Li Zhou, Lei Zhuang, Wenpin Jiao, Hong Mei:
Towards Constructing High-available Decentralized Systems via Self-adaptive Components.
296-301
- Aiwu Shi, Gleb Naumovich:
SAFES: A Static Analysis for Field Security in Java Components.
302-307
- Ding Peng, Stan Jarzabek, Damith C. Rajapakse, Hongyu Zhang:
Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study).
308-313
- Michael Eonsuk Shin, Fernando Paniagua:
Design of Wrapper for Self-Management of COTS Components.
314-319
- Zonghua Gu, Qingxu Deng:
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution.
320-325
- André Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich:
A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution.
326-331
- Adriana Pereira de Medeiros, Daniel Schwabe:
Representing Design Rationale to support Reuse.
332-
Software System Maintenance
Knowledge Engineering,
Natural Language Processing,
and AI
- Magda Ilieva:
Graphical Notation for Natural Language and Knowledge Representation.
361-367
- Pornpimon Teekayuphun, Ohm Sornil:
A Hybrid Approach for Natural Language Query Translation.
368-373
- W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong:
Effective Fault Localization using BP Neural Networks.
374-379
- Mehdi Amoui, Mazeiar Salehie, Ladan Tahvildari:
Temporal Software Change Prediction Using Neural Networks.
380-385
- Antonio J. Alencar, Renata Chaomey Wo, Eber A. Schmitz, Armando Leite Ferreira:
Do Neural-Network Question-Answering Systems Have a Role to Play in the Deployment of Real World Information Systems?.
386-391
- Olivier Gendreau, Pierre N. Robillard:
Knowledge Conversion in Software Development.
392-395
- J. Nelson Rushton, Dwayne Towell:
A Language Facilitating Informal Reasoning about Programs.
396-
Plenary Talk
- Dirk Draheim:
Towards Seamless Business Process and Dialogue Specification.
402-
Database Retrieval Methods
- Oliver Hummel, Werner Janjic, Colin Atkinson:
Evaluating the Efficiency of Retrieval Methods for Component Repositories.
404-409
- Raul Garcia-Castro, Asunción Gómez-Pérez, York Sure:
Benchmarking the RDF(S) Interoperability of Ontology Tools.
410-415
- Robson Leonardo Ferreira Cordeiro, Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos:
A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications.
416-421
- Salamah Salamah, Vladik Kreinovich, Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
422-427
- Ge Li, Lu Zhang, Bing Xie, Weizhong Shao:
Ontology Based Classification Generating Method for Browsing-Based Component Retrieval.
428-
Data
Software Development and Design Pattern
- Rattikorn Hewett, Vikram Patankar:
Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development.
450-455
- Seyed Masoud Sadjadi, J. Martínez, T. Soldo, L. Atencio, Rosa M. Badia, Jorge Ejarque:
Improving Separation of Concerns in the Development of Scientific Applications.
456-461
- Nuyun Zhang, Gang Huang, Ling Lan, Hong Mei:
Pattern-based J2EE Application Deployment with Cost Analysis.
462-466
- Roman Krenicky, David Willmor, Suzanne M. Embury:
Exploratory Design of Derivation Business Rules Using Query Rewriting.
467-472
- Jing Dong, Yajing Zhao:
Classification of Design Pattern Traits.
473-
Data Warehouse
Data Mining and Machine Learning
System and Software Architecture
Applications
Model-Driven Software Development
Agent-Based Technology and Intelligence
DB Access and Query Processing
Service-Oriented Technology and Web Technology
- Hichem Zait, Aïcha Mokhtari:
OWLed: Extending Knowledge for Web Ontology Language.
598-603
- Dimitrios Settas, Ioannis Stamelos:
Using Ontologies to Represent Software Project Management Antipatterns.
604-609
- Kuan-Hsian Huang, Alan Liu:
Service Composition Using Planning and Case-Based Reasoning.
610-615
- Eluzai Souza dos Santos, Célia Ghedini Ralha, Hervaldo S. Carvalho:
MDA-based Ontology Development: A Study Case.
616-621
- Faezeh Ensan, Weichang Du:
Towards Domain-Centric Ontology Development and Maintenance Frameworks.
622-627
- Mohammad Abu-Matar, A. Jefferson Offutt:
Service Oriented Architecture Empirical Study.
628-631
- Luis Álvarez Sabucedo, Luis E. Anido-Rifón:
Semantic Support to Reformulate Public Services in Terms of Life Events.
632-636
- Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai:
A Component-Based Solution and Architecture for Dynamic Service-Based Applications.
637-
System Reliability and Verification
Agent Modeling/ Methodology
Agent Applications
Human Interaction and GUI Development
Service
- Deise de Brum Saccol, Nina Edelweiss, Renata de Matos Galante, Carlo Zaniolo:
Managing XML Versions and Replicas in a P2P Context.
680-
- Sven Ziemer, Ilaria Canova Calori:
Knowledge Sharing through a Simple Release Planning Method for Web Application Development.
686-691
- Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Distributed BPEL Processes.
692-697
- Erdem Savas Ilhan, G. B. Akkus, Ayse Basar Bener:
SAM: Semantic Advanced Matchmaker.
698-703
- Anders Larsson, Magnus Ingmarsson, Bo Sun:
A Development Platform for Distributed User Interfaces.
704-
Security
Grid Technology
Software Metrics,
Measurement and Evaluation
Industrial Workshop
Copyright © Mon Mar 15 03:53:48 2010
by Michael Ley (ley@uni-trier.de)
