Table of Contents

• Security Requirements Engineering Process for Software Product Lines: A Case StudyDaniel Mellado, Eduardo Fernández-Medina, Mario Piattini. 1-6 [doi]
• The Impact of Decision-Making on Information System DependabilityHeli Tervo, Miia-Maarit Saarelainen, Jarmo J. Ahonen, Hanna-Miina Sihvonen. 7-12 [doi]
• High Performance Computing for the Simulation of Cardiac ElectrophysiologyRoss McFarlane, Irina V. Biktasheva. 13-18 [doi]
• The Evaluation of Reliability Based on the Software Architecture in Neural NetworksMaryam Harirforoush, Mirali Seyyedi, Nooraldeen Mirzaee. 19-24 [doi]
• Automatic Elicitation of Network Service SpecificationM. Ohba, K. Egashira, T. Ohta. 25-30 [doi]
• Web Services for Software Development: The Case of a Web Service That Composes Web ServicesOlivia Graciela Fragoso Diaz, René Santaolaya Salgado, Silvana De Gyves Avila. 31-36 [doi]
• Process for Contract ExtractionRené Santaolaya Salgado, Liliana Badillo-Sánchez, Olivia Graciela Fragoso Diaz. 37-42 [doi]
• Tool Support for the UML Automation Profile - For Domain-Specific Software Development in ManufacturingTimo Vepsäläinen, David Hästbacka, Seppo Kuikka. 43-50 [doi]
• A UML Based Methodology to Ease the Modeling of a Set of Related SystemsFiras Alhalabi, Mathieu Maranzana, Jean-Louis Sourrouille. 51-57 [doi]
• Analysis of a Distributed e-Voting System Architecture against Quality of Service RequirementsJ. Paul Gibson, Eric Lallet, Jean-Luc Raffy. 58-64 [doi]
• Reuse through Requirements TraceabilityRob Pooley, Craig Warren. 65-70 [doi]
• An Object Memory Management Prototype Based on Mark and Sweep Algorithm Using Separation of ConcernsHamid Mcheick, Aymen Sioud, Joumana Dargham. 71-76 [doi]
• A Design Methodology of Systolic Architectures Based on a Petri Net Extension. Application to a Stereovision Hardware/Software Processing ImprovementAlexandre Abellard, Patrick Abellard. 77-82 [doi]
• Towards a Generic Approach for Model CompositionAdil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. 83-90 [doi]
• Can We Transform Requirements into Architecture?Hermann Kaindl, Jürgen Falb. 91-96 [doi]
• Application Development over Software-as-a-Service PlatformsJavier Espadas, David Concha, Arturo Molina. 97-104 [doi]
• Development of the Tool for Generation of UML Class Diagram from Two-Hemisphere ModelOksana Nikiforova, Natalya Pavlova. 105-112 [doi]
• Using OCR Template Generation and Transformation as Meta-Modeling Supporting ProcessIgnacio González Alonso, M. P. Almudena García Fuente, José Antonio López Brugos. 113-117 [doi]
• Experience with Model Sharing in Data Mining EnvironmentsGeorges Edouard Kouamou, Dieudonné Tchuente. 118-122 [doi]
• Development of a Quality Assurance Framework for the Open Source Development ModelTobias Otte, Robert Moreton, Heinz D. Knoell. 123-131 [doi]
• Inheritance, Warnings and Potential Refactorings: An Empirical StudyE. Nasseri, Steve Counsell. 132-139 [doi]
• Practical Verification of an Embedded Beowulf Architecture Using Standard Cluster BenchmarksM. R. Fowler, Elias Stipidis, Falah H. Ali. 140-145 [doi]
• Agent-Based Group Decision MakingAbdelkader Adla. 146-151 [doi]
• Industrial Application Development with Open Source ApproachShowole Aminat, Suhaimi Ibrahim, Shamsul Sahibuddin. 152-157 [doi]
• Evaluating SLA Management Process Model within Four CompaniesMira Kajko-Mattsson, Christos Makridis. 158-165 [doi]
• A Benchmark for Embedded Software Processes Used by Special-Purpose Machine ManufacturersValentin Plenk. 166-171 [doi]
• Patients and Physicians Interface - Biotelemetric System ArchitectureOndrej Krejcar, Petr Fojcik. 172-176 [doi]
• DRESREM 2: An Analysis System for Multi-document Software Review Using Reviewers Eye MovementsHidetake Uwano, Akito Monden, Ken-ichi Matsumoto. 177-183 [doi]
• Standardization and Agile Business ProcessesJaroslav Král, Michal Zemlicka. 184-191 [doi]
• A Case Study on SW Product Line Architecture Evaluation: Experience in the Consumer Electronics DomainKangtae Kim, Hyungrok Kim, Sundeok Kim, Gihun Chang. 192-197 [doi]
• Comparative Evaluation of Change Propagation Approaches towards Resilient Software EvolutionNoraini Ibrahim, Wan M. N. Wan-Kadir, Safaai Deris. 198-204 [doi]
• Analyzing Software Evolvability of an Industrial Automation Control System: A Case StudyHongyu Pei Breivold, Ivica Crnkovic, Rikard Land, Magnus Larsson. 205-213 [doi]
• The Impact of Test Driven Development on the Evolution of a Reusable Framework of Components - An Industrial Case StudyOdd Petter N. Slyngstad, Jingyue Li, Reidar Conradi, Harald Rønneberg, Einar Landre, Harald Wesenberg. 214-223 [doi]
• A Cross Platform Development Workflow for C/C++ ApplicationsMartin Wojtczyk, Alois Knoll. 224-229 [doi]
• Data Flow Testing of SQL-Based Active Database ApplicationsPlinio S. Leitao-Junior, Plinio R. S. Vilela, Mario Jino. 230-236 [doi]
• Application of Clustering Methods for Analysing of TTCN-3 Test Data QualityDiana Vega, George Din, Stefan Taranu, Ina Schieferdecker. 237-244 [doi]
• A Tale of Two DailyBuild ProjectsSaam Koroorian, Mira Kajko-Mattsson. 245-251 [doi]
• On the Effectiveness of Manual and Automatic Unit Test GenerationAlberto Bacchelli, Paolo Ciancarini, Davide Rossi. 252-257 [doi]
• Using XP in Telecommunication Software DevelopmentEnsar Gul, Taylan Sekerci, Aziz C. Yücetürk, Ünal Yildirim. 258-263 [doi]
• Towards a Selection Model for Software Engineering Tools in Small and Medium Enterprises (SMEs)Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán. 264-269 [doi]
• Analyzing Work Productivity and Program Quality in Collaborative ProgrammingRafael Duque, Crescencio Bravo. 270-276 [doi]
• Goal Sketching with Activity DiagramsKenneth Boness, Rachel Harrison. 277-283 [doi]
• An Iterative Meta-Lifecycle for Software Development, Evolution and MaintenanceClaudine Toffolon, Salem Dakhli. 284-289 [doi]
• Using Actor Object Operations Structures to Understand Project Requirements ComplexitiesJoseph Kibombo Balikuddembe, Anet Potgieter. 290-294 [doi]
• Interdisciplinary Project-Based Learning in Ergonomics for Software Engineers: A Case StudyAlexandra Branzan Albu, K. Malakuti, H. Tuokko, W. Lindstrom-Forneri, K. Kowalski. 295-300 [doi]
• An Innovative Approach to Teaching an Undergraduate Software Engineering CourseCynthia Y. Lester. 301-306 [doi]
• Do Software Intellectual Property Rights Affect the Performance of Firms? Case Study of South KoreaDukrok Suh, Junseok Hwang, Donghyun Oh. 307-312 [doi]
• Daidalos II: Implementing a Scenario Driven ProcessFrances Cleary, Antonio Romero, Jürgen Jähnert, Yongzheng Liang. 313-318 [doi]
• A Persistent Object Store as Platform for Integrated Database Programming and Querying LanguagesMarkus Kirchberg, Alexei Tretiakov. 319-328 [doi]
• Model-Driven Development of Human Tasks for WorkflowsStefan Link, Philip Hoyer, Thomas Schuster, Sebastian Abeck. 329-335 [doi]
• A Software Machine Analysis and Design MethodologyArun Mukhija. 336-345 [doi]
• Alternative/Exceptional Scenario Generation with Differential ScenarioMasayuki Makino, Atsushi Ohnishi. 346-351 [doi]
• Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADLFlávio Oquendo. 352-359 [doi]
• Exploring the Concept of Systems Theoretic Stability as a Starting Point for a Unified Theory on Software EngineeringHerwig Mannaert, Jan Verelst, Kris Ven. 360-366 [doi]
• Experiences on Analysis of Requirements QualityPetra Heck, Päivi Parviainen. 367-372 [doi]
• Model-Driven Language Engineering: The ASMETA Case StudyAngelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 373-378 [doi]
• Assurance-Driven DesignJon G. Hall, Lucia Rapanotti. 379-388 [doi]
• Enhanced Approaches in Defect Detection and Prevention Strategies in Small and Medium Scale IndustriesV. Suma, T. R. Gopalakrishnan Nair. 389-393 [doi]
• Adapting Software Development Process towards the Model Driven ArchitectureVladimirs Nikulsins, Oksana Nikiforova. 394-399 [doi]
• Non-functional Requirements to Architectural Concerns: ML and NLP at CrossroadsGokhan Gokyer, Semih Cetin, Cevat Sener, Meltem Turhan Yöndem. 400-406 [doi]
• A Comparative Evaluation of Using Genetic Programming for Predicting Fault Count DataWasif Afzal, Richard Torkar. 407-414 [doi]
• A Formal Definition of Complex SoftwareMarc Aiguier, Pascale Le Gall, Mbarka Mabrouki. 415-420 [doi]
• System Design with Object Oriented Petri Nets FormalismRadek Kocí, Vladimír Janousek. 421-426 [doi]
• Integrated Software Architecture Management and ValidationGeorg Buchgeher, Rainer Weinreich. 427-436 [doi]
• A Component Model Family for Vehicular Embedded SystemsTomás Bures, Jan Carlson, Séverine Sentilles, Aneta Vulgarakis. 437-444 [doi]
• A SysML Profile for Classical DEVS SimulatorsMara Nikolaidou, Vassilis Dalakas, Loreta Mitsi, Georgios-Dimitrios Kapos, Dimosthenis Anagnostopoulos. 445-450 [doi]
• Advances in Software Design Methods for Concurrent, Real-Time and Distributed ApplicationsHassan Gomaa. 451-456 [doi]
• Impact Analysis from Multiple Perspectives: Evaluation of Traceability TechniquesSalma Imtiaz, Naveed Ikram, Saima Imtiaz. 457-464 [doi]
• An Approach to Addressing Entity Model Variability within Software Product LinesJoerg Bartholdt, Roy Oberhauser, Andreas Rytina. 465-471 [doi]
• Stakeholder Identification Methods in Software Requirements: Empirical Findings Derived from a Systematic ReviewCarla Pacheco, Ivan Garcia. 472-477 [doi]
• Incremental Verification of Large ScaleWorkflows Based on Extended CorrectnessOsamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi. 478-487 [doi]
• A Comparative Evaluation of State-of-the-Art Approaches for Web Service CompositionSayed Gholam Hassan Tabatabaei, Wan M. N. Wan-Kadir, Suhaimi Ibrahim. 488-493 [doi]
• Determinants of Advance Planning and Scheduling Systems AdoptionPierre Hadaya, Robert Pellerin. 494-499 [doi]
• E-Sales Diffusion in Europe: Quantitative Analysis and Modelling of First Adoption and Assimilation ProcessesLuca Canetta, Naoufel Cheikhrouhou, Rémy Glardon. 500-509 [doi]
• Simulating the ERP Diffusion Behavior in Industrial NetworksKim St-Georges, Adnène Hajji, Robert Pellerin, Ali Gharbi. 510-515 [doi]
• MOFIS: New Conceptual Modeling Framework for Handling Value Adding Networks ComplexitySouleiman Naciri, Min-Jung Yoo, Rémy Glardon. 516-522 [doi]
• An Exploratory Study of ERP Assimilation in Developing Countries: The Case of Three Tunisian CompaniesRafa Kouki, Robert Pellerin, Diane Poulin. 523-529 [doi]