Special Issue Information Special Issue Call for Paper Other Special Issues on this journal Closed Special Issues
Dependable Software Engineering: Theories, Tools and Applications

Dependable Software Engineering: Theories, Tools and Applications

Journal
Impact Score 3.46

OFFICIAL WEBSITE

Special Issue Information

Submission Deadline: 05-02-2022
Journal Impact Score: 3.46
Journal Name: Journal of Systems Architecture
Publisher: Journal of Systems Architecture

Special Issue Call for Papers


Scope and Aim:



Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. This special issue on Dependable Software Engineering solicits submissions describing theoretical results, tools, and applications, related to applying formal methods in improving the quality of computer software and systems.



The topics of interests include, but are not limited to:




All original manuscripts that fit within the scope are welcome.



Submission Details:



General information for submitting papers to JSA can be found at https://www.journals.elsevier.com/journal-of-systems-architecture. Submissions should be made online at https://www.editorialmanager.com/jsa/. Please select the “VSI:SETTA2021” option as the type of the paper during the submission process. Please direct all enquiries regarding this SI to Wenhui Zhang.



JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline.



Important Dates



Paper submission due: February 5, 2022
Final decision: November 20, 2022



Guest Editors:



Shengchao Qin
Teesside University, UK
Email: [email protected]



Jim Woodcock
University of York,UK
Email: [email protected]



Wenhui Zhang
Institute of Software,
Chinese Academy of Sciences
Email : [email protected]

Other Special Issues on this journal

Publisher
Journal Details
Closing date
G2R Score
Dependable Software Engineering: Theories, Tools and Applications

Dependable Software Engineering: Theories, Tools and Applications

Journal of Systems Architecture
Closing date: 05-02-2022 G2R Score: 3.46

Closed Special Issues

Publisher
Journal Details
Closing date
G2R Score
Artificial Intelligence Meets Computing System Architecture (VSI:AI-CSA)

Artificial Intelligence Meets Computing System Architecture (VSI:AI-CSA)

Journal of Systems Architecture
Closing date: 01-10-2021 G2R Score: 3.46
Data Synthesis and Evaluation for Data-Oriented AI Systems. (VSI: DataAI2021)

Data Synthesis and Evaluation for Data-Oriented AI Systems. (VSI: DataAI2021)

Journal of Systems Architecture
Closing date: 01-10-2021 G2R Score: 3.46
Modeling, verification and Testing of dependable critical systems (VSI:DETECT-2021)

Modeling, verification and Testing of dependable critical systems (VSI:DETECT-2021)

Journal of Systems Architecture
Closing date: 10-09-2021 G2R Score: 3.46
Cyber Security for Internet of Things

Cyber Security for Internet of Things

Journal of Systems Architecture
Closing date: 01-09-2021 G2R Score: 3.46
Dependability in IoT Systems/Tools/Apps and Applications

Dependability in IoT Systems/Tools/Apps and Applications

Journal of Systems Architecture
Closing date: 30-06-2021 G2R Score: 3.46
Trustworthiness and Privacy in Sensor-Cloud Systems (VSI: TPSCS)

Trustworthiness and Privacy in Sensor-Cloud Systems (VSI: TPSCS)

Journal of Systems Architecture
Closing date: 31-03-2021 G2R Score: 3.46
Ubiquitous Edge Computing for Next Generation IoT and 6G: Architecture, Modelling and Systems (VSI:UECNx-IoT)

Ubiquitous Edge Computing for Next Generation IoT and 6G: Architecture, Modelling and Systems (VSI:UECNx-IoT)

Journal of Systems Architecture
Closing date: 15-03-2021 G2R Score: 3.46
Safe and Intelligent Embedded Software and Systems

Safe and Intelligent Embedded Software and Systems

Journal of Systems Architecture
Closing date: 01-02-2021 G2R Score: 3.46
Security and Privacy in Fog Computing-based Critical Infrastructures

Security and Privacy in Fog Computing-based Critical Infrastructures

Journal of Systems Architecture
Closing date: 31-01-2021 G2R Score: 3.46
Reliable Software Technologies

Reliable Software Technologies

Journal of Systems Architecture
Closing date: 07-01-2021 G2R Score: 3.46
AI driven embedded system architectures and protocols for big data

AI driven embedded system architectures and protocols for big data

Journal of Systems Architecture
Closing date: 30-12-2020 G2R Score: 3.46
High-Performance-Computing-Communications for Cyber-Physical-Social Systems

