ICSEA 2009: Porto, Portugal

Expert Panel

• Mira Kajko-Mattsson, Ademar Aguiar, Kenneth Boness, Hermann Kaindl, Rob Pooley, Andreas Tael:
  Long-Term Perspective of Agile Methods. 1-2
  

Advances in Fundamentals for Software Development I

• Janne Merilinna, Tomi Räty:
  Bridging the Gap between the Quality Requirements and Implementation. 3-8
  
• Felipe Silva Ferraz, Rodrigo Elia Assad, Silvio Romero de Lemos Meira:
  Relating Security Requirements and Design Patterns: Reducing Security Requirements Implementation Impacts with Design Patterns. 9-14
  
• Susanna Teppola, Päivi Parviainen, Juha Takalo:
  Challenges in Deployment of Model Driven Development. 15-20
  
• João de Sousa Saraiva, Alberto Rodrigues da Silva:
  CMS-Based Web-Application Development Using Model-Driven Languages. 21-26
  

Advances in Fundamentals for Software Development II

• Dieter Van Nuffel, Herwig Mannaert, Carlos De Backer, Jan Verelst:
  Deriving Normalized Systems Elements from Business Process Models. 27-32
  
• Georges Edouard Kouamou:
  Building a Service-Oriented ERP from an Open Source Software. 33-38
  
• Maria Teresa Llano, Rob Pooley:
  UML Specification and Correction of Object-Oriented Anti-patterns. 39-44
  
• Hermann Kaindl, Patrick Wagner:
  A Unification of the Essence of Goal-Oriented Requirements Engineering. 45-50
  

Advances in Fundamentals for Software Development III

• Sharon McGee, Des Greer:
  A Software Requirements Change Source Taxonomy. 51-58
  
• Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos:
  Handling Non-functional Requirements in Information System Architecture Design. 59-64
  
• Colin Atkinson, Philipp Bostan, Frederic Fink:
  Reuse-Oriented Deployment of Software Components: Congregation in Service-Oriented Development. 65-72
  
• Thomas Müller, Alois Knoll:
  Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment. 73-77
  

Advances in Fundamentals for Software Development IV

• Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre:
  Symbolic Execution Techniques Extended to Systems. 78-85
  
• Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
  Integrating Formal Methods with Model-Driven Engineering. 86-92
  
• Felipe Santana Furtado Soares, Gibeon Soares de Aquino Junior, Silvio Romero de Lemos Meira:
  Incentive Systems in Software Organizations. 93-99
  
• Sukhamay Kundu:
  Requirements Engineering by Connecting Requirements Directly to Data and Operations during Modeling. 100-107
  

Advances in Software Testing I

• Xiaomei Tai:
  MFQ & PPDCS - Test Analysis and Test Design for Large Embedded Software Systems. 108-117
  
• Teemu Kanstrén:
  Program Comprehension for User-Assisted Test Oracle Generation. 118-127
  
• Muhammad Rabee Shaheen, Lydie du Bousquet:
  Analysis of the Introduction of Testability Antipatterns during the Development Process. 128-133
  
• Rajendra Sisodia, Vijaykumar Channakeshava:
  Combinatorial Approach for Automated Platform Diversity Testing. 134-139
  

Advances in Software Testing II

• Seyed Reza Shahamiri, Wan Mohd Nasir Wan-Kadir, Siti Zaiton Mohd Hashim:
  A Comparative Study on Automated Software Test Oracle Methods. 140-145
  
• Andrea Goncalves Cabeca, Mario Jino, Plinio S. Leitao-Junior:
  Mutation Analysis for SQL Database Applications. 146-151
  
• Kamran Ghani, John A. Clark:
  Automatic Test Data Generation for Multiple Condition and MCDC Coverage. 152-157
  
• Huichoun Moon, Gwanghun Kim, Yeongyun Kim, Seokkyoo Shin, Kyoung Kim, Sanggui Im:
  Automation Test Method for Automotive Embedded Software Based on AUTOSAR. 158-162
  

Specialized Software Advanced Applications I

• Maria Grazia Fugini, Piercarlo Maggiolini, Claudia Raibulet, Luigi Ubezio:
  Risk Management through Real-Time Wearable Services. 163-168
  
• Kilian von Neumann-Cosel, Erwin Roth, Daniel Lehmann, Johannes Speth, Alois Knoll:
  Testing of Image Processing Algorithms on Synthetic Data. 169-172
  
• Landry Engelbert Tongo, Georges Edouard Kouamou:
  Building a Canonical Language for Distributed System Repository. 173-178
  
• Raquel Lacuesta Gilaberte, Lourdes Peñalver Herrero, Luis Fernández Sanz, Jaime Lloret, Miguel Garcia:
  Software Requirements for Ubiquitous Ad Hoc Mobile Networks: An Example of a Bluetooth Application. 179-184
  

Open Source Software & Agile Software Techniques

• Pekka Aho, Janne Merilinna, Eila Ovaska:
  Model-Driven Open Source Software Development - The Open Models Approach. 185-190
  
