Software Engineering and Applications    (SEA 2002)

November 4 – 6, 2002
Cambridge, USA
Editor(s): M. H. Hamza
Other Years:

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

Track Artificial Intelligence and Applications FreeSubscription
374-051 Fuzzy DCG Syntactic Parser for Command Language Recognition under Special Conditions
J.L. Ortiz and M. Valle (Puerto Rico)
Abstract
374-117 Software Development Paradigms for Artificial Intelligence Applications
I.C. Ellis and A. Agah (USA)
Abstract
374-119 Fuzzy Multilevel Multicriteria Decision Making Methodology for Facility Layout Problem
U. Misra, U.D. Gundevia, and V.V. Mishra (India)
Abstract
374-145 Hybrid Representation for Natural Language Engineering Systems
J. Berri (UAE)
Abstract
374-186 A Mediator-based Architecture for Capability Management
N. Boudjlida (France)
Abstract
374-213 An Intelligent Search Strategy for Solving the Three-machine Flow-shop Scheduling Problem
J.P.-O. Fan (Australia)
Abstract
374-214 Formal Modeling Technique for Agent-based Software Engineering
A. Salah (USA)
Abstract
374-233 Solving Games with Perfect Information using Genetic Algorithms and a Backpropagation Neural Network
R.F. Bouroncle Cuba (Peru)
Abstract
374-801 Applications of Neuro-fuzzy Systems for Recognition and Reduction of Power Disturbances
M. Negnevitsky and L. Reznik (Australia)
Abstract
374-817 Methodological Issues for Designing Multi-agent Systems with Authentication and Authorization in Mobile Environment
G.A. Santana Torrellas and D.H. Rosales (Mexico)
Abstract
Track Software Requirements FreeSubscription
374-067 Domain Analysis – A Technique for Requirements Analysis
J.E. Picarelli and B.M. Daltrini (Brazil)
Abstract
374-068 Requirements Traceability for Embedded Software – An Industry Experience Report
L. Murray, A. Griffiths, P. Lindsay, and P. Strooper (Australia)
Abstract
374-089 A Process for the Practical Selection of Requirements Modelling Approaches
E. Haywood and P. Dart (Australia)
Abstract
374-109 Goal Flow Diagram (GFD) – A Model to Derive Use Cases and a Means for the Elicitation and Tracing of Stakeholder Goals
J. Wong (PRC)
Abstract
374-113 Deploying Good Practices in Different Requirements Process Models
Q. Zhang and A. Eberlein (Canada)
Abstract
374-130 Mapping Functional Requirements: From Natural Language to Conceptual Schemata
C. Kop and H.C. Mayr (Austria)
Abstract
374-165 Goal Flow Diagram – The Underlying Concepts
J. Wong (PRC)
Abstract
374-181 Requirements Interactions Management: A Multi-level Framework
M. Shehata and A. Eberlein (Canada)
Abstract
374-227 Rewriting Requirements for Design
J. Kirby (USA)
Abstract
374-229 The Modification Process: A Practical Means to Understand and Enhance the Software Requirements Engineering Process
J. Hatalsky, P.S. Corwin, and C.S. Turner (USA)
Abstract
374-236 An Agent-oriented Approach to Modeling Distributed Learning Systems
F. Lin, P. Holt, S. Leung, C. Maton, and C. Holmberg (Canada)
Abstract
374-819 Requirements Engineering for Dynamic Markets
S. Pfeiffer and A. Eberlein (Canada)
Abstract
Track Software Design and Development FreeSubscription
374-073 Building Empirical-based Knowledge for Design Recovery through Program Analysis
N.L. Thein and H.B.K. Tan (Singapore)
Abstract
374-080 Code Generation System based on Feature Diagram and XML/XSLT
S.-H. Choi and M. Kwon (Korea)
Abstract
374-085 Object Structure Navigation
M.C. Stewart and R. Toal (USA)
Abstract
374-112 Software Design by Patterns for Process-oriented Applications
S. Jovalekic, I. Ikhwani, and O. Boissard (Germany)
Abstract
374-170 Target Builder: An Embedded Linux Development Toolkit
W.-C. Kang, H.-C. Yun, H.-N. Kim, and Y.-J. Jeong (Korea)
Abstract
374-187 ECharts: Balancing Design and Implementation
G.W. Bond and H. Goguen (USA)
Abstract
374-192 A Technique for Generating Optimized System Test Suites
C.E. Williams and T. Kratschmer (USA)
Abstract
374-196 The Software Concordance: A User Interface for Advanced Software Documents
S.C. Gupta, T.N. Nguyen, and E.V. Munson (USA)
Abstract
374-200 The Adherence of Open Source Java Programmers to Standard Coding Practices
M.O. Elish and J. Offutt (USA)
Abstract
374-208 Tool Support for Design Patterns in the Context of a Reuse Process
S. Oikonomopoulos and S. Gritzalis (Greece)
Abstract
374-226 A New Design of an Object Navigation Query Notation
S. Mitterdorfer, E. Teiniker, C. Kreiner, R. Weiss, and Z. Kovács (Austria)
Abstract
374-232 Integrating Legacy High-fidelity Engine Analysis Code with Aerospace Propulsion Simulation Components
G. Follen, C. Kim, I. Lopez, J. Sang, S. Townsend, and D. Zhang (USA)
Abstract
374-245 Deriving a Product Line Architecture from the Applications’ Use Cases
Y. Eterovic (Chile)
Abstract
Track Software Security, Optimization and Standardization FreeSubscription
374-039 Technical Target Setting in Software Quality Function Deployment
F. Liu (USA), K. Noguchi (Japan), A. Dhungana, V.V.N.S.N. Srirangam A., and P. Inuganti (USA)
Abstract
374-122 The Analysis Technique for Extraction of EJB Component from Legacy System
M.-S. Song, H.-T. Jung, and Y.-J. Yang (Korea)
Abstract
374-151 A Software Protection Solution for Application Service Providers
T.-H. Wu and J.-S. Jwo (Taiwan)
Abstract
374-157 An Image Copyright-protection Approach Without Signature Insertion
M. Haseyama and I. Kondo (Japan)
Abstract
374-161 A Method for the Prediction of Software Reliability
A. D’Ambrogio, G. Iazeolla, and R. Mirandola (Italy)
Abstract
374-166 Integrated Factors Method (IFM): A New Reliability Allocation Technique
D. Falcone, A. Silvestri, and G. Di Bona (Italy)
Abstract
374-188 Achieving Technical Architecture with Architectural Figures
H.-Q. Nguyen, L. Duchien, P. Bedu, and J. Perrin (France)
Abstract
374-194 Developing Domain-specific Languages in Concept-based Development Method
Y. Liu and N. Zhang (PRC)
Abstract
374-215 An Adaptive Security Mechanism based on Dynamic Instruction Customization
N. Osawa (Japan)
Abstract
374-805 Reusing Formal Specification of Components
C.T. de Souza, P.R.F. Cunha (Brazil)
Abstract
374-806 Plug and Play Safely: Rules for Behavioural Compatibility
A.J.H. Simons, M.P. Stannett, K.E. Bogdanov, and W.M.L. Holcombe (UK)
Abstract
Track Web-based Systems and Applications FreeSubscription
374-001 On Web Site Accessibility
H. Azzam, D. McBain, and S. Meredith (USA)
Abstract
374-083 A Diagram Approach to Automatic Generation of JSP/Servlet Web Applications
K. Jamroendararasame, T. Suzuki, and T. Tokuda (Japan)
Abstract
374-094 A Java System that Combines Optimism and Pessimism in Updating Replicas
C. Innis (Jamaica), J.M. Crichlow, M. Hosein, and S. Hartley (USA)
Abstract
374-097 A MULTI-LEVEL LANGUAGE FOR A WEB-BASED CAD SYSTEM
L. Denis, Y. Gardan, and E. Perrin (France)
Abstract
374-103 ACML – An XML-based Agent Communication Language
S. Duignan and D. Chambers (Ireland)
Abstract
374-104 EJB based Intelligent Agents Framework
M. Vidaković and Z. Konjović (Yugoslavia)
Abstract
374-140 JAFAR: Detailed Design of a Pattern-based J2EE Framework
N. Guelfi and P. Sterges (Luxembourg)
Abstract
374-153 Table Processing based on Attribute Graphs
T. Kirishima, T. Motohashi, K. Tsuchida, and T. Yaku (Japan)
Abstract
374-225 An Experience Implementing a Rup-based Process for Web Applications
J. Navon and C. Tondreau (Chile)
Abstract
374-228 Migrating Data-centric Systems to Web-enabled Systems
T. Bodhuin, P. Pizzulo, and M. Tortorella (Italy)
Abstract
374-234 Rigorous and Automatic Testing of Web Applications
X. Jia and H. Liu (USA)
Abstract
374-804 A Framework for Browser-based User Interfaces in J2EE
A. Löhr (Germany), J. Beck, R. Martin (USA), and B. Brügge (Germany)
Abstract
374-809 Web-based Software Component Trial System and Its Evaluation
H. Washizaki, M. Motomura, and Y. Fukazawa (Japan)
Abstract
374-811 WIND: A Web-based Information System to Manage Operational Processes
C. Maidantchik, V. Costa, M. Montoni, C. Rocha, and A.P. Wauke (Brazil)
Abstract
Track Software Engineering Applications FreeSubscription
374-040 Workflow Paradigm for Mobile E-Business
V.K. Murthy (Australia)
Abstract
374-057 A Report on the Software Engineering Activity Structure of a Developer for Electronic Diesel Engine Control
C. Falk, T. Grechenig, W. Zuser, P. Fessl, and R. Bosch (Austria)
Abstract
374-059 Supplying Legacy Applications with QoS: A Description Syntax at Application, End-user and Network Level
A. Thomas (Germany)
Abstract
374-060 CMM and Software Process Maturity – An Industry Experience
J.-C. Liou (USA)
Abstract
374-163 The Editing Aspect of Aspects
T. Panas, J. Andersson, and U. Assmann (Sweden)
Abstract
374-185 A New Approach for Feature Interaction Detection in Telecommunication Systems
A. Cavalli (France), D. Lee (PRC), and S. Maag (France)
Abstract
374-191 An Experience with Using Z for Mobile Computing
A. Rarau and K. Pusztai (Romania)
Abstract
374-237 A Real Time Surround Display using PC Clusters
J.-D. Choi, K.-J. Byun, and B.-T. Jang (Korea)
Abstract
374-239 A Method for Real-time Posture Control of an Articulated Object
I.-K. Jeong and I. Lee (Korea)
Abstract
374-244 Program Generation from Film Specifications
T. Ebihara, R. Yoshioka, and N.N. Mirenkov (Japan)
Abstract
374-800 Visualization of Graph Algorithms and Programming in Pictures
N. Mirenkov, O. Manakhov, and R. Yoshioka (Japan)
Abstract
374-810 Building a Video Monitoring System with Linux using Component-based Approach
K.J. Lin (Taiwan)
Abstract
374-818 A Protocol Independent CSCW Architecture for Application Sharing
M. Hsiao, B. Chang, J.-W. Huang, and M.-H. Lee (Taiwan)
Abstract
Track Software: Testing and Tools FreeSubscription
374-034 Class Specification Implementation Graphs for Integrated Black- and White-box Testing
S. Beydeda and V. Gruhn (Germany)
Abstract
374-046 Cross-fertilization between Hardware Verification and Software Testing
S. Ur and A. Ziv (Israel)
Abstract
374-063 A Test Execution Environment Running Abstract Tests for Distributed Software
A. Hartman, A. Kirshin, and K. Nagin (Israel)
Abstract
374-110 Assisting Program Analyses with Library Synopses
D.C. Atkinson (USA)
Abstract
374-124 Generating Reusable Test Cases for Object-oriented Framework Interface Classes from UML Specifications
J. Al Dallal and P. Sorenson (Canada)
Abstract
374-133 Supporting Traceability and Inconsistency Management between Software Artifacts
T. Olsson (Sweden) and J. Grundy (New Zealand)
Abstract
374-136 A Simple Testing Technique that Ensures Complete Program Coverage
A. McAllister (Canada)
Abstract
374-160 Test Sequences Generation from UML Collaboration Diagrams: Towards a Formal Approach
L. Badri and M. Badri (Canada)
Abstract
374-193 Testing for Security Vulnerabilities in Software
P. Vilela, M. Machado (Brazil), and E. Wong (USA)
Abstract
374-206 Design and Implementation of a Document Classification System
J.M. Goh and D.C.C. Poo (Singapore)
Abstract
374-802 Visual Composition of Components
L. Martin (Germany)
Abstract
Track Software Architecture and Organization FreeSubscription
374-029 Improving Java Software through Package Structure Analysis
E. Hautus (The Netherlands)
Abstract
374-038 Testability Analysis with Respect to Testing Criteria for Software Components
T.B. Nguyen, M. Delaunay, and C. Robach (France)
Abstract
374-053 A Proposal of Function Point Counting of Internal Logical Files based on Fuzzy Set Theory
A. Belgamo and L.E. Galvão Martins (Brazil)
Abstract
374-076 Using Design Metrics to Predict Error-prone Modules
J.M. Beaver and D. Linton (USA)
Abstract
374-135 The Symphony2 Software Infrastructure for Constructing Scaffolded Work Environments
C. Quintana, C. Wells, and E. Soloway (USA)
Abstract
374-139 Using and Specializing JAFAR, a Pattern-based J2EE Framework: An Auction Case Study
N. Guelfi and B. Ries (Luxembourg)
Abstract
374-141 Rigorous Engineering of Software Architectures: Integrating ADLS, UML and Development Methodologies
N. Guelfi and G. Perrouin (Luxembourg)
Abstract
374-143 Inserting Components Incrementally
G. Jónsdóttir, D. Flagg, L. Davis, and R. Gamble (USA)
Abstract
374-155 Improving the Position of Usability Activities in the Organisation by Reusing Existing Knowledge and Assessing Performance
G. Al-Qaimari and L. Agi (Australia)
Abstract
374-210 An XML-based Platform for Semantic Transformation of Numerical Programs
P.D. Hovland, U. Naumann, and B. Norris (USA)
Abstract
374-211 Experience with a Generic Transition Architecture
P. Bailes, J. Harrison (Australia), W.M. Lim (Singapore), and I. Peake (Australia)
Abstract
374-240 An Empirical Experimentation to Evaluate Effectiveness of Declarative Programming Languages in Software Development Process
A. Ahmad (Pakistan) and M. Talha (USA)
Abstract
374-248 Agile Software Architecture Recovery through Existing Solutions and Design Patterns
C.-H. Lung (Canada)
Abstract
374-807 Reuse Metrics and Assessment in Component-based Development
A.J.A. Wang (USA)
Abstract
Track Software Specification and Verification FreeSubscription
374-062 Basic DSSV-methodology
E. de Gentili (France)
Abstract
374-074 Applet-based Specification Technique with Correctness Properties
K.-Y. Sung (Korea)
Abstract
374-142 Modeling and Prototyping of Software Systems
H. Chen and Y. Dong (PRC)
Abstract
374-148 An Efficient Way for Specifying State-based Systems in Promela
K. Chang and D. Kung (USA)
Abstract
374-184 Towards Verifying Java Realizations of OCL-Constrained Design Models using JML
A. Hamie (UK)
Abstract
374-189 Introducing Dynamic Object Roles into the UML Class Diagram
A. Jodłowski, J. Płodzień, E. Stemposz, and K. Subieta (Poland)
Abstract
374-197 When Bad Code Comes from Good SPEcs
C.S. Turner and J.K. Fox (USA)
Abstract
374-808 Statistical Testing and Formal Proof Methods: A Combined Approach to Verification of Software Built with Re-used Components
J.H.R. May (UK)
Abstract
Track Software Methodologies and Modelling FreeSubscription
374-045 Formal Semantics for a UML Fragment Using UML/OCL Metamodeling
A. Tchertchago (Germany)
Abstract
374-120 The Functional Feature Network Diagram – To Facilitate the Understanding of Business Application Functions and their Relationships -
M. Itakura, K. Takeuchi, and K. Ueyama (Japan)
Abstract
374-149 A Software Engineering Methodology for Agent-based Development
A. Zeid (Egypt)
Abstract
374-171 Cognitive Science Improve Communication within Information Systems Development Projects
R. Lindqvist (Sweden)
Abstract
374-203 Business Processes to Use Cases – Integration of Use Case Modelling and Object-oriented Software Development
J.-B. Hundehege, S. Lippe, F.M. Thiesing, and C. Wiegand (Germany)
Abstract
374-813 An Algorithm to Derive Use Cases from Business Processes
R.M. Dijkman and S.M.M. Joosten (The Netherlands)
Abstract
Track Cooperative Work Support FreeSubscription
374-084 An Evaluation of a Cooperative Process Support Environment
A.I. Wang (Norway)
Abstract
374-108 The Relationship between Planning Team Experience and Project Cost Estimates
J. McDonald (USA)
Abstract
374-152 Modeling Coordination as Resource Flow: An Object-based Approach
J. Noll and B. Billinger (USA)
Abstract
374-183 Software Engineering Projects: Working in Teams
N. Clark (Australia)
Abstract
374-218 Cooperative Process Coordination
J. Bitcheva, O. Perrin, and C. Godart (France)
Abstract
374-241 Using Event Notification Servers to Support Application Awareness
C.R.B. de Souza, S.D. Basaveswara, and D.F. Redmiles (USA)
Abstract
Track Software Process Evaluation and Improvement FreeSubscription
374-079 Unrolling Shape: Symbolic and Quantitative Analysis of Loop Unrolling Effect
H. Sato, and T. Yoshida (Japan)
Abstract
374-090 Evaluating Partial Adaptability of Software Components
Y. Shinkawa (Japan)
Abstract
374-212 Step-wise Decomposition of Software Processes
A.S.M. Sajeev and L. Inchaiwong (Australia)
Abstract
374-246 A Technique and Tool for Software Evaluation
J. Dujmović and M. Kadaster (USA)
Abstract
374-814 Process Capability Assessments in Small Development Firms
A. Cater-Steel (Australia)
Abstract
374-816 A Software Process Framework
T. Torabi, T. Dillon, and W. Rahayu (Australia)
Abstract
Track Software and Databases FreeSubscription
374-030 Building Signature File Hierarchies into Object-oriented Databases
Y. Chen (Canada)
Abstract
374-066 Maintaining Consistency between Data Models and Databases: An Alternative Process
A. McAllister and J. Mattinson (Canada)
Abstract
374-072 A Parallel Cell-based Filtering Scheme using Data De-clustering
S.-B. Park, C.-B. Shim, and J.-W. Chang (Korea)
Abstract
374-138 Business Case for a Product Line of Legacy Application Data-Middleware
M. López H. and M.C. Bastarrica (Chile)
Abstract
374-204 Combining Free-word Search and Relational Databases
M. Hassan (UK), R. Alhajj (Canada), and M.J. Ridley (UK)
Abstract
374-209 On Modeling the Relational Domain-key Normal Form using an Elementary Mathematical Data Model
C. Mancaş (Romania)
Abstract
Track Papers from Other IASTED Conferences FreeSubscription
322-077 Techniques and Analysis for Denormalization of Database
J.-J. Chen, X. Wang, W.-W. Cheng, J.-C.J. Chen (USA), and H.-M. Lee (Taiwan)
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):   $111.00 (Hardcopy) ;  $111.00 (Online) ;  N/A (CD)

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

For complete proceedings please choose one of the following:

   

Hard Copy $111.00
Online Edition $111.00
Individual Articles (Online): $38.00  
CD Subscriptions are not available for SEA 2002
ISSN: N/A ;
ISBN: 0-88986-323-7 ;

This publication covers the following topics: Artificial Intelligence and Applications; Software Requirements; Software Design and Development; Software Security, Optimization and Standardization; Web-based Systems and Applications; Software Engineering Applications; Software: Testing and Tools; Software Architecture and Organization; Software Specification and Verification; Software Methodologies and Modelling; Cooperative Work Support; Software Process Evaluation and Improvement; and Software and Databases.

Loading Information

Go Back