IASTED Conf. on Software Engineering 2005: Innsbruck, Austria

Peter Kokol (Ed.): IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. IASTED/ACTA Press 2005, ISBN 0-88986-466-7

Software Architecture, Reliability, Re-use, and Security

Yauheni Veryha: Integration of Security Guidelines and Assessments into Outsourced Software Development. 1-6
Jean-Pierre Corriveau, Bo Tian, Vojislav D. Radonjic: On Facilitating the Reuse of C++ Graph Libraries. 7-12
Benny B. Nasution, Asad I. Khan, Elizabeth A. Kendall: Incorporating Graph Neurons (GNs) to the Trusted Transient Simple Network (TTSN) Security Control System Architecture. 13-19
Hiroyuki Okamura, Kei Tsuruta, Tadashi Dohi: An Architecture-based Software Reliability Model with Finite Number of Faults. 20-25
Göran Calås, Stefan Mankefors-Christiernin, Andreas Boklund: A Case Study Evaluation of 11 Hypothetical Software System Evolution Laws. 26-31
Chanwit Kaewkasi, Pitchaya Kaewkasi: Aspect-oriented Dependency Injective Service Gateway for Web Services Aggregation. 32-36

Object-Oriented Analysis, Systems, Design, and Data Visualization

Peter Rosner, Sue Black: Measuring Ripple Effect for the Object Oriented Paradigm. 37-42
Dirk Frosch-Wilke, Markus Baumann: The Acceptance of Object-oriented Software Engineering Methods and of the UML in German Enterprises - An Empirical Study. 43-47
László Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf: Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. 48-49
Mario Luca Bernardi, Giuseppe A. Di Lucca: Supporting the Comprehension of Object-oriented Software Systems by Extended M-M Graph. 55-60
Hind Kabaili, Rudolf K. Keller, François Lustman: Assessing Object-oriented Software Changeability with Design Metrics. 61-66

Software Analysis, Design, and Development

Zhiyi Ma, Hongjie Chen: A Method for Building Domain Requirement Models. 67-72
Yonglei Tao: Developing Usable GUI Applications with Early Usability Evaluation. 73-76
Gerhard Chroust: You Can't Keep a Cake and Eat It! Dichotomies in Systems Engineering. 77-82
Linn Gustavsson Christiernin, Olof Torgersson: Benefits of Multi-Layer Design in Software with Multi-User Interfaces - A Three Step Case Study. 83-88
Mahmoud O. Elish: A Case Study on Structural Characteristics of Object-oriented Design and Its Stability. 89-93
Stephen Hallinan, J. Paul Gibson: A Graduate's Role in Technology Transfer: From Requirements to Design with UML. 94-99
Wuwei Shen, Weng Liong Low: Using Abstract State Machines to Support UML Model Instantiation Checking. 100-105
Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso: A Causality-based Semantics for UML Sequence Diagrams. 106-111
Makio Ishihara, Yukio Ishihara: Porthole: A Spatial Interface to Provide Scrolling, Zooming-In, and Zooming-Out. 112-117

Software Maintenance, Testing, and Quality Service

