Abrahão, Silvia
Advances in Software Engineering
1. A Systematic Literature Review of Software Process Improvement in Small and Medium Web Companies
Muhammad Sulayman, Emilia Mendes
2. An XCP Based Distributed Calibration System
Yang He, Xiaomin Sun
3. Structural and Behavioral Detection of Design Patterns
Nadia Bouassida, Hanene Ben-Abdallah
4. Test Case Minimization and Prioritization Using CMIMX Technique
Praveen Ranjan Srivastava, Mahesh Ray, Julian Dermoudy, Byeong-Ho Kang, Tai-hoon Kim
5. Embedded Control Software Design with Aspect Patterns
Takahiro Soeda, Yuta Yanagidate, Takanori Yokoyama
6. Towards a Consistent Semantics for Unsafe Time Petri Nets
Abdelkrim Abdelli
7. A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval
Chengpu Li, Xiaodong Liu, Jessie Kennedy
8. 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
9. Requirements Engineering Problems and Practices in Software Companies: An Industrial Survey
Badariah Solemon, Shamsul Sahibuddin, Abdul Azim Abd Ghani
10. A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
Youcef Hammal
11. A Process Model for Forensic Analysis of Symbian Smart Phones
Xian Yu, Lie-Hui Jiang, Hui Shu, Qing Yin, Tie-Ming Liu
12. Reliability Analysis Method for Supporting Traceability Using UML
Joonhoon Lee, Beoungil Cho, Hyunsang Youn, Eunseok Lee
13. Applying Agility Framework in Small and Medium Enterprises
Suphak Suwanya, Werasak Kurutach
14. 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
15. Architectural Decay during Continuous Software Evolution and Impact of ‘Design for Change’ on Software Architecture
Mehwish Riaz, Muhammad Sulayman, Husnain Naqvi
16. Software Fault Localization Using Elastic Net: A New Statistical Approach
Saeed Parsa, Mojtaba Vahidi-Asl, Somaye Arabi, Behrouz Minaei-Bidgoli
17. Applying Formal Methods to Process Innovation
Antonella Santone, Maria Tortorella
18. Abstracting Models from Execution Traces for Performing Formal Verification
Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani
19. A Hybrid Model in Dynamic Software Updating for C
Mehdi Jalili, Saeed Parsa, Habib Seifzadeh
20. A Function Point Logic File Identification Technique Using UML Analysis Class Diagrams
José Antonio Pow-Sang, Loretta Gasco, Arturo Nakasone
21. Reliable Mobile Application Modeling Based on Open API
Sera Jang, Eunseok Lee
22. An Improved Steganography Covert Channel
Md Amiruzzaman, Hassan Peyravi, M. Abdullah-Al-Wadud, Yoojin Chung
23. Software Test Data Generation Based on Multi-agent
Siwen Yu, Jun Ai, Yifu Zhang
24. Knowledge Creation and Creativity in Agile Teams
Broderick Crawford, Claudio León de la Barra
25. TEST: Testing Environment for Embedded Systems Based on TTCN-3 in SILS
Hochang Chae, Xiulin Jin, Seonghun Lee, Jeonghun Cho
26. A Framework for Measuring the Alignment between Business Processes and Software Systems
Lerina Aversano, Carmine Grasso, Maria Tortorella
27. Service Composition System in Consideration of the Characteristics of Services
Jai-Kyung Lee, Seong-Whan Park, Moohyun Cha, Seung Hak Kuk, Hyeon Soo Kim
28. Business Viability Assessment of Potential Software Projects: An Empirical Study with the CASSE Framework
Joseph Kibombo Balikuddembe, Antoine Bagula
29. Aligning the Software Project Selection Process with the Business Strategy: A Pilot Study
Joseph Kibombo Balikuddembe, Antoine Bagula
30. RE4Gaia: A Requirements Modeling Approach for the Development of Multi-Agent Systems
David Blanes, Emilio Insfran, Silvia Abrahão
31. Execution Traces: A New Domain That Requires the Creation of a Standard Metamodel
Luay Alawneh, Abdelwahab Hamou-Lhadj
32. Software Performability Measurement Based on Availability Model with User-Perceived Performance Degradation
Koichi Tokuno, Shigeru Yamada
33. An Experimental Evaluation of Error Rate in a Web Server System
Xiao Xiao, Tadashi Dohi
34. A New Criterion for the Optimal Software Release Problems: Moving Average Quality Control Chart with Bootstrap Sampling
Mitsuhiro Kimura, Takaji Fujiwara
35. An EM Algorithm for Record Value Statistics Models in Software Reliability Estimation
Hiroyuki Okamura, Tadashi Dohi
36. Yet Another Metric for Predicting Fault-Prone Modules
Osamu Mizuno, Hideaki Hata
37. Quantifying the Influences of Imperfect Debugging on Software Development Using Simulation Approach
Chu-Ti Lin, Chin-Yu Huang
38. Service Reliability and Availability Analysis of Distributed Software Systems Considering Malware Attack
Cheng-Jie Xiong, Yan-Fu Li, Min Xie, Szu-Hui Ng, Thong-Ngee Goh
39. A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing
Carol Smidts, Ying Shi
40. A Refined Non-parametric Algorithm for Sequential Software Reliability Estimation
Shintaro Mizoguchi, Tadashi Dohi
41. A Tool-Supported Process for Reliable Classification of Web Pages
Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana
Keywords: Computer Science, Software Engineering, Software Engineering/Programming and Operating Systems, Programming Techniques, System Performance and Evaluation, Performance and Reliability, Programming Languages, Compilers, Interpreters
- Author(s)
- Abrahão, Silvia
- Jiang, Tao
- Kim, Tai-hoon
- Kiumi, Akingbehin
- Verner, June
- Ślęzak, Dominik
- Publisher
- Springer
- Publication year
- 2009
- Language
- en
- Edition
- 1
- Series
- Communications in Computer and Information Science
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642106194