Computational Science and Its Applications -- ICCSA 2013

1. Front Matter

   PDF

2. Workshop on Software Engineering Processes and Applications (SEPA 2013)

   1. Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systems

      • Petr Sosnin

      Pages 1-16

   2. Modeling and Verification of Change Processes in Collaborative Software Engineering

      • Phan Thi Thanh Huyen, Kunihiko Hiraishi, Koichiro Ochimizu

      Pages 17-32

   3. Relating Goal Modeling with BPCM Models in a Combined Framework

      • Shang Gao

      Pages 33-42

   4. Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.’s Framework

      • Luis Reynoso, Marcelo Amaolo, Daniel Dolz, Claudio Vaucheret, Mabel Álvarez

      Pages 43-58

   5. Improving Requirements Specification in WebREd-Tool by Using a NFR’s Classification

      • José Alfonso Aguilar, Sanjay Misra, Anibal Zaldívar, Roberto Bernal

      Pages 59-69

   6. Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems

      • Fabíola Goncalves C. Ribeiro, Sanjay Misra, Michel S. Soares

      Pages 70-81

   7. Frequent Statement and De-reference Elimination for Distributed Programs

      • Mohamed A. El-Zawawy

      Pages 82-97

   8. Agile Software Development: It Is about Knowledge Management and Creativity

      • Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, Eric Monfroy

      Pages 98-113

   9. Formalization and Model Checking of SysML State Machine Diagrams by CSP#

      • Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

      Pages 114-127

   10. From Arrows to Netlists Describing Hardware

       • Matthias Brettschneider, Tobias Häberlein

       Pages 128-143

   11. Evaluation of Process Architecture Design Methods

       • Mery Pesantes, Hugo A. Mitre, Cuauhtémoc Lemus

       Pages 144-159

   12. Multi Back-Ends for a Model Library Abstraction Layer

       • Ngoc Viet Tran, Andreas Ganser, Horst Lichter

       Pages 160-174

   13. Explicit Untainting to Reduce Shadow Memory Usage and Access Frequency in Taint Analysis

       • Jae-Won Min, Young-Hyun Choi, Jung-Ho Eom, Tai-Myoung Chung

       Pages 175-186

   14. A Framework for Security Testing

       • Daya Gupta, Kakali Chatterjee, Shruti Jaiswal

       Pages 187-198

   15. Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics

       • Eudisley Anjos, Fernando Castor, Mário Zenha-Rela

       Pages 199-213

   16. Systematic Mapping of Architectures for Telemedicine Systems

       • Glauco de Sousa e Silva, Ana Paula Nunes Guimarães, Hugo Neves de Oliveira, Tatiana Aires Tavares, Eudisley Gomes dos Anjos

       Pages 214-229

   17. Architectural Model for Generating User Interfaces Based on Class Metadata

       • Luiz Azevedo, Clovis Torres Fernandes, Eduardo Martins Guerra

       Pages 230-245

3. Workshop on Computer-Aided Modeling, Simulation, and Analysis (CAMSA 2013)

   1. A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extraction

      • Yutthana Munklang, Sansanee Auephanwiriyakul, Nipon Theera-Umpon

      Pages 246-257

   2. Improved Flow Shop Schedules with Total Completion Time Criterion

      • Dipak Laha, Dhiren Kumar Behera

      Pages 258-270

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.

• WebGIS
• constrained optimization
• fuzzy logic
• model checking
• software maintenance
• algorithm analysis and problem complexity

• L-I.S.U.T. - D.A.P.I.t. Facoltà Ingegneria, Università degli Studi della Basilicata, Potenza, Italy

  Beniamino Murgante

• Covenant University, Ota, Nigeria

  Sanjay Misra

• Partimento di Scienze e Tecnologie per LAgricoltura, le Foreste, la Natura e lEnergia, Università degli Studi della Tuscia, Viterbo, Italy

  Maurizio Carlini

• Dipartimento di Scienze dell’Ingegneria Civile e dell’Architecttura, Politecnico di Bari, Bari, Italy

  Carmelo M. Torre

• International University VNU-HCM, Ho Chi Minh City, Vietnam

  Hong-Quang Nguyen

• School of Business Systems, Monash University, Clayton, Australia

  David Taniar

• Department of Intelligent Informatics, Kyushu Sangyo University, Fukuoka, Japan

  Bernady O. Apduhan

• Department of Mathematics and Computer Science, University of Perugia, Perugia, Italy

  Osvaldo Gervasi

Policies and ethics