Mir Ali Seyyedi, Mohammad Teshnehlab, Fereidoon Shams: Measuring Software Processes Performance based on the Fuzzy Multi Agent Measurements. 118-123
Suhaimi Ibrahim, Norbik Bashah Idris, Malcolm Munro, Aziz Deraman: Implementing a Document-based Requirements Traceability: A Case Study. 124-131
Jehad Al-Dallal: Using Distance Measurement for Software Functional Cohesion. 132-137
Doaa M. Shawky, Salwa K. Abd-El-Hafiz, Abdel-Latif El-Sedeek: A Dynamic Approach for the Identification of Object-oriented Design Patterns. 138-143
Stephen Brown, Áine Mitchell, James F. Power: A Coverage Analysis of Java Benchmark Suites. 144-149
Stefan Mankefors-Christiernin, Andreas Boklund: Random Testing Automatization - Efficiency Optimization using the Integral Formulation. 150-155
Supaporn Kansomkeat, Jeff Offutt, Wanchai Rivepiboon: Increasing Class-Component Testability. 156-161
James R. Birt, Renate Sitte: Effectiveness of Genetic Algorithms for Potential Error Detection in Software using Random Error Seeding. 162-167
Stefan Mankefors-Christiernin, Andreas Boklund: Efficiency Increase in Random Testing using MPI-based Parallelization. 168-173
Tie Feng, Wenjin Li, Jiachen Zhang, Ming Xu: Design Pattern Detection from Java Software. 174-180
Laya Madani, Laurence Nigay, Ioannis Parissis: Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach. 181-186
Jussi Koskinen, Airi Salminen: Supporting Impact Analysis in HyperSoft and Other Maintenance Tools. 187-192

Software Methodologies and Protocols

Vladimir Mencl, Frantisek Plasil, Jirí Adámek: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. 193-201
Thomas Specht, Dieter Spath, Anette Weisbecker: Framework-based IT Service Engineering. 202-207
Pornpit Wongthongtham, Elizabeth Chang, Tharam S. Dillon, Ian Sommerville: Software Engineering Ontologies and Their Implementation. 208-213
Mikhail V. Naganov: Towards Automatic Generation of Q Adaptors. 214-219
Penko Ivanov, Sylvia Ilieva: Gap Analyses between Certified SME's Process and an Agile Approach. 220-225
Tianzhou Chen, Quan Gan, Wei Hu, Jiangwei Huang: Communication Protocol Decomposition and Component-based Protocol Submodule. 226-230
M.-G. Lee, P. Yu, T. L. Jefferson: Eclectic Software Development Methodology and Successful Software Development. 231-236
Yu-Ling Won, Hai-An Ku, Dwen-Ren Tsai, Pi-Ju Tsai: Three Methods Showing the Similarity between ISO 9001 and CMMI. 237-242

Web-based Software Engineering

Takahide Matsutsuka: Model-Driven Development Approach to Web Applications. 243-248
Jens Bruhn, Stefan Luckner, Markus Müller, Dominik Räder, Christof Squarr, Marc Wewers, Guido Wirtz: eFox - Filesharing with Web Services. 249-254
Masahiro Yamamoto: Synthesis System for Multiple Languages Web Site by XML. 255-260
Giorgio Bruno: Modeling Collaboration Processes. 261-266
Pattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Definition and Detection of Semantic Warnings for VoiceXML. 267-275
Paul A. Buhler, Christopher W. Starr, Georg Weichhart: A Composite Design Pattern for Stubless Web Service Invocation. 276-281
Spiridon C. Denaxas, Christos Tjortjis: Building a Multi-level Database for Efficient Information Retrieval: A Framework Definition. 282-286

Software Tools, Programming Languages, and Embedded Systems

Y. Prasanth, Sanjeev K. Aggarwal: From Specifications to Code Compliance Checkers. 287-292
Ting Lei, Xi Li, Xiao Hu, Xuehai Zhou: Compile-Time Energy Reduction Techniques based on Voltage Scaling Characteristic. 293-298
Paul A. Bailes, Colin J. M. Kemp: Fusing Folds and Data Structures into Zoetic Data. 299-306
Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama: Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers. 307-312
Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici: FACT: A Tool for Code Generation from Communicating Automata. 313-318
Tatjana Kapus: Mobile Agent System Specification using the Temporal Logic of Actions. 319-324
Dave Arnold, Toby McClean, Jean-Pierre Corriveau, Vojislav D. Radonjic: Constraints in C# using the OCL 2.0. 325-330
Markus B. Söllner, Sven Kaffille, Guido Wirtz: fiParse - A Generic Parser for FIPA-Compliant Agent Communication. 331-336
Salvatore Distefano, Daniele Paci, Antonio Puliafito, Marco Scarpa: Design and Implementation of a Performance Plug-In for the ArgoUML Tool. 337-342
Jean-François Gélinas, Linda Badri, Mourad Badri: Measuring Cohesion in Aspect-oriented Systems. 343-348
Vojislav D. Radonjic, Jean-Pierre Corriveau: Making Patterns Better Design Tools: Requirements Analysis for a Family of Navigators for Design Pattern Catalogs. 349-354
Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf: A Flexible Attribute Instantiation Technique for Visual Languages. 355-359
Kiyoshi Yamada, Takuo Watanabe: An Aspect-oriented Approach to Modular Behavioral Specification of Java Components. 360-365

