default search action
19th 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
- Joe Urban:
Keynote. SEKE 2007: 1
Software Engineering Methodology
- Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu:
Constructing Self-Adaptive Systems with Polymorphic Software Architecture. SEKE 2007: 2-8 - Natanael Maia, Ana Paula Terra Bacelo, Cláudia Maria Lima Werner:
Odyssey-MDA: A Transformational Approach to Component Models. SEKE 2007: 9-14 - Irina Diana Coman, Alberto Sillitti:
An Empirical Exporatory Study on Inferring Developpers' Activities from Low-Level Data. SEKE 2007: 15-18 - Seyed Masoud Sadjadi, Fernando Trigoso:
TRAP.NET: A Realization of Transparent Shaping in .NET. SEKE 2007: 19-24 - Patricia Vilain, Priscila Basto Fagundes, Thiago Leao Machado:
A Framework for Selecting Agile Practices and Defining Agile Software Processes. SEKE 2007: 25-28 - Marco Monteiro, Paula Oliveira, Ramiro Gonçalves:
A Proposal to Delegate GUI Implementation using a Source Code based Model. SEKE 2007: 29-32 - Flavian Vasile, Samik Basu:
Cost-based Analysis of Multiple Counter-Examples. SEKE 2007: 33-38 - Liguo Yu, Stephen R. Schach, Kai Chen:
Common Coupling as a Measure of Reuse Effort in Kernel-Based Software. SEKE 2007: 39-44 - Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He:
An Approach to Validating Translation Correctness From SAM to Java. SEKE 2007: 45-
Software Processes and Engineering Practice
- Valdivino Alexandre de Santiago Jr., Maria de Fátima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio:
QSEE Project: An Experience in Outsourcing Software Development for Space Applications. SEKE 2007: 51-56 - Hanh Nhi Tran, Bernard Coulette, Dong Thi Bich Thuy:
Broadening the Use of Process Patterns for Modeling Processes. SEKE 2007: 57-62 - Lisandra M. Fontoura, Roberto Tom Price:
A Framework for Tailoring Software Process. SEKE 2007: 63-66 - Shihong Huang, Christopher Lo:
Analyzing Configuration Management Repository Data for Software Process Improvement. SEKE 2007: 67-
Aspect-Based Software Development
- Yankui Feng, Xiaodong Liu, Jon M. Kerridge:
Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation. SEKE 2007: 71-76 - Hui Liang, Jing Sun:
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. SEKE 2007: 77-80 - Eduardo Kessler Piveta, Marcelo Victora Hecht, Ana Moreira, Marcelo Soares Pimenta, João Araújo, Pedro Guerreiro, Roberto Tom Price:
Avoiding Bad Smells in Aspect-Oriented Software. SEKE 2007: 81-
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. SEKE 2007: 87-92 - Rattikorn Hewett, Phongphun Kijsanayothin, Alta van der Merwe:
Predicting Order of Likelihood of Defective Software Modules. SEKE 2007: 93-98 - Dianxiang Xu, Weifeng Xu, W. Eric Wong:
Automated Test Code Generation from UML Protocol State Machines. SEKE 2007: 99-104 - Huaqiang Wei, Jim Alves-Foss, Du Zhang:
Validating A Layered Decision Framework for Cost-Effective Network Defense. SEKE 2007: 105-110 - Jerry Zeyu Gao, Sujana Tirumalasetti, Chien-Pin Hsu, Yip Cheong, Anne Colendich, Todd Fitch:
Toward Modeling and Analysis for Software Installation Testing. SEKE 2007: 111-116 - Zhenyu Dai, Mei-Hwa Chen:
Automatic Test Generation for Database-Driven Applications. SEKE 2007: 117-122 - Maria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mário Jino:
Fault-Based Testing of Data Schemas. SEKE 2007: 123-128 - Daniel Leitao, Dante Torres, Flávia de Almeida Barros:
NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications. SEKE 2007: 129-134 - Fei-Ching Kuo, Kwan Yong Sim, Chang-Ai Sun, Sau-Fun Tang, Zhiquan Zhou:
Enhanced Random Testing for Programs with High Dimensional Input Domains. SEKE 2007: 135-140 - Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
On Test Case Distributions of Adaptive Random Testing. SEKE 2007: 141-144 - João W. Cangussu, Kendra M. L. Cooper, W. Eric Wong:
Reducing the Number of Test Cases for Performance Evaluation of Components. SEKE 2007: 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. SEKE 2007: 151-156 - Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Towards a Reference Architecture for Software Testing Tools. SEKE 2007: 157-162 - Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter. SEKE 2007: 163-166 - Chris Murphy, Gail E. Kaiser, Marta Arias:
An Approach to Software Testing of Machine Learning Applications. SEKE 2007: 167-
System Requirements Analysis, Modeling and Specification
- Alexandre Lazaretti Zanatta, Patricia Vilain:
Agile Methods and Quality Models: Towards an Integration in Requirements Engineering. SEKE 2007: 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. SEKE 2007: 179-184 - Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson:
In the Requirements Lies the Power. SEKE 2007: 185-190 - Estella Annoni, Franck Ravat, Olivier Teste:
Data and Process Analyses of Data Warehouse Requirements. SEKE 2007: 191-196 - Luca Vetti Tagliati, Roger Johnson, George Roussos:
Requirement Analysis Evolution through Patterns. SEKE 2007: 197-202 - Nathalie Rose T. Lim, Christobal T. Cayaba, Joseph Astrophel E. Rodil:
Automatic Generation of Use Case Diagrams from English Specifications Document. SEKE 2007: 203-208 - Steven Kearney, James F. Power:
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools. SEKE 2007: 209-214 - Ricardo Martinho, Dulce Domingos, João Varajão:
FlexUML: A UML Profile for Flexible Process Modeling. SEKE 2007: 215-220 - Huilin Ye, Yuqing Lin:
A Formal Specification for Product Configuration in Software Product Lines. SEKE 2007: 221-226 - Helge Hofmeister, Guido Wirtz:
Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture. SEKE 2007: 227-231 - Yasemin Kösker, Ayse Basar Bener:
Synchronization of UML Based Refactoring with Graph Transformation. SEKE 2007: 232-237 - Rabeb Mizouni, Aziz Salah, Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering. SEKE 2007: 238-
Web-Based Applications
- Rinkesh Patel, Haiping Xu, Ankit Goel:
Real-Time Trust Management in Agent Based Online Auction Systems. SEKE 2007: 244-250 - Chris Dunn, Beomjin Kim:
Geometric Thumbnails For Web Searching. SEKE 2007: 251-
Web Technology and Web Engineering
- Nelly Schuster, Olaf Zimmermann, Cesare Pautasso:
ADkwik: Web 2.0 Collaboration System for Architectural Decision Engineering. SEKE 2007: 255-260 - Rashid Ahmad, Li Zhang, Farooque Azam:
Improving Usability of Web Systems with Similar Business Objectives. SEKE 2007: 261-267 - Roberto De Virgilio:
Processing Manipulations of Context Information on the Web. SEKE 2007: 268-273 - Steven E. Cox, Du Zhang, Jinsong Ouyang:
A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers. SEKE 2007: 274-
Software Project and Resource Management
- Asunción Gómez-Pérez, Jaime Ramírez, Boris Villazón-Terrazas:
Methodology for Reusing Human Resources Management Standards. SEKE 2007: 280-285 - Claudia Raibulet, Luigi Ubezio, Stefano Mussino:
An Adaptive Resource Management Approach for a Healthcare System. SEKE 2007: 286-291 - Marta Gómez, Silvia Teresita Acuña:
Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams. SEKE 2007: 292-
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. SEKE 2007: 296-301 - Aiwu Shi, Gleb Naumovich:
SAFES: A Static Analysis for Field Security in Java Components. SEKE 2007: 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). SEKE 2007: 308-313 - Michael Eonsuk Shin, Fernando Paniagua:
Design of Wrapper for Self-Management of COTS Components. SEKE 2007: 314-319 - Zonghua Gu, Qingxu Deng:
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. SEKE 2007: 320-325 - André Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich:
A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution. SEKE 2007: 326-331 - Adriana Pereira de Medeiros, Daniel Schwabe:
Representing Design Rationale to support Reuse. SEKE 2007: 332-
Software System Maintenance
- Adriana Cristina de Oliveira, Renata Mendes de Araujo, Marcos R. S. Borges:
Telling Stories about System Use: Capturing Collective Tacit Knowledge for System Maintenance. SEKE 2007: 337-342 - Hui Liang, Jin Song Dong, Jing Sun:
Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348 - Valentin Zacharias, Andreas Abecker:
On Modern Debugging For Rule-Based Systems. SEKE 2007: 349-353 - Karthik Subbian, Y. Narahari:
Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance Services. SEKE 2007: 355-
Knowledge Engineering, Natural Language Processing, and AI
- Magda Ilieva:
Graphical Notation for Natural Language and Knowledge Representation. SEKE 2007: 361-367 - Pornpimon Teekayuphun, Ohm Sornil:
A Hybrid Approach for Natural Language Query Translation. SEKE 2007: 368-373 - W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong:
Effective Fault Localization using BP Neural Networks. SEKE 2007: 374-379 - Mehdi Amoui, Mazeiar Salehie, Ladan Tahvildari:
Temporal Software Change Prediction Using Neural Networks. SEKE 2007: 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?. SEKE 2007: 386-391 - Olivier Gendreau, Pierre N. Robillard:
Knowledge Conversion in Software Development. SEKE 2007: 392-395 - J. Nelson Rushton, Dwayne Towell:
A Language Facilitating Informal Reasoning about Programs. SEKE 2007: 396-
Plenary Talk
- Dirk Draheim:
Towards Seamless Business Process and Dialogue Specification. SEKE 2007: 402-
Database Retrieval Methods
- Oliver Hummel, Werner Janjic, Colin Atkinson:
Evaluating the Efficiency of Retrieval Methods for Component Repositories. SEKE 2007: 404-409 - Raul Garcia-Castro, Asunción Gómez-Pérez, York Sure:
Benchmarking the RDF(S) Interoperability of Ontology Tools. SEKE 2007: 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. SEKE 2007: 416-421 - Salamah Salamah, Vladik Kreinovich, Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE 2007: 422-427 - Ge Li, Lu Zhang, Bing Xie, Weizhong Shao:
Ontology Based Classification Generating Method for Browsing-Based Component Retrieval. SEKE 2007: 428-
Data
- Ahmad El Sayed, Hakim Hacid, Djamel A. Zighed:
A Context-Dependent Semantic Distance Measure. SEKE 2007: 432-437 - Rodrigo Cordeirodos Santos, Carmem S. Hara:
A Semantical Change Detection Algorithm for XML. SEKE 2007: 438-443 - Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio:
XML Schema Evolution by Context Free Grammar Inference. SEKE 2007: 444-
Software Development and Design Pattern
- Rattikorn Hewett, Vikram Patankar:
Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development. SEKE 2007: 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. SEKE 2007: 456-461 - Nuyun Zhang, Gang Huang, Ling Lan, Hong Mei:
Pattern-based J2EE Application Deployment with Cost Analysis. SEKE 2007: 462-466 - Roman Krenický, David Willmor, Suzanne M. Embury:
Exploratory Design of Derivation Business Rules Using Query Rewriting. SEKE 2007: 467-472 - Jing Dong, Yajing Zhao:
Classification of Design Pattern Traits. SEKE 2007: 473-
Data Warehouse
- Manuel A. Serrano, Rafael Romero, Jose-Norberto Mazón, Juan Trujillo, Mario Piattini:
A Proposal for a Conceptual Data Warehouse Quality Model. SEKE 2007: 477-482 - Franck Ravat, Olivier Teste, Ronan Tournier, Gilles Zurfluh:
Integrating Complex Data into a Data Warehouse. SEKE 2007: 483-
Data Mining and Machine Learning
- Andres Folleco, Taghi M. Khoshgoftaar, Jason Van Hulse, Chris Seiffert:
Learning from Software Quality Data with Class Imbalance and Noise. SEKE 2007: 487-
System and Software Architecture
- Aline Pires Vieira de Vasconcelos, Cláudia Maria Lima Werner:
Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification. SEKE 2007: 494-499 - Sazzadul Alam, Philippe Dugerdil:
EvoSpaces: 3D Visualization of Software Architecture. SEKE 2007: 500-505 - Hans-Jörg Happel, Stefan Seedorf:
Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software Architectures. SEKE 2007: 506-
Applications
- Rattikorn Hewett, Aashay Thipse:
Building Business Considerations into Enterprise Application Designs. SEKE 2007: 513-518 - Raimund Moser, Witold Pedrycz, Giancarlo Succi:
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions. SEKE 2007: 519-522 - Mateus Barcellos Costa, Rodolfo F. Resende, Marcelo Eduardo Vieira Segatto, Eduardo Freire Nakamura, Nahur Fonseca:
BASS: Business Application Support through Software Services. SEKE 2007: 523-
Model-Driven Software Development
- Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini:
Using Model-Driven Pattern Matching to derive functionalities in Models. SEKE 2007: 529-534 - Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chung:
A Model-driven Approach to Architecting Secure Software. SEKE 2007: 535-
Agent-Based Technology and Intelligence
- Shuo-Yan Hsu, William C. Chu:
An Intelligent Agent of Automatically Notify Services. SEKE 2007: 541-545 - Andreas Grünert, Sven Kaffille, Guido Wirtz:
A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises. SEKE 2007: 546-551 - Gilberto A. Cysneiros Filho, Andrea Zisman:
Traceability for Agent-Oriented Design Models and Code. SEKE 2007: 552-558 - Rosario Girardi, Adriana Leite:
ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering. SEKE 2007: 559-564 - Juan Pablo Soto, Aurora Vizcaíno, Javier Portillo-Rodríguez, Mario Piattini:
A Three Level Multi-agent Architecture to Foster Knowledge Exchange. SEKE 2007: 565-569 - Li Sa, Yongsheng Ding:
An Agent Based System for Search in Distributed Environments. SEKE 2007: 570-
DB Access and Query Processing
- Kyosuke Yasuda, Takao Miura:
Tree Hash Under Concurrency Control. SEKE 2007: 574-579 - Navin Viswanath, Rajshekhar Sunderraman:
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints. SEKE 2007: 580-585 - Ching-Ming Chao:
An Object-Oriented Approach to Storage and Retrieval of RDF/XML Documents. SEKE 2007: 586-591 - Diego de Vargas Feijó, Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser:
CXPath: a Query Language for Conceptual Models of Integrated XML Data. SEKE 2007: 592-
Service-Oriented Technology and Web Technology
- Hichem Zait, Aïcha Mokhtari:
OWLed: Extending Knowledge for Web Ontology Language. SEKE 2007: 598-603 - Dimitrios Settas, Ioannis Stamelos:
Using Ontologies to Represent Software Project Management Antipatterns. SEKE 2007: 604-609 - Kuan-Hsian Huang, Alan Liu:
Service Composition Using Planning and Case-Based Reasoning. SEKE 2007: 610-615 - Eluzai Souza dos Santos, Célia Ghedini Ralha, Hervaldo S. Carvalho:
MDA-based Ontology Development: A Study Case. SEKE 2007: 616-621 - Faezeh Ensan, Weichang Du:
Towards Domain-Centric Ontology Development and Maintenance Frameworks. SEKE 2007: 622-627 - Mohammad Abu-Matar, A. Jefferson Offutt:
Service Oriented Architecture Empirical Study. SEKE 2007: 628-631 - Luis Álvarez Sabucedo, Luis E. Anido-Rifón:
Semantic Support to Reformulate Public Services in Terms of Life Events. SEKE 2007: 632-636 - Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai:
A Component-Based Solution and Architecture for Dynamic Service-Based Applications. SEKE 2007: 637-
System Reliability and Verification
- Lance Fiondella, Swapna S. Gokhale:
Adequacy of Composite Parametric Software Reliability Models. SEKE 2007: 643-648 - Tereza G. Kirner, Erik R. da Cruz:
Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study. SEKE 2007: 649-
Agent Modeling/ Methodology
- Behrouz Homayoun Far, Abdel Halim Elamy, Nora Houari, Mohsen Afsharchi:
Adjudicator: A Statistical Approach for Learning Ontology Concepts from Peer Agents. SEKE 2007: 654-
Agent Applications
- Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza:
DALICA: Intelligent Agents for User Profile Deduction. SEKE 2007: 660-
Human Interaction and GUI Development
- Fernando Ferri, Patrizia Grifoni, Stefano Paolozzi:
An Approach to Multimodal Input Interpretation in Human-Computer Interaction. SEKE 2007: 664-669 - Danilo Avola, Fernando Ferri, Patrizia Grifoni:
Sketch Style Recognition in Human Computer Interaction. SEKE 2007: 670-675 - Chul-Goo Kang, Ho-yeon Kim:
Human-Computer Interaction for a Novel Arm-wrestling Robot. SEKE 2007: 676-
Service
- Deise de Brum Saccol, Nina Edelweiss, Renata de Matos Galante, Carlo Zaniolo:
Managing XML Versions and Replicas in a P2P Context. SEKE 2007: 680- - Sven Ziemer, Ilaria Canova Calori:
Knowledge Sharing through a Simple Release Planning Method for Web Application Development. SEKE 2007: 686-691 - Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Distributed BPEL Processes. SEKE 2007: 692-697 - Erdem Savas Ilhan, Gokay Burak Akkus, Ayse Basar Bener:
SAM: Semantic Advanced Matchmaker. SEKE 2007: 698-703 - Anders Larsson, Magnus Ingmarsson, Bo Sun:
A Development Platform for Distributed User Interfaces. SEKE 2007: 704-
Security
- Nitin Kanaskar, Remzi Seker, Srinivasan Ramaswamy:
A Dynamical System Approach to Intrusion Detection Using System Call Analysis. SEKE 2007: 710-717 - Swapna S. Gokhale, Jijun Lu:
Multi-level Anomaly Detection with Application-Level Data. SEKE 2007: 718-
Grid Technology
- Célia Ghedini Ralha, Jose Nelson C. Allemand, Alba Cristina Magalhaes Alves de Melo:
A Four-layered Semantic Grid Architecture. SEKE 2007: 724-
Software Metrics, Measurement and Evaluation
- Paul J. Vandal, Swapna S. Gokhale, Aniruddha S. Gokhale:
Performance Analysis of the Active Object Pattern in Middleware. SEKE 2007: 730-735 - Nelly Condori-Fernández, Oscar Pastor:
Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures. SEKE 2007: 736-739 - Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford:
Software Documents: Comparison and Measurement. SEKE 2007: 740-
Industrial Workshop
- Theodorich Kopetzky, Dirk Draheim:
Workflow Management and Service Oriented Architecture. SEKE 2007: 749-750