default search action
ICSEA 2009: Porto, Portugal
- Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser:
The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal. IEEE Computer Society 2009, ISBN 978-0-7695-3777-1
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 C. 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 Júnior, 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, Mário Jino, Plínio de Sá Leitão Júnior:
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 C. 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 Júnior, 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 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 García-Sánchez, Felipe García-Sánchez, 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, Natalja 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 - Sérgio 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.