Software Verification, Validation, and Evaluation

Andrea D'Ambrogio, Giuseppe Iazeolla: Design of XMI-based Tools for Building EQN Models of Software Systems. 366-371
Sami Kollanus: ICMM - Inspection Capability Maturity Model. 372-377
Peter Green, Kinika Tasie-Amadi: Checking for Consistency between Different UML Models. 378-383
Sudharsan R. Iyengar: Graph Theoretic Model for Concurrent Objects. 384-387
Angelo Furfaro, Libero Nigro: Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. 388-393
Paolo Salvaneschi: The Quality Matrix: A Management Tool for Software Quality Evaluation. 394-399
Yuhang Wang, Günther Ruhe: Staffing for Software Inspections - An Empirical Study. 400-407
Kedian Mu, Zhi Jin, Ruqian Lu: A Logical Approach for Testing Requirements. 408-413

Special Session - Mobile Computing Systems in Dynamic Environments

Dhouha Ayed, Nabiha Belhanafi, Chantal Taconet, Guy Bernard: Deployment of Component-based Applications on Top of a Context-aware Middleware. 414-419
S. Ben Atallah, G. Bernard: Ampros Scenario: Crisis Management in Mobile Environments. 420-425
Ch. Desiniotis, K. Lambropoulou, I. Talvitie, C. Vassiliou, Pavlos A. Vlachos, Adam P. Vrechopoulos: Advanced Mobile Streaming: Multimedia Streaming of Interactive Content Across Mobile Networks. 426-431
Lydialle Chateigner, Sophie Chabridon, Guy Bernard: A Generic Reconciliation Service for Divergence Management in Mobile Environments. 432-437
Eugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen: AMPROS: Distributed Reconfiguration Algorithm. 438-441
Henry L. E. Pohan, Boris A. Krassi, Eugene M. Burmakin, Juha O. Tuominen: Fault Tolerance in Adaptive Middleware Platform for Proactive Reconfigurable Systems. 442-447
Michael Przybilski, Petteri Nurmi, Patrik Floréen: A Framework for Context Reasoning Systems. 448-452
Antti Nurminen, Ville Helin: Technical Challenges in Mobile Real-Time 3D City Maps with Dynamic Content. 453-458
Eugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen: Context in the Dynamic Reconfigurable Systems. 459-461

Project Management and Software Application

Minghui Wu, Hareton Leung: A Knowledge-based Framework for Software Development Outsourcing Decision. 462-467
Ayman Issa, Mohammed Odeh, P. David Coward: Using Use Case Models to Generate Object Points. 468-473
Ghaffari Abu, João W. Cangussu: A Learning Model for Software Development Processes. 474-479
John Donaldson: Systems Failures - Analysing Stakeholder Influence through Case Histories. 480-485
Søren Top, Bo Nørregaard Jørgensen, Hans Jørgen Nørgaard: Separation of Concerns in Mission Critical Software Systems - An Industrial Applicable Approach. 486-493
Jan Janecek: SOAP Communication with Tiny Sensors and Controllers. 494-499
Umesh Bellur, Prashant Rajoria, Rohit Baswan: A Declarative Framework to Create Differentiated Service Levels for Component based Middleware. 500-505

Last update Sat May 25 18:02:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page