High-Performance-Computing-Communications for Cyber-Physical-Social Systems

Journal of Systems Architecture
Closing date: 30-12-2020 G2R Score: 3.46
Edge Intelligence Systems for Industrial, Social and Scientific Applications (VSI:EISA20)

Edge Intelligence Systems for Industrial, Social and Scientific Applications (VSI:EISA20)

Journal of Systems Architecture
Closing date: 30-11-2020 G2R Score: 3.46
ubiquitous and intelligent embedded systems (VSI:UIES20)

ubiquitous and intelligent embedded systems (VSI:UIES20)

Journal of Systems Architecture
Closing date: 30-09-2020 G2R Score: 3.46
Smart Applications and Data Analysis for Smart Cyber-Physical Systems (VSI: SADASC20)

Smart Applications and Data Analysis for Smart Cyber-Physical Systems (VSI: SADASC20)

Journal of Systems Architecture
Closing date: 07-09-2020 G2R Score: 3.46
Design Architecture and Applications of Smart Embedded Devices in Internet of Things

Design Architecture and Applications of Smart Embedded Devices in Internet of Things

Journal of Systems Architecture
Closing date: 01-09-2020 G2R Score: 3.46
Augmented Reality and Internet of Things in the age of 5G

Augmented Reality and Internet of Things in the age of 5G

Journal of Systems Architecture
Closing date: 15-08-2020 G2R Score: 3.46
Parallel and Distributed Systems Architectures for Smart City

Parallel and Distributed Systems Architectures for Smart City

Journal of Systems Architecture
Closing date: 29-07-2020 G2R Score: 3.46
Testing and Verification of Non-Functional Aspects of Cyber-Physical Systems: Theories, Methods, and Tools

Testing and Verification of Non-Functional Aspects of Cyber-Physical Systems: Theories, Methods, and Tools

Journal of Systems Architecture
Closing date: 25-07-2020 G2R Score: 3.46
Next Generation AI Approaches for Intelligent Internet of Things (VSI: AIAIIoT20)

Next Generation AI Approaches for Intelligent Internet of Things (VSI: AIAIIoT20)

Journal of Systems Architecture
Closing date: 01-07-2020 G2R Score: 3.46
Resource Management for Edge Intelligence

Resource Management for Edge Intelligence

Journal of Systems Architecture
Closing date: 30-06-2020 G2R Score: 3.46
Parallel, Distributed, and Network-Based Processing in Next-generation Embedded Systems (VSI:PDP20)

Parallel, Distributed, and Network-Based Processing in Next-generation Embedded Systems (VSI:PDP20)

Journal of Systems Architecture
Closing date: 15-05-2020 G2R Score: 3.46
Parallel, Distributed, and Network-Based Processing in Next-generation Architectures and Systems

Parallel, Distributed, and Network-Based Processing in Next-generation Architectures and Systems

Journal of Systems Architecture
Closing date: 11-05-2020 G2R Score: 3.46
Design of Embedded Software and Systems (SI:ICESS19)

Design of Embedded Software and Systems (SI:ICESS19)

Journal of Systems Architecture
Closing date: 15-08-2019 G2R Score: 3.46
Dependable Cyber Physical Systems (SI:DCPS19)

Dependable Cyber Physical Systems (SI:DCPS19)

Journal of Systems Architecture
Closing date: 30-07-2019 G2R Score: 3.46
the 2019 IEEE Symposium on Real-time Computing ISORC (SI:ISORC19)

the 2019 IEEE Symposium on Real-time Computing ISORC (SI:ISORC19)

Journal of Systems Architecture
Closing date: 29-07-2019 G2R Score: 3.46
Advances in Reliable Software Technologies: An Ada Perspective (SI: ARSTAP)

Advances in Reliable Software Technologies: An Ada Perspective (SI: ARSTAP)

Journal of Systems Architecture
Closing date: 01-05-2019 G2R Score: 3.46
Special Issues on “Embedded Systems in Applied Computing (SI-ESAC2018)

Special Issues on “Embedded Systems in Applied Computing (SI-ESAC2018)

Journal of Systems Architecture
Closing date: 31-01-2018 G2R Score: 3.46
Special Issues on “Real-Time Embedded Systems Design and Analysis” (RTESDA)

Special Issues on “Real-Time Embedded Systems Design and Analysis” (RTESDA)

Journal of Systems Architecture
Closing date: 18-09-2017 G2R Score: 3.46