The International Research Conference Aims and Objectives
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation
within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations.
With its high quality, it provides an exceptional value for students, academics and industry researchers.
ICAMSA 2022: 16. International Conference on Algebraic Methodology and Software Architecture
aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of
Algebraic Methodology and Software Architecture.
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 Algebraic Methodology and Software Architecture
Call for Contributions
Prospective 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 Algebraic Methodology and Software Architecture 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.
Guidelines for Authors
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 Guideline,
Abstract Submission Guideline and
Author Information
before submitting your paper.
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
ICAMSA 2022 has teamed up with the Special Journal Issue on
Algebraic Methodology and Software Architecture.
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.
Selected Papers
-
Requirement Engineering and Software Product Line Scoping Paradigm
Ahmed Mateen, Zhu Qingsheng, Faisal Shahzad
-
A Framework for Teaching Distributed Requirements Engineering in Latin American Universities
G. Sevilla, S. Zapata, F. Giraldo, E. Torres, C. Collazos
-
JREM: An Approach for Formalising Models in the Requirements Phase with JSON and NoSQL Databases
Aitana Alonso-Nogueira, Helia Estévez-Fernández, Isaías García
-
Logic Programming and Artificial Neural Networks in Pharmacological Screening of Schinus Essential Oils
José Neves, M. Rosário Martins, Fátima Candeias, Diana Ferreira, Sílvia Arantes, Júlio Cruz-Morais, Guida Gomes, Joaquim Macedo, António Abelha, Henrique Vicente
-
A Four Method Framework for Fighting Software Architecture Erosion
Sundus Ayyaz, Saad Rehman, Usman Qamar
-
Inadequate Requirements Engineering Process: A Key Factor for Poor Software Development in Developing Nations: A Case Study
K. Adu Michael, K. Alese Boniface
-
Heterogeneous Artifacts Construction for Software Evolution Control
Mounir Zekkaoui, Abdelhadi Fennan
-
Software Architectural Design Ontology
Muhammad Irfan Marwat, Sadaqat Jan, Syed Zafar Ali Shah
-
Augmenting Use Case View for Modeling
Pradip Peter Dey, Bhaskar Raj Sinha, Mohammad Amin, Hassan Badkoobehi
-
An Agent Oriented Architecture to Supply Integration in ERP Systems
Hassan Haghighi, Sajad Ghorbani, Maryam Mohebati, Mohammad Mahdi Javanmard
-
An Agent Oriented Architecture to Supply Multilanguage in EPR Systems
Hassan Haghighi, Seyedeh Zahra Hosseini, Seyedeh Elahe Jalambadani
-
An Agent Oriented Architecture to Supply Dynamic Document Generation in ERP Systems
Hassan Haghighi, Seyedeh Zahra Hosseini, Seyedeh Elahe Jalambadani
-
E-Appointment Scheduling (EAS)
Noraziah Ahmad, Roslina Mohd Sidek, Mohd Affendy Omardin
-
Detecting Interactions between Behavioral Requirements with OWL and SWRL
Haibo Hu, Dan Yang, Chunxiao Ye, Chunlei Fu, Ren Li
-
Cosastudio: A Software Architecture Modeling Tool
Adel Smeda, Adel Alti, Mourad Oussalah, Abdallah Boukerram
Systems software technology
Application software technology
Software architecture
Concurrent and reactive systems
Formal methods in industrial software development
Requirements engineering
Software synthesis
Evolutionary and adaptive software systems
Programming methodology
Logic programming, functional programming, object paradigms
Constraint programming and concurrency
Program transformation and verification
Programming calculi
Specification languages and tools
Incremental development
Web programming and network computation
Algebraic and logical foundations
Logic in computer science
Category theory, relation algebra, computational algebra
Algebraic foundations for languages, systems and specifications
Coinduction and coalgebraic methods
Logical frameworks and theorem proving
Logics of programs
Formal approaches to dependability and security
Systems and tools (for system demonstrations or ordinary papers)
Software development environments
Provably correct software development
Validation and verification
Security tools
System support for reuse
Tools for prototyping
Component based software development tools
Computer algebra systems
Theorem proving systems
Abstracts/Full-Text Paper Submission Deadline |
|
January 28, 2021 |
Notification of Acceptance/Rejection |
|
February 11, 2021 |
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline |
|
July 22, 2022 |
Conference Dates |
|
August 23-24, 2022 |
Azida Zainol |
Universiti Utara Malaysia, MY |
John Kanyaru |
Heriot - Watt University, UK |
Mohammed Rezaul Karim |
Guildhall College, UK |
Suresh Kamath |
MetLife Inc, US |
Emmanuel Mkpojiogu |
Veritas University, NG |
Sundus Ayyaz |
National University of Sciences and Technology, Pakistan |
Dagmar Monett |
Berlin School of Economics and Law, Germany |
Henrique Vicente |
University of Évora, Portugal |
Farha Lakhani |
Majmaah University, SA |
Teodora Bakardjieva |
Varna Free University, BG |
S.P. Anandaraj Pichandi |
SR Engineering College, IN |
Dimiter Velev |
University of National and World Economy, BG |
Yongyuth Permpoontanalarp |
King Mongkut's University of Technology Thonburi, TH |
Krishan Lavania |
Arya Institute of Engineering & Technology, IN |
beena godbin |
v. t. u., IN |
Mir Ali Seyyedi |
Azad Islamic South Tehran Branch's, IR |
Parthasarathy Sudhaman |
Thiagarajar College of Engineering, IN |
Smita Ghaisas |
Tata research Design and Development Center ( A divn. of tata Consultancy Services), IN |
Mashallah Matinfar |
Mazandaran University, IR |
Adel Smeda |
University of Al-Jabel Al-Gharbi, LY |
Ammar Bessam |
Jijel University, DZ |
Participation Type |
Early Registration Fees |
Registration Fees |
Non-Student Oral/Poster Presenter Registration |
€ 450 |
€ 500 |
Student Oral/Poster Presenter Registration |
€ 350 |
€ 400 |
Listener Registration |
€ 250 |
€ 300 |
Additional Paper Publication |
€ 100 |
All conference materials and services will be delivered digitally to the participant with the online conference management system.
Conference registration includes the following digital materials and services:
- e-certificates [for Authors: Certificate of Attendance and Presentation; for Listeners: Certificate of Attendance; for Chairs: Certificate of Attendance and Appreciation; for Presenters: Certificate of Best Presentation (if conferred based appraisal)]
- e-program
- e-book
- e-name badge
- e-receipt
- e-presentation
Presentation Types:
-
Physical presentation is an oral conferencing presentation that is made using digital technology including embedded digital elements ( texts, tables, graphs, or videos ) for PowerPoint sharing.
-
Digital presentation is a digital conferencing presentation that is made using digital technology including embedded digital elements ( texts, tables, graphs, or videos ) for PowerPoint sharing.
Early Bird Registration
Early Bird registration is valid until 2022-07-22 23:59:59
Online Credit Card Processing
Online payment option available for author
and listener delegates.
Conference participants can make online credit card payments for conference registration fees.