Submission open
Software Specification and Verification: Models and Tools
- Agostino Cortesi
- Vincenzo Arceri
- Novarun Deb
- Nabendu Chaki
- 540 views
- Frontiers in Computer Science
- Software
- Research Topics
Type at least 3 characters
13 Research Topics
Guest edit your own article collection
Suggest a topic
Research Topics
Submission open
Reliable and Secure System Software in Emerging Cloud and Distributed Environment
- Xiaoguang Wang
- Pengfei Chen
- Hui Dou
- Saiyu Qi
- 3,056 views
- 2 articles
Submission open
Serverless Computing for Stateful Applications
- Yue Cheng
- Hao Wang
- 540 views
Submission open
Advances in Software Quality Engineering for Complex Systems
- Antonio Gonzalez-Torres
- Cristian Iván Pinzón
- Yenory Rojas Hernández
- José Antonio Castellanos Garzón
- 1,485 views
- 1 article
Submission open
Software Engineering and Intelligent Systems
- Deepak Dhungana
- Marlies Temper
- Thomas Moser
- Norbert Seyff
- 886 views
- 1 article
Submission open
Machine Learning for Software Engineering
- Kevin Lano
- Shekoufeh Rahimi
- Sobhan Y. Tehrani
- Hessa Alfraihi
- 800 views
Submission open
Safety of ML-based Systems: Challenges, State-of-the-Art and Prospects
- John McDermid
- Yan Jia
- Roel Dobbe
- Xiaowei Huang
- 7,002 views
- 2 articles
Submission closed
Human-Centered Approaches in Modern Software Engineering
- Javed Ali Khan
- Ahmad Nauman Ghazi
- 8,711 views
- 5 articles
Submission closed
Advances in Software for Data Analysis
- Hector Florez
- Ixent Galpin
- Fernando Yepes-Calderon
- 6,912 views
- 6 articles
Submission open
Computer Technology and Sustainable Futures
- Ali Ahsan
- Fiona Maree Chatteur
- Niusha Shafiabady
- Parma Nand
- Amr van den Adel
- 5,039 views
- 3 articles
Interactive magazine
Submission closed
Horizons in Computer Science 2022
- Kaleem Siddiqi
- Chintha Tellambura
- Kristof Van Laerhoven
- Nicola Zannone
- Paul Lukowicz
- Marcello Pelillo
- Anton Nijholt
- Sven Schewe
- 142,854 views
- 8 articles
Interactive magazine
Submission closed
Model-Centered Software and System Development
- Heinrich C. Mayr
- Bernhard Thalheim
- 9,310 views
- 6 articles
Interactive magazine
Submission closed
Advances in Software Science and Engineering
- Yingxu Wang, FIEEE, FBCS, FI2CICC, FAAIA, FWIF, PEng
- 8,336 views
- 4 articles