• Dominik Ertl, Harald Krapfenbauer:
  A Case Study of Developing an IDE for Embedded Software Using Open Source. 191-196
  
• Alicja Ciemniewska, Pawel Kedziora, Bartosz Lewandowski, Cezary Mazurek:
  Semantic Interoperability Problem of OSS Forges. 197-202
  
• Kenneth Boness, Rachel Harrison:
  Goal Sketching and the Business Case. 203-209
  

Software Deployment and Maintenance

• Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
  Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. 210-215
  
• Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
  Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. 216-221
  
• Noriaki Izumi, Osamu Takaki, Kôiti Hasida:
  Service System Development Based on Web Process Ontology. 222-228
  
• Miguel Garcia, Sandra Sendra, Jordi Girones, Jaime Lloret:
  An Anonymous Social Network Site to Share Pictures. 229-234
  

Software Engineering Techniques, Metrics, and Formalisms I

• Kai Spichale, Oleksandr Panchenko, Anja Bog, Alexander Zeier:
  Preserving Cohesive Structures for Tool-Based Modularity Reengineering. 235-240
  
• Gibeon Soares de Aquino Junior, Silvio Romero de Lemos Meira:
  Towards Effective Productivity Measurement in Software Projects. 241-249
  
• Óscar R. Ribeiro, João M. Fernandes:
  Validation of Scenario-Based Business Requirements with Coloured Petri Nets. 250-255
  
• Sérgio F. Lopes, Francisco Afonso, Adriano Tavares, João L. Monteiro:
  Framework Characteristics - A Starting Point for Addressing Reuse Difficulties. 256-264
  

Software Engineering Techniques, Metrics, and Formalisms II

• Suzila Sabil, Dayang N. A. Jawawi:
  Integration of PECOS into MARMOT for Embedded Real Time Software Component-Based Development. 265-270
  
• Michael Gebhart, Sebastian Abeck:
  Rule-Based Service Modeling. 271-276
  
• Md. Forhad Rabbi, Shailendra Natraj, Olorisade Babatunde Kazeem:
  Evaluation of Convertibility Issues between IFPUG and COSMIC Function Points. 277-281
  
• Asma Sellami, Hanêne Ben-Abdallah:
  Functional Size of Use Case Diagrams: A Fine-Grain Measurement. 282-288
  

Software Engineering Techniques, Metrics, and Formalisms III & Software Performance

• Natalja Nikitina, Mira Kajko-Mattsson:
  Historical Perspective of Two Process Transitions. 289-298
  
• Mohamad Kassab, Olga Ormandjieva, Maya Daneva:
  An Ontology Based Approach to Non-functional Requirements Conceptualization. 299-308
  
• Laura Masciadri, Claudia Raibulet:
  Frameworks for the Development of Adaptive Systems: Evaluation of Their Adaptability Feature Through Software Metrics. 309-312
  
• Thomas Weigold, Thorsten Kramp, Peter Buhler:
  Flexible Persistence Support for State Machine-Based Workflow Engines. 313-319
  

Advanced Design Tools for Developing Software I

• Trung Nguyen, Rob Pooley:
  Effective Recognition of Patterns in Object-Oriented Designs. 320-325
  
• Koji Kawada, Tadashi Ohta:
  An Emulator for Debugging Service Programs in Ad Hoc Networks. 326-330
  
• Amparo Navasa Martínez, Miguel Ángel Pérez Toledano, Juan Manuel Murillo:
  Developing Aspect-Oriented Software Architectures: A Framework Definition. 331-338
  
• Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, Vieri Del Bianco:
  Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. 339-345
  

Advanced Design Tools for Developing Software II

• Maija Marttila-Kontio, Marko Hassinen, Mikko Kontio:
  A Monolithic Program vs. Modifiability: Enhancing a Visual Data Flow Program with Object-Oriented Techniques. 346-352
  
• JungEun Cha, DongSun Lim, Chaedeok Lim:
  Process-Based Approach for Developing Automotive Embeded Software Supporting Tool. 353-358
  
• David de Almeida Ferreira, Alberto Rodrigues da Silva:
  Wiki-Based Tool for Requirements Engineering According to the ProjectIT Approach. 359-364
  
• Joerg Bartholdt, Marcel Medak, Roy Oberhauser:
  Integrating Quality Modeling with Feature Modeling in Software Product Lines. 365-370
  

Specialized Software Advanced Applications II & Software Economics, Adoption, and Education

• Antonio-Javier Garcia-Sanchez, Felipe Garcia-Sanchez, Joan García-Haro:
  Enhancements in the Orphan Process for Wireless Personal Area Networks: Real Implementation Scenarios. 371-377
  
• Peter Salhofer, Bernd Stadlhofer, Gerald Tretter:
  Ontology Driven E-Government. 378-383
  
• Latifa Al-Abdulkarim, Maha M. Al-Yahya:
  Teaching Software Engineering Principles Using Micro Project with Eclipse (MPE) Activity: An Evaluation. 384-388
  
