Software Engineering    (SE 2005)

February 15 – 17, 2005
Innsbruck, Austria
Editor(s): Peter Kokol
509 pages
Other Years:

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

Track Software Architecture, Reliability, Re-use, and Security FreeSubscription
455-006 Integration of Security Guidelines and Assessments into Outsourced Software Development
Y. Veryha (Germany)
Abstract
455-040 On Facilitating the Reuse of C++ Graph Libraries
J.-P. Corriveau, B. Tian, and V. Radonjic (Canada)
Abstract
455-042 Incorporating Graph Neurons (GNs) to the Trusted Transient Simple Network (TTSN) Security Control System Architecture
B.B. Nasution, A.I. Khan, and E.A. Kendall (Australia)
Abstract
455-056 An Architecture-based Software Reliability Model with Finite Number of Faults
H. Okamura, K. Tsuruta, and T. Dohi (Japan)
Abstract
455-101 A Case Study Evaluation of 11 Hypothetical Software System Evolution Laws
G. Calås, S. Mankefors-Christiernin, and A. Boklund (Sweden)
Abstract
455-158 Aspect-oriented Dependency Injective Service Gateway for Web Services Aggregation
C. Kaewkasi and P. Kaewkasi (Thailand)
Abstract
Track Object-Oriented Analysis, Systems, Design, and Data Visualization FreeSubscription
455-030 Measuring Ripple Effect for the Object Oriented Paradigm
P. Rosner and S. Black (UK)
Abstract
455-039 The Acceptance of Object-oriented Software Engineering Methods and of the UML in German Enterprises – An Empirical Study
D. Frosch-Wilke and M. Baumann (Germany)
Abstract
455-161 Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers
L. Lengyel, T. Levendovszky, P. Kozma, and H. Charaf (Hungary)
Abstract
455-168 Supporting the Comprehension of Object-oriented Software Systems by Extended M-M Graph
M.L. Bernardi and G.A. Di Lucca (Italy)
Abstract
455-811 Assessing Object-oriented Software Changeability with Design Metrics
H. Kabaili (Morocco), R.K. Keller (Switzerland), and F. Lustman (Canada)
Abstract
Track Software Analysis, Design, and Development FreeSubscription
455-020 A Method for Building Domain Requirement Models
Z. Ma and H. Chen (PRC)
Abstract
455-038 Developing Usable GUI Applications with Early Usability Evaluation
Y. Tao (USA)
Abstract
455-083 You Can't Keep a Cake and Eat It! Dichotomies in Systems Engineering
G. Chroust (Austria)
Abstract
455-105 Benefits of Multi-Layer Design in Software with Multi-User Interfaces – A Three Step Case Study
L. Gustavsson Christiernin and O. Torgersson (Sweden)
Abstract
455-122 A Case Study on Structural Characteristics of Object-oriented Design and Its Stability
M.O. Elish (USA)
Abstract
455-150 A Graduate's Role in Technology Transfer: From Requirements to Design with UML
S. Hallinan and J.P. Gibson (Ireland)
Abstract
455-152 Using Abstract State Machines to Support UML Model Instantiation Checking
W. Shen and W.L. Low (USA)
Abstract
455-156 A Causality-based Semantics for UML Sequence Diagrams
O. Tahir, C. Sibertin-Blanc, and J. Cardoso (France)
Abstract
455-172 Porthole: A Spatial Interface to Provide Scrolling, Zooming-In, and Zooming-Out
M. Ishihara and Y. lshihara (Japan)
Abstract
Track Software Maintenance, Testing, and Quality Service FreeSubscription
455-027 Measuring Software Processes Performance based on the Fuzzy Multi Agent Measurements
M.A. Seyyedi, M. Teshnehlab, and F. Shams (Iran)
Abstract
455-036 Implementing a Document-based Requirements Traceability: A Case Study
S. Ibrahim, N.B. Idris (Malaysia), M. Munro (UK), and A. Deraman (Malaysia)
Abstract
455-047 Using Distance Measurement for Software Functional Cohesion
J. Al Dallal (Kuwait)
Abstract
455-054 A Dynamic Approach for the Identification of Object-oriented Design Patterns
D.M. Shawky, S.K. Abd-El-Hafiz, and A.-L. El-Sedeek (Egypt)
Abstract
455-057 A Coverage Analysis of Java Benchmark Suites
S. Brown, Á. Mitchell, and J.F. Power (Ireland)
Abstract
455-059 Random Testing Automatization – Efficiency Optimization using the Integral Formulation
S. Mankefors-Christiernin and A. Boklund (Sweden)
Abstract
455-063 Increasing Class-Component Testability
S. Kansomkeat (Thailand), J. Offutt (USA), and W. Rivepiboon (Thailand)
Abstract
455-070 Effectiveness of Genetic Algorithms for Potential Error Detection in Software using Random Error Seeding
J.R. Birt and R. Sitte (Australia)
Abstract
455-113 Efficiency Increase in Random Testing using MPI-based Parallelization
S. Mankefors-Christiernin and A. Boklund (Sweden)
Abstract
455-145 Design Pattern Detection from Java Software
T. Feng, W. Li, J. Zhang, and M. Xu (PRC)
Abstract
455-174 Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach
L. Madani, L. Nigay, and I. Parissis (France)
Abstract
455-804 Supporting Impact Analysis in HyperSoft and Other Maintenance Tools
J. Koskinen and A. Salminen (Finland)
Abstract
Track Software Methodologies and Protocols FreeSubscription
455-016 Behavior Assembly and Composition of Use Cases – UML 2.0 Perspective
V. Mencl, F. Plasil, and J. Adamek (Czech Republic)
Abstract
455-034 Framework-based IT Service Engineering
T. Specht, D. Spath, and A. Weisbecker (Germany)
Abstract
455-048 Software Engineering Ontologies and Their Implementation
P. Wongthongtham, E. Chang, T.S. Dillon (Australia), and I. Sommerville (UK)
Abstract
455-049 Towards Automatic Generation of Q Adaptors
M.V. Naganov (Russia)
Abstract
455-089 Gap Analyses between Certified SME's Process and an Agile Approach
P. Ivanov and S. Ilieva (Bulgaria)
Abstract
455-098 Communication Protocol Decomposition and Component-based Protocol Submodule
T. Chen, Q. Gan, W. Hu, and J. Huang (PRC)
Abstract
455-121 Eclectic Software Development Methodology and Successful Software Development
M.-G. Lee, P. Yu, and T.L. Jefferson (USA)
Abstract
455-147 Three Methods Showing the Similarity between ISO 9001 and CMMI
Y.-L. Won, H.-A. Ku, D.-R. Tsai, and P.-J. Tsai (Taiwan)
Abstract
Track Web-based Software Engineering FreeSubscription
455-035 Model-Driven Development Approach to Web Applications
T. Matsutsuka (Japan)
Abstract
455-055 eFox – Filesharing with Web Services
J. Bruhn, S. Luckner, M. Müller, D. Räder, C. Squarr, M. Wewers, and G. Wirtz (Germany)
Abstract
455-075 Synthesis System for Multiple Languages Web Site by XML
M. Yamamoto (Japan)
Abstract
455-079 Modeling Collaboration Processes
G. Bruno (Italy)
Abstract
455-091 Definition and Detection of Semantic Warnings for VoiceXML
P. Leelaprute, T. Kikuno, M. Nakamura, and K. Matsumoto (Japan)
Abstract
455-112 A Composite Design Pattern for Stubless Web Service Invocation
P.A. Buhler, C.W. Starr (USA), and G. Weichhart (Austria)
Abstract
455-163 Building a Multi-level Database for Efficient Information Retrieval: A Framework Definition
S.C. Denaxas and C. Tjortjis (UK)
Abstract
Track Software Tools, Programming Languages, and Embedded Systems FreeSubscription
455-051 From Specifications to Code Compliance Checkers
Y. Prasanth and S.K. Aggarwal (India)
Abstract
455-072 Compile-Time Energy Reduction Techniques based on Voltage Scaling Characteristic
T. Lei, X. Li, X. Hu, and X.-H. Zhou (PRC)
Abstract
455-077 Fusing Folds and Data Structures into Zoetic Data
P.A. Bailes and C.J.M. Kemp (Australia)
Abstract
455-078 Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers
Y. Kita, T. Kawasoe, and T. Katayama (Japan)
Abstract
455-087 FACT: A Tool for Code Generation from Communicating Automata
C. Bernardeschi, G. Dini, and A. Domenici (Italy)
Abstract
455-088 Mobile Agent System Specification using the Temporal Logic of Actions
T. Kapus (Slovenia)
Abstract
455-104 Constraints in C# using the OCL 2.0
D. Arnold, T. McClean, J.-P. Corriveau, and V. Radonjic (Canada)
Abstract
455-106 fiParse – A Generic Parser for FIPA-Compliant Agent Communication
M.B. Söllner, S. Kaffille, and G. Wirtz (Germany)
Abstract
455-109 Design and Implementation of a Performance Plug-In for the ArgoUML Tool
S. Distefano, D. Paci, A. Puliafito, and M. Scarpa (Italy)
Abstract
455-115 Measuring Cohesion in Aspect-oriented Systems
J.-F. Gélinas, L. Badri, and M. Badri (Canada)
Abstract
455-119 Making Patterns Better Design Tools: Requirements Analysis for a Family of Navigators for Design Pattern Catalogs
V.D. Radonjic and J.-P. Corriveau (Canada)
Abstract
455-159 A Flexible Attribute Instantiation Technique for Visual Languages
G. Mezei, T. Levendovszky, L. Lengyel, and H. Charaf (Hungary)
Abstract
455-171 An Aspect-oriented Approach to Modular Behavioral Specification of Java Components
K. Yamada and T. Watanabe (Japan)
Abstract
Track Software Verification, Validation, and Evaluation FreeSubscription
455-025 Design of XMI-based Tools for Building EQN Models of Software Systems
A. D'Ambrogio and G. Iazeolla (Italy)
Abstract
455-060 ICMM – Inspection Capability Maturity Model
S. Kollanus (Finland)
Abstract
455-064 Checking for Consistency between Different UML Models
P. Green and K. Tasie-Amadi (UK)
Abstract
455-134 Graph Theoretic Model for Concurrent Objects
S.R. Iyengar (USA)
Abstract
455-140 Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study
A. Furfaro and L. Nigro (Italy)
Abstract
455-143 The Quality Matrix: A Management Tool for Software Quality Evaluation
P. Salvaneschi (Italy)
Abstract
455-144 Staffing for Software Inspections – An Empirical Study
Y. Wang and G. Ruhe (Canada)
Abstract
455-148 A Logical Approach for Testing Requirements
K. Mu, Z. Jin, and R. Lu (PRC)
Abstract
Track Special Session - Mobile Computing Systems in Dynamic Environments FreeSubscription
455-800 Deployment of Component-based Applications on Top of a Context-aware Middleware
D. Ayed, N. Belhanafi, C. Taconet, and G. Bernard (France)
Abstract
455-801 Ampros Scenario: Crisis Management in Mobile Environments
S. Ben Atallah and G. Bernard (France)
Abstract
455-802 Advanced Mobile Streaming: Multimedia Streaming of Interactive Content Across Mobile Networks
Ch. Desiniotis, K. Lambropoulou, I. Talvitie, C. Vassiliou, P. Vlachos, and A. Vrechopoulos (Greece)
Abstract
455-803 A Generic Reconciliation Service for Divergence Management in Mobile Environments
L. Chateigner, S. Chabridon, and G. Bernard (France)
Abstract
455-806 AMPROS: Distributed Reconfiguration Algorithm
E.M. Burmakin, B.A. Krassi, and J.O. Tuominen (Finland)
Abstract
455-807 Fault Tolerance in Adaptive Middleware Platform for Proactive Reconfigurable Systems
H.L.E. Pohan, B.A. Krassi, E.M. Burmakin, and J.O. Tuominen (Finland)
Abstract
455-808 A Framework for Context Reasoning Systems
M. Przybilski, P. Nurmi, and P. Floréen (Finland)
Abstract
455-809 Technical Challenges in Mobile Real-Time 3D City Maps with Dynamic Content
A. Nurminen and V. Helin (Finland)
Abstract
455-810 Context in the Dynamic Reconfigurable Systems
E.M. Burmakin, B.A. Krassi, J.O. Tuominen (Finland)
Abstract
Track Project Management and Software Application FreeSubscription
455-029 A Knowledge-based Framework for Software Development Outsourcing Decision
M. Wu and H. Leung (PRC)
Abstract
455-053 Using Use Case Models to Generate Object Points
A. Issa, M. Odeh, and D. Coward (UK)
Abstract
455-065 A Learning Model for Software Development Processes
G. Abu and J.W. Cangussu (USA)
Abstract
455-067 Separation of Concerns in Mission Critical Software Systems – An Industrial Applicable Approach
S. Top, B.N. Jørgensen, and H.J. Nørgaard (Denmark)
Abstract
455-118 SOAP Communication with Tiny Sensors and Controllers
J. Janeček (Czech Republic)
Abstract
455-141 Systems Failures – Analysing Stakeholder Influence through Case Histories
J. Donaldson (UK)
Abstract
455-805 A Declarative Framework to Create Differentiated Service Levels for Component based Middleware
U. Bellur, P. Rajoria, and R. Baswan (India)
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):   $162.00 (Hardcopy) ;  $147.00 (Online) ;  $162.00 (CD)

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

For complete proceedings please choose one of the following:

   

Hard Copy $162.00
Online Edition $147.00
CD Edition $162.00
Individual Articles (Online): $40.00  
ISSN: 1925-7937 ;
ISBN: 0-88986-464-0 ;
ISSN (CD): 1924-200X ;
ISBN (CD): 0-88986-466-7 ;
ISSN (Online): N/A ;

This publication covers the following topics: Software Architecture, Reliability, Re-use, Security, Object-Oriented Analysis, Systems, Design and Data Visualization, Software Analysis, Design and Development, Software Maintenance, Testing and Quality Service, Software Methodologies and Protocols, Web-based Software Engineering, Software Tools, Programming Languages and Embedded Systems, Software Verification, Validation, and Evaluation, Special Session- Mobile Computing Systems in Dynamic Environments, Project Management and Software Application.

Loading Information

Go Back