Scholarly Research Excellence

ICFSSSD 2017 : 19th International Conference on Formal Specification, Systems, Software and Design

Rome, Italy
May 4 - 5, 2017

Conference Code: 17IT05ICFSSSD

Conference Proceedings

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

Special Journal Issues

ICFSSSD 2017 has teamed up with the Special Journal Issue on Formal Specification, Systems, Software and Design. 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 28, 2017
Notification of Acceptance/Rejection   March 15, 2017
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   April 4, 2017
Conference Dates   May 4 - 5, 2017

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