• Alireza Hashemi Nekoo, Kaveh Vakili:
  A Practical Course on Mobile-Software Engineering: Mobile Solutions Laboratory. 389-393
  

Software Security, Privacy and Safeness

• Khaled Alghathbar:
  Enhancement of Use Case Diagram to Capture Authorization Requirements. 394-400
  
• Mohssen M. Z. E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, Izzeldin Amin:
  Polymorphic Worm Detection Using Double-Honeynet. 401-406
  
• Vandana Gandotra, Archana Singhal, Punam Bedi:
  Identifying Security Requirements Hybrid Technique. 407-412
  
• Brunil Dalila Romero Marino, Hisham M. Haddad, Jorge E. Molero A.:
  A Methodological Tool for Asset Identification in Web Applications: Security Risk Assessment. 413-418
  
• Shanai Ardi, Nahid Shahmehri:
  Introducing Vulnerability Awareness to Common Criteria's Security Targets. 419-424
  

Advanced Mechanisms for Software Development I

• Nor Hazilawati Awang, Wan M. N. Wan-Kadir, Shamsul Shahibuddin:
  Comparative Evaluation of the State-of-the Art on Approaches to Software Adaptation. 425-430
  
• Fabio Bolis, Claudia Raibulet:
  Exploiting Adaptive Mechanisms to Enhance Functionalities: ABC4All - A Case Study. 431-436
  
• Outi Räihä, Kai Koskimies, Erkki Mäkinen:
  Scenario-Based Genetic Synthesis of Software Architecture. 437-445
  
• Oksana Nikiforova, Antons Cernickins, Natalya Pavlova:
  Discussing the Difference between Model Driven Architecture and Model Driven Development in the Context of Supporting Tools. 446-451
  

Advanced Mechanisms for Software Development II

• Radek Kocí, Vladimír Janousek:
  Towards Simulation-Based Design of the Software Systems. 452-457
  
• Paulo Marques, Paulo Gomes, Marco Vieira, Juan Prieto, Vicente Navarro, Mauro Pecchioli:
  BIRF: Keeping Software Development under Control across the Organization. 458-464
  
• Lars Klimpke, Tobias Hildenbrand:
  Towards End-to-End Traceability: Insights and Implications from Five Case Studies. 465-470
  
• Liu Xiang:
  Integrating Context-Aware and Fuzzy Rule to Data Mining Model for Supply Chain Finance Cooperative Systems. 471-476
  

Advanced Facilities for Accessing Software & Work In Progress

• Eugenijus Kurilovas:
  Evaluation and Optimisation of e-Learning Software Packages: Learning Object Repositories. 477-483
  
• Roland Ukor, Andy Carpenter:
  Goal-Oriented Service Selection in Business Processes. 484-489
  
• Andreas Holzer, Visar Januzaj, Stefan Kugele:
  Towards Resource Consumption-Aware Programming. 490-493
  
• Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté:
  Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model. 494-499
  

SEDES - Software Engineering

• João de Sousa Saraiva, Alberto Rodrigues da Silva:
  Development of CMS-Based Web-Applications Using a Model-Driven Approach. 500-505
  
• Jorge Barreiros, Ana Moreira:
  Managing Features and Aspect Interactions in Software Product Lines. 506-511
  
• André L. Ferreira, Ricardo Jorge Machado:
  Software Process Improvement in Multimodel Environments. 512-517
  
• David de Almeida Ferreira, Alberto Rodrigues da Silva:
  A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering. 518-523
  
• Nuno Flores, Ademar Aguiar:
  Patterns and Tools for Improving Framework Understanding: A Collaborative Approach. 524-529
  
• Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria:
  Adaptive Object-Modelling: Patterns, Tools and Applications. 530-535
  
• Paula Monteiro, Ricardo Jorge Machado, Rick Kazman:
  Inception of Software Validation and Verification Practices within CMMI Level 2. 536-541
  
• Filipe Figueiredo Correia, Ademar Aguiar:
  Software Knowledge Capture and Acquisition: Tool Support for Agile Settings. 542-547
  
• André Restivo, Ademar Aguiar:
  Testing for Unexpected Interactions in AOP. 548-552
  
• Anacleto Correia, Fernando Brito e Abreu:
  Integrating IT Service Management within the Enterprise Architecture. 553-558
  
• Nuno Ferreira, Ricardo Jorge Machado, Dragan Gasevic:
  An Ontology-Based Approach to Model-Driven Software Product Lines. 559-564
  
• Sofia Azevedo, Ricardo Jorge Machado, Dirk Muthig:
  Multistage Model Transformations in Software Product Lines. 565-569
  
• Sergio Bryton, Fernando Brito e Abreu:
  Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds. 570-575
  
• Luis Alexandre Ferreira da Silva, Fernando Brito e Abreu:
  Exploring and Overcoming Major Challenges in IT Infrastructures Faced by IT Executives. 576-581
  

Last update Thu May 23 17:10:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page