Open Science Research Excellence

ICFST 2023 : International Conference on Formal Specification and Technology

Athens, Greece
October 21 - 22, 2023

Conference Code: 23GR10ICFST

Conference Proceedings

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

Special Journal Issues

ICFST 2023 has teamed up with the Special Journal Issue on Formal Specification 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   February 13, 2022
Notification of Acceptance/Rejection   February 27, 2022
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   September 20, 2023
Conference Dates   October 21 - 22, 2023

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