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 BibTeX
Software Engineering Methodology
- Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu:
Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
2-8 BibTeX
- Natanael Maia, Ana Paula Terra Bacelo, Cláudia Maria Lima Werner:
Odyssey-MDA: A Transformational Approach to Component Models.
9-14 BibTeX
- Irina Diana Coman, Alberto Sillitti:
An Empirical Exporatory Study on Inferring Developpers' Activities from Low-Level Data.
15-18 BibTeX
- Seyed Masoud Sadjadi, Fernando Trigoso:
TRAP.NET: A Realization of Transparent Shaping in .NET.
19-24 BibTeX
- Patricia Vilain, Priscila Basto Fagundes, Thiago Leao Machado:
A Framework for Selecting Agile Practices and Defining Agile Software Processes.
25-28 BibTeX
- Marco Monteiro, Paula Oliveira, Ramiro Gonçalves:
A Proposal to Delegate GUI Implementation using a Source Code based Model.
29-32 BibTeX
- Flavian Vasile, Samik Basu:
Cost-based Analysis of Multiple Counter-Examples.
33-38 BibTeX
- Liguo Yu, Stephen R. Schach, Kai Chen:
Common Coupling as a Measure of Reuse Effort in Kernel-Based Software.
39-44 BibTeX
- Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He:
An Approach to Validating Translation Correctness From SAM to Java.
45- BibTeX
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 BibTeX
- Rattikorn Hewett, Phongphun Kijsanayothin, Alta van der Merwe:
Predicting Order of Likelihood of Defective Software Modules.
93-98 BibTeX
- Dianxiang Xu, Weifeng Xu, W. Eric Wong:
Automated Test Code Generation from UML Protocol State Machines.
99-104 BibTeX
- Huaqiang Wei, Jim Alves-Foss, Du Zhang:
Validating A Layered Decision Framework for Cost-Effective Network Defense.
105-110 BibTeX
- Jerry Zeyu Gao, Sujana Tirumalasetti, Chien-Pin Hsu, Yip Cheong, Anne Colendich, Todd Fitch:
Toward Modeling and Analysis for Software Installation Testing.
111-116 BibTeX
- Zhenyu Dai, Mei-Hwa Chen:
Automatic Test Generation for Database-Driven Applications.
117-122 BibTeX
- Maria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mario Jino:
Fault-Based Testing of Data Schemas.
123-128 BibTeX
- Daniel Leitao, Dante Torres, Flávia de Almeida Barros:
NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.
129-134 BibTeX
- 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 BibTeX
- Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
On Test Case Distributions of Adaptive Random Testing.
141-144 BibTeX
- João W. Cangussu, Kendra Cooper, W. Eric Wong:
Reducing the Number of Test Cases for Performance Evaluation of Components.
145-150 BibTeX
- 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 BibTeX
- Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Towards a Reference Architecture for Software Testing Tools.
157-162 BibTeX
- Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter.
163-166 BibTeX
- Chris Murphy, Gail E. Kaiser, Marta Arias:
An Approach to Software Testing of Machine Learning Applications.
167- BibTeX
System Requirements Analysis,
Modeling and Specification
- Alexandre Lazaretti Zanatta, Patricia Vilain:
Agile Methods and Quality Models: Towards an Integration in Requirements Engineering.
173-178 BibTeX
- 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 BibTeX
- Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson:
In the Requirements Lies the Power.
185-190 BibTeX
- Estella Annoni, Franck Ravat, Olivier Teste:
Data and Process Analyses of Data Warehouse Requirements.
191-196 BibTeX
- Luca Vetti Tagliati, Roger Johnson, George Roussos:
Requirement Analysis Evolution through Patterns.
197-202 BibTeX
- Nathalie Rose T. Lim, Christobal T. Cayaba, Joseph Astrophel E. Rodil:
Automatic Generation of Use Case Diagrams from English Specifications Document.
203-208 BibTeX
- Steven Kearney, James F. Power:
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools.
209-214 BibTeX
- Ricardo Martinho, Dulce Domingos, João Varajão:
FlexUML: A UML Profile for Flexible Process Modeling.
215-220 BibTeX
- Huilin Ye, Yuqing Lin:
A Formal Specification for Product Configuration in Software Product Lines.
221-226 BibTeX
- Helge Hofmeister, Guido Wirtz:
Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture.
227-231 BibTeX
- Y. Kosker, Ayse Basar Bener:
Synchronization of UML Based Refactoring with Graph Transformation.
232-237 BibTeX
- Rabeb Mizouni, Aziz Salah, Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
238- BibTeX
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 BibTeX
- Aiwu Shi, Gleb Naumovich:
SAFES: A Static Analysis for Field Security in Java Components.
302-307 BibTeX
- 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 BibTeX
- Michael Eonsuk Shin, Fernando Paniagua:
Design of Wrapper for Self-Management of COTS Components.
314-319 BibTeX
- Zonghua Gu, Qingxu Deng:
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution.
320-325 BibTeX
- André Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich:
A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution.
326-331 BibTeX
- Adriana Pereira de Medeiros, Daniel Schwabe:
Representing Design Rationale to support Reuse.
332- BibTeX
Software System Maintenance
Knowledge Engineering,
Natural Language Processing,
and AI
- Magda Ilieva:
Graphical Notation for Natural Language and Knowledge Representation.
361-367 BibTeX
- Pornpimon Teekayuphun, Ohm Sornil:
A Hybrid Approach for Natural Language Query Translation.
368-373 BibTeX
- W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong:
Effective Fault Localization using BP Neural Networks.
374-379 BibTeX
- Mehdi Amoui, Mazeiar Salehie, Ladan Tahvildari:
Temporal Software Change Prediction Using Neural Networks.
380-385 BibTeX
- 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 BibTeX
- Olivier Gendreau, Pierre N. Robillard:
Knowledge Conversion in Software Development.
392-395 BibTeX
- J. Nelson Rushton, Dwayne Towell:
A Language Facilitating Informal Reasoning about Programs.
396- BibTeX
Plenary Talk
Database Retrieval Methods
- Oliver Hummel, Werner Janjic, Colin Atkinson:
Evaluating the Efficiency of Retrieval Methods for Component Repositories.
404-409 BibTeX
- Raul Garcia-Castro, Asunción Gómez-Pérez, York Sure:
Benchmarking the RDF(S) Interoperability of Ontology Tools.
410-415 BibTeX
- 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 BibTeX
- Salamah Salamah, Vladik Kreinovich, Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
422-427 BibTeX
- Ge Li, Lu Zhang, Bing Xie, Weizhong Shao:
Ontology Based Classification Generating Method for Browsing-Based Component Retrieval.
428- BibTeX
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 BibTeX
- 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 BibTeX
- Nuyun Zhang, Gang Huang, Ling Lan, Hong Mei:
Pattern-based J2EE Application Deployment with Cost Analysis.
462-466 BibTeX
- Roman Krenicky, David Willmor, Suzanne M. Embury:
Exploratory Design of Derivation Business Rules Using Query Rewriting.
467-472 BibTeX
- Jing Dong, Yajing Zhao:
Classification of Design Pattern Traits.
473- BibTeX
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 BibTeX
- Dimitrios Settas, Ioannis Stamelos:
Using Ontologies to Represent Software Project Management Antipatterns.
604-609 BibTeX
- Kuan-Hsian Huang, Alan Liu:
Service Composition Using Planning and Case-Based Reasoning.
610-615 BibTeX
- Eluzai Souza dos Santos, Célia Ghedini Ralha, Hervaldo S. Carvalho:
MDA-based Ontology Development: A Study Case.
616-621 BibTeX
- Faezeh Ensan, Weichang Du:
Towards Domain-Centric Ontology Development and Maintenance Frameworks.
622-627 BibTeX
- Mohammad Abu-Matar, A. Jefferson Offutt:
Service Oriented Architecture Empirical Study.
628-631 BibTeX
- Luis Álvarez Sabucedo, Luis E. Anido-Rifón:
Semantic Support to Reformulate Public Services in Terms of Life Events.
632-636 BibTeX
- Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai:
A Component-Based Solution and Architecture for Dynamic Service-Based Applications.
637- BibTeX
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- BibTeX
- Sven Ziemer, Ilaria Canova Calori:
Knowledge Sharing through a Simple Release Planning Method for Web Application Development.
686-691 BibTeX
- Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Distributed BPEL Processes.
692-697 BibTeX
- E. S. Ilhan, G. B. Akkus, Ayse Basar Bener:
SAM: Semantic Advanced Matchmaker.
698-703 BibTeX
- Anders Larsson, Magnus Ingmarsson, Bo Sun:
A Development Platform for Distributed User Interfaces.
704- BibTeX
Security
Grid Technology
Software Metrics,
Measurement and Evaluation
Industrial Workshop
Copyright © Sat May 16 23:37:28 2009
by Michael Ley (ley@uni-trier.de)
