Software Engineering and Applications    (SEA 2005 2005)

November 14 – 16, 2005
Phoenix, AZ, USA
Editor(s): W.-T. Tsai and M.H. Hamza
Other Years:

Abstracts may contain minor errors and formatting inconsistencies.
Please contact us if you have any concerns or questions.

Track Database, Data Mining, and Semantic Webs FreeSubscription
467-039 Clustering Relations within OWL Ontologies
C.R. Kothari and D.J. Russomanno (USA)
Abstract
467-040 A Relation Taxonomy Creation Module
C.R. Kothari and D.J. Russomanno (USA)
Abstract
467-049 Transactions Analysis for Physical Database Design
A.-C. Mitea (Romania)
Abstract
467-145 Hospital Data Warehousing System for Mining of Patient Data
J. Salinas, J.G. McManus, V.A. Convertino, and J.B. Holcomb (USA)
Abstract
467-155 A Data Mining Approach to Discover Temporal Relationship among Performance Metrics from Automated Testing
E.M.H. Lee and K.C.C. Chan (PRC)
Abstract
467-190 Data Mining for Overreaction in Financial Markets
A. Duran and G. Caginalp (USA)
Abstract
Track Software Engineering Applications FreeSubscription
467-048 An Empirical Solution to a Kmax Device Driver for PCI-VME Adapters
H. Liu, R.B. Piercey, J.E. McKisson, B. Maisler, Yishi Li, John McKisson, and J. Schuck (USA)
Abstract
467-112 Design and Implementation of a Specification-based Program Review Tool
F. Nagoya, S. Liu, and Yuting Chen (Japan)
Abstract
467-128 A Coloured Timed Petri Net Modeling and Simulation of Distributed Database Queries
P.P.-T. Chen, Y.-T. Chen, and C.-C. Yang (Taiwan)
Abstract
467-135 A Universal Application Platform for Constructing Enterprise Resources Planning Systems
C. Xuesong and X. Hua (PRC)
Abstract
467-160 Post Deployment Capacity Assessment of Enterprise Applications
R. Sindhgatta (India)
Abstract
467-189 Refactoring C++ Programs with Concepts
L. Chen, B. Xu, T. Zhou, L. Shi, and Y. He (PRC)
Abstract
467-203 Multimedia Manual for SORA Mail
T. Azumi and N. Mirenkov (Japan)
Abstract
Track Verification, Validation, Evaluation, and Tools FreeSubscription
467-022 A Comparative Study of Java Obfuscators
J. MacBride, C. Mascioli, S. Marks, Y. Tang, L.M. Head, and R.P. Ramachandran (USA)
Abstract
467-030 A Formal Model for Stateful Trust Management Systems
H. Mouri, Y. Takata, and H. Seki (Japan)
Abstract
467-052 An Adaptable Software Product Evaluation Metric
T. Euler (Germany)
Abstract
467-091 An Evaluation Model for the End-User Utility of Office Applications
K.R.R. Kumar, I. Hirvonen, I. Leppänen, T. Kuronen, J.K. Nurminen, and A. Salo (Finland)
Abstract
467-100 An Integrated Runtime Monitoring Framework for Software Architecture Design
Z. Dong, Yujian Fu (USA), Yue Fu (PRC), and X. He (USA)
Abstract
467-159 An Evaluation of Static Source Code Analyzers for Automated Vulnerability Detection
N. Hanebutte and P. Oman (USA)
Abstract
Track Reliability, Fault Tolerance, and Distributed Systems FreeSubscription
467-003 A New Reliable Distributed Mutual Exclusion Algorithm
P. Bayat, M. Challenger, and M.E. Shiri (Iran)
Abstract
467-154 Architectural Pattern Detection - A Case Study
R. Kersemakers, E. Dortmans, and L. Somers (The Netherlands)
Abstract
467-177 A Trust-based Approach to Select Reliable Components for Internet Coalition Applications
Y. Wang, F. Xu, H. Hu, and J. Lü (PRC)
Abstract
467-187 Aspect Oriented Software Implemented Node Level Fault Tolerance
R. Alexandersson, P. Öhman, and M. Ivarsson (Sweden)
Abstract
467-210 Inter-Domain Policy Management and Access Control within a Grid Architecture
N. LaMonica, M. Kelkar, R. Baird, and R. Gamble (USA)
Abstract
Track Modelling, Modelling Language, and Formal Methods FreeSubscription
467-041 Model Checking for Statecharts
J. Qian and B. Xu (PRC)
Abstract
467-066 A Framework for Identification of Dependency Areas in UML Designs
A. Derezińska and I. Bluemke (Poland)
Abstract
467-144 A Framework for Evaluating Process Modelling Languages for Distributed Environments
A.I. Wang, R. Conradi, and C. Thuv (Norway)
Abstract
467-150 Software Reliability Prediction using Reduced Mimetic Classifiers
G. Stiglic and P. Kokol (Slovenia)
Abstract
467-803 A Rapid Development Paradigm for the Implementation of Document-Editor Style Applications
M. Turner and M. Hobbs (Australia)
Abstract
467-807 PSML-S: A Process Specification and Modeling Language for Service-Oriented Computing
W.T. Tsai, R.A. Paul, B. Xiao, Z. Cao, and Yinong Chen (USA)
Abstract
Track Testing FreeSubscription
467-053 Linux Kernel Status Tracer for Kernel Debugging
T. Arai, Y. Sugita, M. Hiramatsu, and K. Serizawa (Japan)
Abstract
467-061 Generating Test Cases with Spanning Sets and Boundary Values of Conditions
S. Nakajima, S. Takada, and N. Doi (Japan)
Abstract
467-088 Automatic Test Case Generation of Non-Numerical Data based on Genetic Algorithms
R. Zhao and C. Li (PRC)
Abstract
467-156 A Load Testing, Monitoring and Analyzing Tool
H. Yu, J. Zhang, X. Yuan, and Yaohang Li (USA)
Abstract
467-176 A Requirements-Driven Test Suite Generation Strategy
X. Zhang, B. Xu, C. Nie, L. Shi, and Y. He (PRC)
Abstract
467-209 Automated Support for Test-Driven Specification
E.L. Jones (USA)
Abstract
Track Architecture, Aspect-Oriented, Metadata, and Methodologies FreeSubscription
467-021 Functional Classes
M. Kontio and M. Rönkkö (Finland)
Abstract
467-054 A Software Design Template for Swarm Intelligence Systems Development
W.-L. Wang and T.C. Weindorf (USA)
Abstract
467-084 On Software Architecture Design for Progressive Development Model
J.-C. Liou (Taiwan)
Abstract
467-090 Effective Language Support for Aspectual Behavior Decomposition
D. Liang and Y. Guo (USA)
Abstract
467-179 Automatic Composition of Web Services based on Reverse Ordinal Reasoning
Y. Yan, K. He, M. Fan, and Y. Ma (PRC)
Abstract
467-184 Developing an Extensible Mobile Metadata Ontology
I. Salminen, J. Lehikoinen, and P. Huuskonen (Finland)
Abstract
467-207 An Approach to Support Software Architecture Transformation in Architecture-based Software Development
H. Choi, K. Yeom, and S. Park (Korea)
Abstract
Track Project Management and Metrics FreeSubscription
467-038 Is Simplicity the Cure for Complexity?
M.P. Ware and F.G. Wilkie (UK)
Abstract
467-044 An Enhanced Risk Taxonomy for Information Technology Projects
T.W. Kwan and H.K.N. Leung (PRC)
Abstract
467-062 Application of Project Management Techniques to a Software for Telecommunication Complex Project
R. Revetria and M. Schenone (Italy)
Abstract
467-077 Software Project Management through Automated Analysis of Team Status Reports
T. Chandra and J.E. Urban (USA)
Abstract
467-099 Framework to Perform Cost Estimation in Software Product Line Development
R.A. Joshi and J.S. Collofello (USA)
Abstract
467-102 Combining Multiple Models to Develop a Software Project Management Methodology
M. Jenkins (Costa Rica)
Abstract
467-168 Reasoning on Software Quality Improvement with Aspect-Oriented Refactoring: A Case Study
J. Benn, C. Constantinides, H.K. Padda, K.H. Pedersen, F. Rioux, and X. Ye (Canada)
Abstract
Track Design, Patterns, and Use Cases FreeSubscription
467-085 Reengineering Object-Oriented Artifacts by Analyzing Dependency Graphs and Production Rules
A.A. Foumani and C. Constantinides (Canada)
Abstract
467-101 Use Case-based Fault Tree Analysis of Safety-Related Embedded Systems
E. Balz and J. Goll (Germany)
Abstract
467-108 Evolving Design Patterns based on Model Transformation
J. Dong, S. Yang, and D.T. Huynh (USA)
Abstract
467-113 A Design-Driven Software Change Impact Model using UML
M.-H. Tang, W.-L. Wang, and M.-H. Chen (USA)
Abstract
467-196 Using Patterns to Build Geographic Information Systems
V. Vrsalovic and Y. Eterovic (Chile)
Abstract
467-197 Identifying Use Case Relations from Codes
X. Zhou, T. Zhou, J. Qian, B. Xu, and Y. He (PRC)
Abstract
Track Quality, Maintenance, and Automation FreeSubscription
467-131 Generating Object-Oriented Source Code Documentation from Automated Change Identification
M. Hoffman (USA)
Abstract
467-161 A Stream-based Mail Proxy with Interleaved Decompression and Virus Scanning
Y.-D. Lin, S.-H. Chen, P.-C. Lin, and Y.-C. Lai (Taiwan)
Abstract
467-193 QoS-Aware Application Service Configuration in a Grid Environment
S.B. Musunoori and F. Eliassen (Norway)
Abstract
467-800 Progressive Software Systems: Dynamic Software for a Dynamic Workplace
K.O. Conrad and V.A. Schmidt (USA)
Abstract
Track Algorithms and Programming Languages FreeSubscription
467-050 A Static Error Detection Tool for C++ Mixin
Y. Imazeki, S. Takada, and N. Doi (Japan)
Abstract
467-093 Algorithm Specification from an Integrated View of Features
R. Yoshioka, H. Saito, K. Takanashi, and N. Mirenkov (Japan)
Abstract
467-095 Zhi#: Programming Language Inherent Support for XML Schema Definition
A. Paar and W.F. Tichy (Germany)
Abstract
467-166 In-the-Loop Simulation of Embedded Computer Vision Applications
S.B. Borbély, J. Kogler, and W. Kubinger (Austria)
Abstract
467-167 Point-Wise Must Alias and Its Application to Points-To Analysis
B. Xu, J. Qian, and Y. He (PRC)
Abstract
467-183 Nailed Slicing as an Assistant to Debugging Remote Profiled Programs
J. Qian, B. Xu, and Y. He (PRC)
Abstract
467-802 A Partial Shape Matching Method for 3D Model Databases
M.T. Suzuki, Y. Yaginuma, T. Yamada, and Y. Shimizu (Japan)
Abstract
Track Visualization, Education, and Software Agents FreeSubscription
467-006 A Case Study of Just-in-Time Contextual Game-based Learning in Software Engineering
I.A. Zualkernan, F.M. Parmar, and L.M. Al-Moudares (UAE)
Abstract
467-051 Visualization of Events for Detection of Relevant Patterns
J. Wodka, D. Stewart, and E. Eren (USA)
Abstract
467-080 A Multiple-Projects-Multiple-Winners Approach for Teaching Software Engineering
A. Rusu, R. Webb, D. Shanline, C. Santiago, C. Luna, and M. Kulak (USA)
Abstract
467-109 A Behavior Consistent Service Discovery and Substitution Mechanism in OSGI
Q. Yin, H. Hu, J. Li, J. Ge, and J. Lu (PRC)
Abstract
467-172 Correlation Methods for Analysis and Visualisation of Software Run-Time Behaviour
T. Vaskivuo (Finland)
Abstract
Abstracts may contain minor errors and formatting inconsistencies.
Please contact us if you have any concerns or questions.

What are Digital Object Identifers?


Rates (USD):   N/A (Hardcopy) ;  $151.20 (Online) ;  $157.20 (CD)

(The Hardcopy and CD proceedings also include the Online version)

For complete proceedings please choose one of the following:

   

Online Edition $151.20
CD Edition $157.20
Individual Articles (Online): $38.00  
Hard Copy Subscriptions are not available for SEA 2005 2005
ISSN: 1482-7905 ;
ISBN: 0-88986-529-9 ;
ISSN (CD): 1922-8082 ;
ISBN (CD): 0-88986-531-0 ;
ISSN (Online): N/A ;

This publication covers the following topics: Database, Data Mining, and Semantic Webs; Software Engineering Applications; Verification, Validation, Evaluation, and Tools; Reliability, Fault Tolerance, and Distributed Systems; Modelling, Modelling Language, and Formal Methods; Testing; Architecture, Aspect-Oriented, Metadata, and Methodologies; Project Management and Metrics; Design, Patterns, and Use Cases; Quality, Maintenance, and Automation; Algorithms and Programming Languages; and Visualization, Education, and Software Agents.

Loading Information

Go Back