Software Engineering    (SE 2004)

February 17 – 19, 2004
Innsbruck, Austria
Editor(s): M.H. Hamza
746 pages
Other Years:

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

Track Software Architecture FreeSubscription
418-038 Architecture of a Novel DRM System
J. Zhang, L. Shao, and D. Xie (PRC)
Abstract
418-061 A Conceptual Model for Requirements Engineering and Management for Change-intensive Software
J. Botaschanjan, A. Fleischmann, and M. Pister (Germany)
Abstract
418-072 'Polyview’ Architecture using J2EE Patterns, XML and Remote Presentation Layer
A. Sahoo (India)
Abstract
418-082 A Case Study of Performance Analysis for Real-Time Systems
J.L. Arciniegas, R. Cerón, J.L. Ruiz, V. Martínez, and J.C. Dueñas (Spain)
Abstract
418-090 Evaluating the Requirements Engineering Process using Major Concerns
J. Li (Canada), A. Eberlein (UAE), and B.H. Far (Canada)
Abstract
418-101 Service Specification with MSCs and Roles
I.H. Krüger (USA)
Abstract
418-128 A Coordination Architecture for Time-Dependent Components
M. Barth and A. Knapp (Germany)
Abstract
418-132 Improving the IEEE std 1471-2000 for Communication among Stakeholders and Early Design Decisions
L.F. Fernández-Martínez, C. Lemus-Olalde, and M.A. Serrano (Mexico)
Abstract
418-135 Software Architecture Assessment using Quality Function Deployment
W.P. Bond, T.N. Al-Otaiby, and M.N. AlSharif (USA)
Abstract
418-139 A Software Architecture to Support Interoperability in Multiple Database Systems
R. Juric, J. Kuljis, and R. Paul (UK)
Abstract
418-159 Language-based Model for Requirements Engineering
G. Urrego-Giraldo (France)
Abstract
418-182 Towards an Automated Evaluation Process for Software Architectures
R. Bashroush, I. Spence, P. Kilpatrick, and T.J. Brown (UK)
Abstract
418-183 Using Application Domain Ontology to Construct an Initial System Model
L. Kof (Germany)
Abstract
418-194 Analysis of Initial Use Case Descriptions
P. Krishnan (Australia)
Abstract
Track Object-oriented Analysis, Systems, Design, and Data Visualization FreeSubscription
418-025 An Object-oriented System to Enhance Fundamental Problem-solving Skills of Learners
A. Jordaan and D.B. Jordaan (South Africa)
Abstract
418-034 A Framework for Transforming Artifacts from Data Flow Diagrams to UML
T.N. Tran, K.M. Khan, and Y.-C. Lan (Australia)
Abstract
418-069 Mapping UML Statecharts to Java Code
I.A. Niaz and J. Tanaka (Japan)
Abstract
418-103 A Pattern System for XML Application Development
K. Yamamoto, T. Uehara, A. Matsuo, K. Ohashi, J. Inomata, T. Matsuda, and R. Yamamoto (Japan)
Abstract
418-138 A Proposal for Collaborative Virtual Environments Architecture using Internet Patterns
B. Serique Meiguins, L. Affonso Guedes, M. Venícios Araújo, M. de Brito Garcia, and R. Dias de Souza
Abstract
418-174 Hierarchical Information Visualization using ENCCON Model
Q.V. Nguyen and M.L. Huang (Australia)
Abstract
418-185 Visual Analysis for a Sense-and-Respond Enterprise
S. Kapoor, D. Gresh, J. Schiefer, P. Chowdhary, and S. Buckley (USA)
Abstract
418-208 Concurrent Object Oriented Approach in MORM Simulation
A. Besrour, D. Hurzeler, and D. Buchs (Switzerland)
Abstract
418-221 Providing Multidimensional Decomposition in Object-oriented Analysis and Design
C. Constantinides (UK) and T. Skotiniotis (USA)
Abstract
Track Software Analysis, Design, and Development FreeSubscription
418-018 Using Aspect-oriented Technology in the Design of Advanced Diagnostic Systems
F. Akkawi, K. Akkawi, A. Bader, D. Fletcher, and D. Duncavage (USA)
Abstract
418-041 The Use of Semi-Formal Methods for Detecting Requirements Interactions
M. Shehata (Canada), A. Eberlein (UAE), and A. Fapojuwo (Canada)
Abstract
418-062 Model Checking-aided Design of Secure Distributed Systems
M. Verdicchio and P. San Pietro (Italy)
Abstract
418-093 A Data Validation Method in Requirement Specification of Software Application
A. Thadadech, P. Bhattarakosol (Thailand), and F. O'Brien (Australia)
Abstract
418-098 An Experience of Continuous Development -- Formulating Requirements Concurrently with System Implementation
K.R.P.H. Leung (PRC)
Abstract
418-106 Evaluating the Productivity in Software Development for Telecommunication Applications
P. Tomaszewski and L. Lundberg (Sweden)
Abstract
418-109 The Sandwich Code File Structure: An Architectural Support for Software Engineering in Simulation based Development of Embedded Control Applications
S. Top, H.J. Nørgaard, B. Krogsgaard, and B. Nørregaard Jørgensen (Denmark)
Abstract
418-115 Supporting Round-trip Engineering in Modeling Environments with the Application of Meta-modeling Techniques
L. Lengyel, T. Levendovszky, and H. Charaf (Hungary)
Abstract
418-124 A Software Development Process Supporting Non-functional Properties
S. Röttger and S. Zschaler (Germany)
Abstract
418-130 Flexible Incremental Development by Integrating Specification and Code
P. Schmid and C. Hofmeister (USA)
Abstract
418-144 Description of an Empirical Experiment to Measure Effects of Pair Work on the Design Phase
H. Al-Kilidar, R. Jeffery, and A. Aurum (Australia)
Abstract
418-176 A Knowledge-based 'Explicit and Implicit Input-Output' Model for Analysis of the Software Developers' Performance in the Software Review Process
Y.K. Wong (Australia)
Abstract
418-177 Towards a Model-based and Incremental Development Process for Service-based Systems
M. Deubler, J. Grünbauer, G. Popp, G. Wimmel, and C. Salzmann (Germany)
Abstract
418-178 A Novel Component Model for the Synchronous Dataflow Paradigm
W. Maydl (Germany)
Abstract
418-180 Integration of Heterogeneous Distributed Components using Workflow Information
M. Nagura, Y. Hibi, S. Takada, and N. Doi (Japan)
Abstract
418-203 Verification Method for the FBD-Style Design Specification using SDT and SMV
M.J. Song, S.R. Koo, and P.H. Seong (Korea)
Abstract
418-211 Engineering Streaming Applications with the CORBA Component Model Streaming Extension
F. Stoinski (Germany)
Abstract
418-217 Conflict Checking of Separation of Duty Constraints in RBAC -- Implementation Experiences
M. Strembeck (Austria)
Abstract
418-218 A Java API for Experimental Analysis of Algorithms
A. Duffy and T. Dowling (Ireland)
Abstract
418-230 A Jigsaw Model of XP
A. Fuller (Australia)
Abstract
Track Software Reliability, Reuse, and Security FreeSubscription
418-017 Trust Formalization -- From Taxonomy to Modeling and Simulation Framework
D. Trček (Slovenia)
Abstract
418-045 EM Algorithms for Logistic Software Reliability Models
H. Okamura, T. Dohi, and S. Osaki (Japan)
Abstract
418-086 The Software Supermarket: A Catalyst for Component-based Software Development
R.A. Pyne and E.K. Mugisa (Jamaica)
Abstract
418-091 The Optimum Time to Perform Software Rejuvenation for Survivability
K.M.M. Aung (Korea)
Abstract
418-097 Delegation of Signing and Decryption Rights using PKI Proxy Memo
V.L.S. Cheung, L.C.K. Hui, S.M. Yiu, K.P. Chow, K.H. Pun, W.W. Tsang, H.W. Chan, and C.F. Chong (PRC
Abstract
418-198 A Model for Delegation of Accountability
R.W.C. Lui and L.C.K. Hui (PRC)
Abstract
418-226 Reusable Software Architecture for an Accounting Information System
E.H. Dennis and E.K. Mugisa (Jamaica)
Abstract
Track Software Maintenance, Testing, and Quality Service FreeSubscription
418-028 Critical Barriers for Software Process Improvement Implementation: An Empirical Study
M. Niazi, D. Wilson, and D. Zowghi (Australia)
Abstract
418-033 Feature Driven Maintenance of Product Line Architectures
I. Philippow and I. Pashov (Germany)
Abstract
418-070 A Deterministic Density Algorithm for Pairwise Interaction Coverage
C.J. Colbourn (USA), M.B. Cohen (New Zealand), and R.C. Turban (USA)
Abstract
418-073 Generating Reusable Cluster-based Test Cases for Framework Applications: Is It Worth It?
J. Al Dallal and P. Sorenson (Canada)
Abstract
418-081 Does Active Guidance Improve Software Inspections? A Preliminary Empirical Study
C. Denger, M. Ciolkowski (Germany), and F. Lanubile (Italy)
Abstract
418-087 Assessment of Software Maintenance Capability: A Model and Its Architecture
A. April, A. Abran (Canada), and R.R. Dumke (Germany)
Abstract
418-095 Composite Mutant: An Innovative Approach to Mutation Testing
W. Worawatpibul and A. Surarerks (Thailand)
Abstract
418-102 Types of Quality of Service Contracts for Component-based Systems
S. Zschaler and S. Röttger (Germany)
Abstract
418-105 Formal Fault Tree Construction and System Safety Analysis
J. Xiang, K. Futatsugi (Japan), and Y. He (PRC)
Abstract
418-118 A CMMI-based Self Evaluation of Capability Maturity Level for Software Organizations
C.-M. Chen, D.-R. Tsai, and P.-J. Tsai (Taiwan)
Abstract
418-145 Multiply-deployed Residual Testing at the Object Level
L. Naslavsky, M. Dias, and D. Richardson (USA)
Abstract
418-150 An Empirical Investigation of the Important Relationship between Software Review Meetings Process and Outcomes
Y.K. Wong and D. Wilson (Australia)
Abstract
418-152 Experience of Communications Software Evolution and Performance Improvement with Patterns
C.-H. Lung, Q. Zhao, H. Xu, H. Mar, and P. Kanagaratnam (Canada)
Abstract
418-199 Influence of Structural Complexity on Fault Persistence
M. Pighin and A. Marzona (Italy)
Abstract
418-205 A Tool for Regression Testing
B. Wibowo and A.S.M. Sajeev (Australia)
Abstract
418-207 A Use-Case Driven Approach to Component Mining for Legacy Modernization
H.S. Kim and C.H. Kim (Korea)
Abstract
418-219 A Symbolic Java Virtual Machine for Test Case Generation
R.A. Müller, C. Lembeck, and H. Kuchen (Germany)
Abstract
418-222 Simulating Testing Environments with Configuration Options
A. Aris (USA)
Abstract
418-223 Regression Testing via Model Checking
L. Xu, M. Dias, and D. Richardson (USA)
Abstract
418-234 Automatic Control Flow Based Generation of Stubs for Structural Testing
K.-C. Griche and I. Parissis (France)
Abstract
Track Software Methodologies and Protocols FreeSubscription
418-026 Consistent Object-based Software Construction for Embedded Applications
C. Heinisch and J. Goll (Germany)
Abstract
418-058 Process Model for Efficient Implementations of Graphical Specifications in the Field of Embedded Real-Time Software
M. Orehek and P. Harms (Germany)
Abstract
418-084 Tips for Estimating Software Size with FPA Method
A. Živkovič and M. Heričko (Slovenia)
Abstract
418-085 Model Driven Architecture as a Facilitator for Automatic Code Generation
N. Audsley and S.K. Crook-Dawkins (UK)
Abstract
418-088 Sociologically-based Process Modifications to Affect Project Success
D.M. Woit and K.J. Bell (Canada)
Abstract
418-089 The Challenges of Automated Methods for Integrating Systems
D. Libes, D. Flater, E. Wallace, M. Steves, A. Barnard Feeney, and E. Barkmeyer (USA)
Abstract
418-112 A Comparison between the Java and C++ Implementation of RMPP
W. Hendrickx, G. Stuer, J. Broeckhove, T. Dhaene, and D. Dewolfs (Belgium)
Abstract
418-113 A Methodological Approach to Improve the Software Acquisition Process in Automotive Industry
F. Fabbrini, M. Fusani, G. Lami, and E. Sivera (Italy)
Abstract
418-131 Using Narratives to Analyse Systems Failures
J. Donaldson (UK)
Abstract
418-169 A Replication Empirical Study of Training, Experience and Software Review Performance
Y.K. Wong (Australia)
Abstract
418-192 Toward Programming Paradigms for Agent Oriented Software Engineering
S.J. Juneidi (Greece)
Abstract
418-193 Survey and Evaluation of Agent Oriented Software Engineering
S.J. Juneidi and G. Vouros (Greece)
Abstract
418-210 A Feasibility Proof of Semi-Automated Software Integration
M. Kazakov and H. Abdulrab (France)
Abstract
418-220 A Method for Guiding Software Evolution
M. Heisel and C. von Schwichow (Germany)
Abstract
418-227 A Framework for Design and Implementation of Control Software
J. Estrela da Silva (Portugal)
Abstract
Track Software Engineering Applications FreeSubscription
418-050 Visual Interface for Adaptation of Data Sources to Semantic Web
O. Kaykova, O. Khriyenko, M. Kovalainen, and A. Zharko (Finland)
Abstract
418-094 Software Engineering for Small Software Businesses -- A Model for Enquiry
A.C. Jeffery and V.H. Schroeter (New Zealand)
Abstract
418-122 Support for Interoperability of RPC-based Web Services -- A Case Study
J. Bruhn and G. Wirtz (Germany)
Abstract
418-126 E-Learning Infrastructure for Software Engineering Education: Steps in Ontology Modeling for SWEBOK
C. Wille, R.R. Dumke (Germany), A. Abran, and J.M. Desharnais (Canada)
Abstract
418-142 Identifying Reusable Components in Web Applications
G.A. Di Lucca, A.R. Fasolino, P. Tramontana, and U. De Carlini (Italy)
Abstract
418-163 A Model for Developing Web-based Distributed and Parallel Genetic Algorithms
M. Tang (Australia)
Abstract
418-167 Applying ANote to Modeling Multi Agent Systems -- A Case Study in E-Business
K.C.C. Silva, R. Choren, and C.J. Lucena (Brazil)
Abstract
Track Software Tools, Programming Languages, and Embedded Systems FreeSubscription
418-023 Evaluation of Object Metrics in a CASE
I. Bluemke and P. Zając (Poland)
Abstract
418-027 Rapid Prototyping of Data Flow Analysis Algorithms using Set Oriented Language (SOL)
Y. Shigematsu and N. Yokoo (Japan)
Abstract
418-029 Enhancing Java with Support for Simultaneous Independent Extensibility of Collaborating Objects
B. Nørregaard Jørgensen (Denmark)
Abstract
418-051 Mixer, Supporting the Model-View-Controller Design Pattern in Servlets
P. Wijkman, S. Dissanaike, and M. Wijkman (Sweden)
Abstract
418-052 Utilizing Mixer for Content Management in a Network of Embedded Systems
S. Dissanaike, P. Wijkman, and M. Wijkman (Sweden)
Abstract
418-076 Tool Support for Usage-based Reading
T. Thelin, P. Andersson (Sweden), and J. Harrell (USA)
Abstract
418-080 Exploring the Issues of Boundary Definition in the Application of COSMIC-FFP to Embedded Systems
J. Keung, Suryaningsih, and R. Jeffery (Australia)
Abstract
418-083 Studying the Evolution of Software through Entropy Metrics
S.K. Abd-El-Hafiz (Egypt)
Abstract
418-092 Consistency Checking between Use Case Scenarios and UML Sequence Diagrams
K. Bartsch, M. Robey, J. Ivins, and C.P. Lam (Australia)
Abstract
418-104 TAGDUR: A Tool for Producing UML Sequence, Deployment, and Component Diagrams through Reengineering of Legacy Systems
R. Millham, J. Pu, and H. Yang (UK)
Abstract
418-117 Software Composition with a Multipurpose Modeling and Model Transformation Framework
T. Levendovszky, L. Lengyel, and H. Charaf (Hungary)
Abstract
418-129 Tool Support for a Risk Management Process -- An Empirical Study on Effectiveness and Efficiency
S. Biffl, M. Heindl, M. Auer, and M. Halling (Austria)
Abstract
418-147 A Technique for Extracting Grammar from Legacy Programs
S. Biswas and S.K. Aggarwal (India)
Abstract
418-179 The CORBA Component Model Streaming Extension
F. Stoinski (Germany)
Abstract
418-196 Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language
T. Watanabe, K. Yamada, and N. Nagatou (Japan)
Abstract
418-197 Iterative Reengineering and Merging of Acquired Legacy Systems
I. Patel and N. Gangavarapu (Australia)
Abstract
418-200 An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems
S.R. Koo, P.H. Seong, J. Yoo, S.D. Cha, C. Youn, and H.-C. Han (Korea)
Abstract
418-224 Building Flexible, Distributed Collaboration Tools using Type-based Publish/Subscribe -- The Distributed Knight Case
K.M. Hansen and C.H. Damm (Denmark)
Abstract
418-229 Design and Evaluation of Birthmarks for Detecting Theft of Java Programs
H. Tamada, M. Nakamura, A. Monden, and K.-I. Matsumoto (Japan)
Abstract
418-232 A Visual Software Development Environment based on Graph Grammars
T. Goto, T. Kirishima, N. Motousu, K. Tsuchida, and T. Yaku (Japan)
Abstract
Track Special Session: Mobile Computing Systems in Dynamic Environments FreeSubscription
418-806 Adaptive Reconfigurable Distributed Dynamic Systems in the Control-Optimization Framework
E.M. Burmakin, B.A. Krassi, and J.O. Tuominen (Finland)
Abstract
418-807 Security and Reliability Challenges in Component-based Software for Consumer Devices
S. Campadello, R. MacLaverty, and T. Saridakis (Finland)
Abstract
418-808 A Pro-Active Middleware Platform for Mobile Environments
D. Conan, C. Taconet, D. Ayed, L. Chateigner, N. Kouici, and G. Bernard (France)
Abstract
418-809 SOAP and CORBA Productivity Comparison for Resource-Limited Mobile Devices
E.A. Gryazin and O. Seppala (Finland)
Abstract
418-810 Experience from Developing an IT System: A Vertical Cross Section
B.A. Krassi and J.O. Tuominen (Finland)
Abstract
418-811 Mobile, on Demand Access of Service-Annotated 3D Maps
M. Przybilski, S. Campadello, and T. Saridakis (Finland)
Abstract
418-812 An Authorization and Access Control Scheme for Pervasive Computing
L.A. Staffans and T. Saridakis (Finland)
Abstract
418-813 Targeted Messages in Indoor Mobile Environment: A Software-oriented Approach
A. Tsilira, A. Pateli, E. Athanasiadis, and D. Spinellis (Greece)
Abstract
Track Papers from Other IASTED Conferences FreeSubscription
397-063 UML Retrieval and Reuse using XMI
J. Llorens, J.M. Fuentes, and J. Morato (Spain)
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):   $117.60 (Hardcopy) ;  $105.00 (Online) ;  $117.60 (CD)

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

For complete proceedings please choose one of the following:

   

Hard Copy $117.60
Online Edition $105.00
CD Edition $117.60
Individual Articles (Online): $38.00  
ISSN: 1925-7937 ;
ISBN: 0-88986-410-1 ;
ISSN (CD): 1924-200X ;
ISBN (CD): 0-88986-381-4 ;
ISSN (Online): N/A ;

This publication covers the following topics: Software Architecture, Object-Oriented Analysis, Systems, Design, and Data Visualization, Software Analysis, Design, and Development, Software Reliability, Reuse, and Security, Software Maintenance, Testing, and Quality Service, Software Methodologies and Protocols, Software Engineering Applications, Software Tools, Programming Languages, and Embedded Systems, and Mobile Computing Systems In Dynamic Environments.

Loading Information

Go Back