Excellence in Research and Innovation for Humanity

ICFSSST 2018 : 20th International Conference on Formal Specification, Systems, Software and Technology

Barcelona, Spain
May 17 - 18, 2018

Conference Code: 18ES05ICFSSST

International Research Conference Aims and Objectives

The ICFSSST 2018: 20th International Conference on Formal Specification, Systems, Software and Technology aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Specification, Systems, Software and Technology. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Specification, Systems, Software and Technology.

Call for Contributions

All honorable authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Formal Specification, Systems, Software and Technology are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials.WASET

Conference Proceedings

All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the International Science Index (ISI), Google Scholar, Semantic Scholar, Zenedo, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.

Special Journal Issues

ICFSSST 2018 has teamed up with the Special Journal Issue on Formal Specification, Systems, Software and Technology. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.

Conference Sponsor and Exhibitor Opportunities

The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the Conference Sponsorship Request Form.

Important Dates

Abstracts/Full-Text Paper Submission Deadline   March 20, 2018
Notification of Acceptance/Rejection   March 31, 2018
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   April 17, 2018
Conference Dates   May 17 - 18, 2018

Important Notes

Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.

Please refer to the Paper Submission GUIDE before submitting your paper.

Selected Conference Papers

1) Importance of Hardware Systems and Circuits in Secure Software Development Life Cycle
Mir Shahriar Emami
2) A Project-Orientated Training Concept to Prepare Students for Systems Engineering Activities
Elke Mackensen
3) Some Pertinent Issues and Considerations on CBSE
Anil Kumar Tripathi, Ratneshwer
4) The Challenges and Solutions for Developing Mobile Apps in a Small University
Greg Turner, Bin Lu, Cheer-Sun Yang
5) Project Management and Software Development Processes: Integrating PMBOK and OPEN
Maurício Covolan Rosito, Daniel Antonio Callegari, Ricardo Melo Bastos
6) An Assessment of Software Process Optimization Compared to International Best Practice in Bangladesh
Mohammad Shahadat Hossain Chowdhury, Tania Taharima Chowdhary, Hasan Sarwar
7) Software Development Processes Maturity versus Software Processes and Products Measurement
Beata Czarnacka-Chrobot
8) Software Process Improvement: A Organizational Change that Need to be Managed and Motivated
Marília Guterres Ferreira, Raul Sidnei Wazlawick
9) The Spiral_OWL Model – Towards Spiral Knowledge Engineering
Hafizullah A. Hashim, Aniza. A
10) Promoting Collaborative Learning in Software Engineering by Adapting the PBL Strategy
Charlie Y. Shim, Mina Choi, Jung Y. Kim
11) DD Models for Reports Building
Ljerka Hrženjak-Šego, Željko Polić, Zdravka Aljinović
12) Effective Defect Prevention Approach in Software Process for Achieving Better Quality Levels
Suma. V., T. R. Gopalakrishnan Nair
13) Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems
Kawtar Benghazi Akhlaki, Manuel I. Capel-Tuñón

Similar conferences about Computer and Systems Engineering