Software Engineering and Applications    (SEA 2004)

November 9 – 11, 2004
MIT Cambridge, USA
Editor(s): M.H. Hamza
798 pages
Other Years:

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

Track Databases and Data Mining FreeSubscription
436-036 Applying Database Technology in the Integration of Engineering Software Modules
E.E. Udoh and D. Erbach (USA)
Abstract
436-049 Neural Network Facilitated Analysis of Stress in a Biological Species
E.E. Udoh, D. Erbach, and A. Mustafa (USA)
Abstract
436-080 A Recommender System by Two-level Collaborative Filtering
X. Guo, J. Lu, and G. Zhang (Australia)
Abstract
436-087 Efficient Similarity Matching for Categorical Sequence based on Dynamic Partition
K. Cai, C. Chen, and H. Lin (PRC)
Abstract
436-138 Why Rule Extraction Matters
U. Johansson, C. Sönströd, and L. Niklasson (Sweden)
Abstract
436-143 MatBase Datalog¬ Subsystem Meta-Catalog Conceptual Design
C. Mancas (Romania) and S. Dragomir (New Zealand)
Abstract
436-151 A Tool for Generating a Data-driven Database Taxonomy
P. Zellweger (USA)
Abstract
436-175 Data Mining via Cellular Neural Networks in the GSM Sector
A. Karahoca (Turkey)
Abstract
436-182 A Proposal for a Multiple Join Index
A.-C. Mitea (Romania)
Abstract
436-201 Modeling the Physical Design of Data Warehouses from a UML Specification
S. Luján-Mora and J. Trujillo (Spain)
Abstract
436-800 Design and Implementation of a Data Repository for a CASE Tool
A.B. Castillo, R.P. Valderrama, and L.B. Ocaña (Mexico)
Abstract
436-802 Database Design for CAD System Optimising Distributed Sensor Networks for Perimeter Security
I.V. Turchenko, V.O. Turchenko, V.V. Kochan, P.E. Bykovyy, A.O. Sachenko (Ukraine), and G. Markowsky
Abstract
Track Security and Protection FreeSubscription
436-034 Detecting Unwanted Synchronization in Java Programs
G. Leeman, A. Kershenbaum, L. Koved, and D. Reimer (USA)
Abstract
436-035 JHide – A Tool Kit for Code Obfuscation
L. Ertaul and S. Venkatesh (USA)
Abstract
436-042 A Model of Program Execution for Security Purposes
Z. Liu (PRC)
Abstract
436-045 An Object Oriented Approach to an Identity based Encryption Cryptosystem
A. Duffy and T. Dowling (Ireland)
Abstract
436-069 Rapid Prototyping and Performance Analysis of Elliptic Curve Cryptographic Algorithms using Java and Maple
A. Burnett and T. Dowling (Ireland)
Abstract
436-079 Using Emerging Open Specifications for Enhancing XML Web Services to Build a Maintainable and Secure Health Care Information System
C. Weber, S. Seshadri, and F. Khan (USA)
Abstract
436-119 Java Mobile Code Security by Bytecode Behavior Analysis
G. Bian, K. Nakayama, Y. Kobayashi, and M. Maekawa (Japan)
Abstract
436-148 Modeling and Analyzing Security Protocols in SAM: A Case Study
Z. Dai, X. He, J. Ding, and S. Gao (USA)
Abstract
436-207 Enforcement of Applet Boundaries in Java Card Systems
C. Bernardeschi and L. Martini (Italy)
Abstract
436-214 Component-Abnormality Detection and Immunization for Survivable Systems in Large Distributed Environments
J.S. Park, P. Chandramohan, and J. Giordano (USA)
Abstract
Track Software Architecture FreeSubscription
436-038 A Simple Platform-Independent Web Application Development Process
P. Bustos and J. Navon (Chile)
Abstract
436-104 Towards an Automated Quality Assessment of UML-based Software Architectures
A. Günzler and D. von Roennebeck (Germany)
Abstract
436-113 Instance Orientation: A Programming Methodology
T. Schöbel-Theuer (Germany)
Abstract
436-123 Distributed Architectures for Rich-Client Internet Applications
J. Lin (USA)
Abstract
436-127 Utilizing Commercial Object Libraries within Loosely-coupled, Event-based Systems
J. Ren and R.N. Taylor (USA)
Abstract
436-134 Distributed Components for Retrieval of Driver’s License Data using a Handheld Computer
K. Krstovski, A.L. Kun, and W.T. Miller, III (USA)
Abstract
436-146 A Permissive/Restrictive Security Structure for a Reusable Software Architecture for an Accounting Information System
E.H. Dennis and E.K. Mugisa (Jamaica)
Abstract
436-158 Accommodating Usability driven Changes in Existing Software Architecture
T. Rafla, R. Oketokoun, A. Wiklik, M. Desmarais, and P.-N. Robillard (Canada)
Abstract
436-195 AOSAM: A Formal Framework for Aspect-Oriented Software Architecture Specifications
W. Sun and Z. Dai (USA)
Abstract
436-212 An Open Software Architecture of Neural Networks: NeuroSoft
A.S. Öğrenci, T. Arsan, and T. Saydam (Turkey)
Abstract
436-230 A Software Reliability Model for Web Services
W.T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, and N. Liao (USA)
Abstract
436-237 Using the NaSr Architectural Style to Solve the Broken Hyperlink Problem
R. Bashroush, I. Spence, P. Kilpatrick, and T.J. Brown (UK)
Abstract
Track Software Maintenance and Reliability FreeSubscription
436-043 A Discrete Software Cost Model with Periodic Rejuvenation for a Telecommunication Billing Application
K. Iwamoto, T. Dohi, and N. Kaio (Japan)
Abstract
436-056 A Model for Corrective Maintenance Time Prediction using Neural Network
Y. Singh, B. Goel, and P. Chandra (India)
Abstract
436-064 A Framework for Early Robustness Assessment
J. Zhou and T. Stålhane (Norway)
Abstract
436-070 Deriving Change Architectures from RCS History
C. Stringfellow, C.D. Amory, D. Potnuri, M. Georg, and A. Andrews (USA)
Abstract
436-078 An Empirical Investigation for Different Sequences of Pedagogical Framework Documentation in RAD
S.B. Ho, I. Chai, and C.H. Tan (Malaysia)
Abstract
436-084 ARIES: Refactoring Support Environment based on Code Clone Analysis
Y. Higo, T. Kamiya, S. Kusumoto, and K. Inoue (Japan)
Abstract
436-141 On Object-oriented Approach to Program Modularization
V. Shtern (USA)
Abstract
436-149 From Principle, Product, Process to Effort
F.-P. Yang, C.H. Kao, and H.C. Jiau (Taiwan)
Abstract
436-169 A Practical Guide to Measuring Method Coupling in Object-oriented Systems
S. Smith, S.F. Stoecklin, and J. Mullins (USA)
Abstract
436-171 Insecurity by Contract
P.L. Nico, C.S. Turner, and K.K. Nico (USA)
Abstract
436-174 Inferring Class Level Scenarios from Object-oriented Source Code
M.A. Hoffman (USA)
Abstract
436-199 Engineering Long-lived Applications using MDA
T. Seifert, G. Beneken, and N. Baehr (Germany)
Abstract
436-224 Reliability Specification for Component-based Software
X. Mao and J. May (UK)
Abstract
Track Software Testing FreeSubscription
436-048 Using a Taxonomy to Analyze Classes during Implementation-based Testing
P.J. Clarke and B.A. Malloy (USA)
Abstract
436-055 Integrated Generation of Specification- and Program-based Test Cases
S. Beydeda (Germany)
Abstract
436-099 An Approach to Analyzing Exception Propagation
S. Jiang, B. Xu, and L. Shi (PRC)
Abstract
436-135 Model Checking for Component-based Software Development for Embedded Systems
W. Maydl (Germany)
Abstract
436-142 Dataflow Analysis and Testing of Software Components
Y. Pan and M.-H. Chen (USA)
Abstract
436-185 Object-oriented Integration Testing: A Method Level based Approach
L. Badri, M. Badri, and V.S. Blé (Canada)
Abstract
436-189 Reachability Testing of Monitor-based Programs
Y. Lei and R. Carver (USA)
Abstract
436-229 A Testability Analysis for Data-Flow Designs of Reactive Real-Time Systems
H.V. Do, C. Robach, M. Delaunay, and J.-S. Cruz (France)
Abstract
Track Formal Methods and Specification FreeSubscription
436-039 The Compositional Semantics of Timed Statecharts
J. Qian and B. Xu (PRC)
Abstract
436-112 Higher-Order Strategic Programming: A Road to Software Assurance
V.L. Winter, S. Roach, and F. Fraij (USA)
Abstract
436-184 Automating Software Development by Cross-Utilization of Specification Tools
A. Dasso (Argentina) and C. George (Macao)
Abstract
436-190 Formal Construction Model and Specification of Fault Tree
J. Xiang, K. Futatsugi (Japan), and Y. He (PRC)
Abstract
436-202 Using π-Calculus for Specification of Mobile Agent Communication
G. Jezic and I. Lovrek (Croatia)
Abstract
436-219 Formal Specification of Design Patterns: A Case Study
J.O. Hallstrom and N. Soundarajan (USA)
Abstract
436-221 A Predicate Logic Foundation for Financial Audit Systems
J.A. Akinyemi and S.A. Ehikioya (Canada)
Abstract
Track Modelling and Simulation FreeSubscription
436-044 Towards Flexible Software Processes by using Process Patterns
M. Hagen and V. Gruhn (Germany)
Abstract
436-047 An Ad Hoc Evaluation of Workflow Modeling Tools
D. Cumberland and C.S. Turner (USA)
Abstract
436-060 XML-based Programming Language Modeling: An Approach to Software Engineering
C. Reichel and R. Oberhauser (Germany)
Abstract
436-109 Design and Implementation of a Simulator for Evaluating Dial-a-Ride Systems
K. Iwata, N. Ito, I. Noda, and N. Ishii (Japan)
Abstract
436-115 Shape Recognition of the Human Body using the Model of a 3D Human Body
J. Shin and S. Ozawa (Japan)
Abstract
436-154 Process State Inference for Support of Knowledge Intensive Work
J. Noll and J. Shah (USA)
Abstract
436-191 Estimating Direct Return on Investment of Independent Verification and Validation
J.B. Dabney, G. Barber, and D. Ohi (USA)
Abstract
436-206 How Far is an ISO 9001-granted Organization to Capability Maturity Model Integration?
Y.-L. Won, D.-R. Tsai, and P.-J. Tsai (Taiwan)
Abstract
436-209 Simulation Models for Optimal Object Server Deployment
W.J. Ray, M.-T. Shing (USA), and C.K. Kwok (Singapore)
Abstract
436-232 A Framework for Modeling Automated Negotiation
A.R. Dani and V.P. Gulati (India)
Abstract
436-233 Mapping Pre-designed Business Process Models to UML
A. Salbrechter, H.C. Mayr, and C. Kop (Austria)
Abstract
436-803 SW Cost Estimation: Measuring Model Performance of Arbitrary Function Approximators
I. Myrtveit and E. Stensrud (Norway)
Abstract
Track Software Engineering Applications FreeSubscription
436-012 Generic Approach to Internationalization of Websites
T. Müldner, D. Benoit, and F. Wang (Canada)
Abstract
436-021 Approaches to Assure Safety in Fly-by-Wire Systems: Airbus vs. Boeing
A.J. Kornecki and K. Hall (USA)
Abstract
436-030 A Model for Object-based Distributed Processing using Behaviour Trees
E. Sithirasenan and V. Muthukumarasamy (Australia)
Abstract
436-046 Deployment, Configuration and Management of Mobile Actor Systems
F. Cicirelli, A. Furfaro, and L. Nigro (Italy)
Abstract
436-058 Project Perspective of Software Acquisition Practices
T.W. Kwan and H.K.N. Leung (PRC)
Abstract
436-074 Metadata Harvesting using Agent Technology
M. Vidaković, G. Sladić, and M. Zarić (Serbia and Montenegro)
Abstract
436-124 InterDOC: Interoperable Services in Collaborative Writing Environments
R.S. Pitangueira Maciel, C.A. Guimarães Ferraz, and N. Souto Rosa (Brazil)
Abstract
436-133 Experiences in Applying Agile Software Development Practices in New Product Development
A. Dagnino, K. Smiley, H. Srikanth, A.I. Antón, and L. Williams (USA)
Abstract
436-139 A Neural Network Approach for Software Defects Fix Effort Estimation
H. Zeng and D. Rine (USA)
Abstract
436-217 Agent Role Locking (ARL): Theory for Agent Oriented Software Engineering
S.J. Juneidi and G. Vouros (Greece)
Abstract
Track Software Tools and Techniques FreeSubscription
436-053 A Framework for Multiple Service Discovery and Robustness
Y. Kono, S. Takada, and N. Doi (Japan)
Abstract
436-054 On Execution Control of UML's Use Case
S. Isoda (Japan)
Abstract
436-062 A Standard Real-Time Application Development using Real-Time Java Specification from Theory to Practice
S. Middonnet and H.X. Zhao (France)
Abstract
436-066 Compiling Adaptive Programs for Real-Time Dynamic Scheduling
X. Hu, T. Lei, Y.-C. Gong, and X.-H. Zhou (PRC)
Abstract
436-076 Identifying Candidate Invariant Conditions of Running Program
T.E. Setiadi, K. Nakayama, Y. Kobayashi, and M. Maekawa (Japan)
Abstract
436-086 Modular Monadic Slicing of Concurrent Programs
Y. Zhang, B. Xu, and J. Qian (PRC)
Abstract
436-093 Tree Logic with Recursion and Model Checking Algorithm
T. Chen, T. Han, and J. Lu (PRC)
Abstract
436-102 A Supervised Multi-Agent Approach for Operations Capacity Planning through Performances-driven Analysis
M. Calamita, P. Lunghi, R. Melioli, and F. Tonelli (Italy)
Abstract
436-121 Separating Language Dependent and Independent Tasks for the Semantic Transformation of Numerical Programs
J. Utke and U. Naumann (USA)
Abstract
436-144 An Approach to Realize Click, Double-click, and Drag in 3D
Y. Ishihara and M. Ishihara (Japan)
Abstract
436-147 Generating Tutorial System from Sequence Diagrams in UML
H. Iwata, J. Shirogane, and Y. Fukazawa (Japan)
Abstract
436-157 Enterprise Service Facilitation within Agent Environments
E. Curry, D. Chambers, and G. Lyons (Ireland)
Abstract
436-203 Object-oriented Programming with Dynamic Classification in C#
L. Li and W. Wang (Canada)
Abstract
436-210 Java Bytecode Verification with Dynamic Structures
C. Bernardeschi, L. Martini, and P. Masci (Italy)
Abstract
436-227 An Interface Mark-Up Language for Web3D
J.D. Roberts, I. Yoon, S. Yoon, and E.H. Lank (USA)
Abstract
Track Software Design and Development FreeSubscription
436-006 An Algorithm for Determining the Equivalence of Two Blocks of Assignment Statements
R.K. Bera (India)
Abstract
436-009 Extreme Programming: Pair-Programmers, Team Players or Future Leaders?
K. Visram (UK)
Abstract
436-022 Logical Tools for Program Integration and Interoperability
M. Burgin (USA)
Abstract
436-041 PLUS: A Release Management Process for Progressive Software Development Model
J.-C. Liou (USA)
Abstract
436-052 Supporting the Iterative Development of Sequence Diagrams and Statecharts
H. Hasegawa, S. Takada, and N. Doi (Japan)
Abstract
436-067 A Component-based Reference Model for Web-based Systems
J. Zhou and T.Stålhane (Norway)
Abstract
436-071 Applying Object Oriented Concept to Combination Logic Design
S. Chaiworawitgul, P. Pitsatorn, and B. Sowanwanichakul (Thailand)
Abstract
436-082 Software Component Self-Description: Labeling Components in a Software Supermarket
R.A. Pyne and E.K. Mugisa (Jamaica)
Abstract
436-091 Towards Use Case based Software Reuse
K. Yamada, S. Takada, and N. Doi (Japan)
Abstract
436-097 Automatic Clustering of Non-functional Requirements
F. Fabbrini, M. Fusani, S. Gnesi, and G. Lami (Italy)
Abstract
436-117 An Early Detection of Semantic Conflicts Between Aspects: A Model Analysis based Technique
F. Tessier, M. Badri, and L. Badri (Canada)
Abstract
436-128 Erroneous Architecture is a Relative Concept
J. Adamek and F. Plasil (Czech Republic)
Abstract
436-132 An MDA®-based Framework for Model-driven Product Derivation
Ø. Haugen, B. Møller-Pedersen, J. Oldevik, and A. Solberg (Norway)
Abstract
436-153 Automating VBI-Data Generation and Validation
M.R. Narasimhamurthy, R. Nadaf, and A. Bhowmick (India)
Abstract
436-170 TUBE: Interactive Model-integrated Object-oriented Programming
A. Rauschmayer and P. Renner (Germany)
Abstract
436-177 Towards Large Scale Voice Activated Dynamic and Interactive Internet based Animation and Modeling
A. Guercio, B. Simoes, and A.K. Bansal (USA)
Abstract
436-179 Automated Support of Quality Improvement
L. Liao, H.K.N. Leung, and Y. Qu (PRC)
Abstract
436-181 Decoupled Common Annotations for Reusing XML Document Composition Logic
S.-K. Chen, K.-L. Wu, and J.-S. Yih (USA)
Abstract
436-186 Synthesizing Statecharts through Sequence Diagrams Analysis
H. Wang, K. Zhang, T. Feng, H. Che (PRC), and Y. Zheng (Malaysia)
Abstract
436-204 On the Formulation of Software Cost for IO Devices
K.J. Lin and S.W. Chen (Taiwan)
Abstract
436-205 A Component Model for Building Systems Software
G. Coulson, G. Blair, P. Grace, A. Joolia, K. Lee, and J. Ueyama (UK)
Abstract
436-208 The Provision of Contracts to Enforce System Semantics Throughout Software Development
C. Constantinides (Canada) and T. Skotiniotis (USA)
Abstract
436-216 Contextualising Components when Addressing Database Interoperability
R. Juric, J. Kuljis, and R. Paul (UK)
Abstract
436-218 An MDA-based Framework to Achieve High Productivity in Software Development
A. Estévez García, J. Padrón Lorenzo, and J.L. Roda García (Spain)
Abstract
436-225 Towards a Customizable Approach for COTS Selection
A. Mohamed, G. Ruhe (Canada), and A. Eberlein (UAE)
Abstract
436-226 Hyper-Trace: Using Hypertext Linking for Traceability
G.A. Bjune and J.R. Hagemeister (USA)
Abstract
436-804 Personal E-Moviemaker Design
J. Shen, S. Miyazaki, T. Aoki, and H. Yasuda (Japan)
Abstract
Track Special Session: Data Mining Software Project Databases FreeSubscription
436-805 AFFDEF: Adaptive and Flexible Fuzzy Duplicate Elimination Framework
H.H. Shahri and A.A. Barforush (Iran)
Abstract
436-806 Using Cellular Automata to Predict Reliability of Modules
M. Lenič, P. Povalej, P. Kokol (Slovenia), and A.I. Cardoso (Portugal)
Abstract
436-807 Bioinformatics Approach to Data Mining of Software Bases
G. Stiglic, P. Kokol (Slovenia), and L. Lhotska (Czech Republic)
Abstract
436-810 Mining Features of Software Reliability using Multimethod Data-Mining Approach
M. Mertik, M. Lenič, M. Zorman (Slovenia), and M. Pighin (Italy)
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):   $204.00 (Hardcopy) ;  $183.00 (Online) ;  $204.00 (CD)

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

For complete proceedings please choose one of the following:

   

Hard Copy $204.00
Online Edition $183.00
CD Edition $204.00
Individual Articles (Online): $27.00  
ISSN: 1482-7905 ;
ISBN: 0-88986-425-X ;
ISSN (CD): 1922-8082 ;
ISBN (CD): 0-88986-427-6 ;
ISSN (Online): N/A ;

This publication covers the following topics: Databases and Data Mining, Security and Protection, Software Architecture, Software Maintenance and Reliability, Software Testing, Formal Methods and Specification, Modelling and Simulation, Software Engineering Applications, Software Tools and Techniques, Software Design and Development, Data Mining Software Project Databases.

Loading Information

Go Back