Advances in Software Engineering

1. Front Matter

   PDF

2. A Systematic Literature Review of Software Process Improvement in Small and Medium Web Companies

   • Muhammad Sulayman, Emilia Mendes

   Pages 1-8

3. An XCP Based Distributed Calibration System

   • Yang He, Xiaomin Sun

   Pages 9-15

4. Structural and Behavioral Detection of Design Patterns

   • Nadia Bouassida, Hanene Ben-Abdallah

   Pages 16-24

5. Test Case Minimization and Prioritization Using CMIMX Technique

   • Praveen Ranjan Srivastava, Mahesh Ray, Julian Dermoudy, Byeong-Ho Kang, Tai-hoon Kim

   Pages 25-33

6. Embedded Control Software Design with Aspect Patterns

   • Takahiro Soeda, Yuta Yanagidate, Takanori Yokoyama

   Pages 34-41

7. Towards a Consistent Semantics for Unsafe Time Petri Nets

   • Abdelkrim Abdelli

   Pages 42-49

8. A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval

   • Chengpu Li, Xiaodong Liu, Jessie Kennedy

   Pages 50-60

9. A Conflict-Based Model for Problem-Oriented Software Engineering and Its Applications Solved by Dimension Change and Use of Intermediary

   • Jung Suk Hyun, Chan Jung Park

   Pages 61-69

10. Requirements Engineering Problems and Practices in Software Companies: An Industrial Survey

    • Badariah Solemon, Shamsul Sahibuddin, Abdul Azim Abd Ghani

    Pages 70-77

11. A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams

    • Youcef Hammal

    Pages 78-85

12. A Process Model for Forensic Analysis of Symbian Smart Phones

    • Xian Yu, Lie-Hui Jiang, Hui Shu, Qing Yin, Tie-Ming Liu

    Pages 86-93

13. Reliability Analysis Method for Supporting Traceability Using UML

    • Joonhoon Lee, Beoungil Cho, Hyunsang Youn, Eunseok Lee

    Pages 94-101

14. Applying Agility Framework in Small and Medium Enterprises

    • Suphak Suwanya, Werasak Kurutach

    Pages 102-110

15. Using Area-Team to Evaluate the Software Architecture for an Online Banking System: A Case Study

    • Muhammad Sulayman, Mehwish Riaz, Husnain Naqvi, Muhammad Amir Aman

    Pages 111-118

16. Architectural Decay during Continuous Software Evolution and Impact of ‘Design for Change’ on Software Architecture

    • Mehwish Riaz, Muhammad Sulayman, Husnain Naqvi

    Pages 119-126

17. Software Fault Localization Using Elastic Net: A New Statistical Approach

    • Saeed Parsa, Mojtaba Vahidi-Asl, Somaye Arabi, Behrouz Minaei-Bidgoli

    Pages 127-134

18. Applying Formal Methods to Process Innovation

    • Antonella Santone, Maria Tortorella

    Pages 135-142

19. Abstracting Models from Execution Traces for Performing Formal Verification

    • Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani

    Pages 143-150

20. A Hybrid Model in Dynamic Software Updating for C

    • Mehdi Jalili, Saeed Parsa, Habib Seifzadeh

    Pages 151-159

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle can be discovered, which has the propensity to propagate throughout mul- faceted disciplines. FGIT 2009 was the first mega-conference that attempted to follow the above idea of hybridization in FGIT in a form of multiple events related to particular disciplines of IT, conducted by separate scientific committees, but coordinated in order to expose the most important contributions. It included the following international conferences: Advanced Software Engineering and Its Applications (ASEA), Bio-Science and Bio- Technology (BSBT), Control and Automation (CA), Database Theory and Appli- tion (DTA), Disaster Recovery and Business Continuity (DRBC; published indepe- ently), Future Generation Communication and Networking (FGCN) that was c- bined with Advanced Communication and Networking (ACN), Grid and Distributed Computing (GDC), Multimedia, Computer Graphics and Broadcasting (MulGraB), Security Technology (SecTech), Signal Processing, Image Processing and Pattern Recognition (SIP), and u- and e-Service, Science and Technology (UNESST).

• Debugging
• Requirements Engineering
• Simulation
• agile programming
• design
• distributed systems
• modeling
• quality control
• service availability
• service reliability
• software architecture
• software metrics
• testing
• verification
• web services

• Infobright Inc.,  

  Dominik Ślęzak

• Hannam University, Daejeon, South Korea

  Tai-hoon Kim

• University of Michigan-Dearborn, Dearborn, USA

  Akingbehin Kiumi

• University of California, Riverside, USA

  Tao Jiang

• National ICT, Australia

  June Verner

• Department of Information Systems and Computation, Valencia University of Technology, Valencia, Spain

  Silvia Abrahão

Policies and ethics