


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, Zhi Quan 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 - Chuck Fredrick:

Implementing Agile Development - More than Changing Methodology. SEKE 2007: 751-754 - A. J. Rhem:

Knowledge Modelling using UML. SEKE 2007: 755-

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







last updated on 2026-07-14 00:30 CEST by the 






