Software engineering is a discipline that adopts engineering approaches to develop large-scale software towards high productivity, low cost, trustworthy quality, and controllable development schedule [1]. Software science underpinning software engineering studies the formal properties and mathematical models of software, general methodologies for rigorous and ef?cient software development, and fundamental theories for software modeling and software engineering practices [2].
The goal of this themed issue in Frontiers in Computer Science - Software (FCSS) is to call research and review papers as well as industrial reports on the latest advances in software science and engineering. The coverage of this special issue encompasses not only theoretical explorations, formal methods, intelligent mathematics, and requirement specifications in software science, but also empirical studies in all aspects of software engineering from software requirements analyses, architectures, test and validation, and tools for supporting industrial practices and processes.
Potential topics of contributions to this Research Topic include but are not limited to the following:
• Basic research advances in software science such as requirement specifications, autonomous software generations, formal methods, novel intelligent mathematics, and AI-based requirement modeling;
• Advances in empirical studies in software engineering on architectures, models, comparative programming languages, real-time applications, processes, testing, and best practices;
• Advances in software implementations of real-time systems, mission-critical systems, unmanned systems, self-driving vehicles, cognitive robots, autonomous systems, and machine learning systems;
• Advances in intelligent system software such as intelligent operating systems, intelligent compilers, intelligent big data manipulation systems, and intelligent software knowledge systems;
• Advances in empirical studies on all aspects of the aforementioned categories.
[1] Y. Wang (2007), Software Engineering Foundations: A Software Science Perspective, CRC/Auerbach Publications, NY, USA, 1,580pp.
[2] Y. Wang (2014), Software Science: On General Mathematical Models and Formal Properties of Software, Journal of Advanced Mathematics and Applications, 3(2), 130-147.
Software engineering is a discipline that adopts engineering approaches to develop large-scale software towards high productivity, low cost, trustworthy quality, and controllable development schedule [1]. Software science underpinning software engineering studies the formal properties and mathematical models of software, general methodologies for rigorous and ef?cient software development, and fundamental theories for software modeling and software engineering practices [2].
The goal of this themed issue in Frontiers in Computer Science - Software (FCSS) is to call research and review papers as well as industrial reports on the latest advances in software science and engineering. The coverage of this special issue encompasses not only theoretical explorations, formal methods, intelligent mathematics, and requirement specifications in software science, but also empirical studies in all aspects of software engineering from software requirements analyses, architectures, test and validation, and tools for supporting industrial practices and processes.
Potential topics of contributions to this Research Topic include but are not limited to the following:
• Basic research advances in software science such as requirement specifications, autonomous software generations, formal methods, novel intelligent mathematics, and AI-based requirement modeling;
• Advances in empirical studies in software engineering on architectures, models, comparative programming languages, real-time applications, processes, testing, and best practices;
• Advances in software implementations of real-time systems, mission-critical systems, unmanned systems, self-driving vehicles, cognitive robots, autonomous systems, and machine learning systems;
• Advances in intelligent system software such as intelligent operating systems, intelligent compilers, intelligent big data manipulation systems, and intelligent software knowledge systems;
• Advances in empirical studies on all aspects of the aforementioned categories.
[1] Y. Wang (2007), Software Engineering Foundations: A Software Science Perspective, CRC/Auerbach Publications, NY, USA, 1,580pp.
[2] Y. Wang (2014), Software Science: On General Mathematical Models and Formal Properties of Software, Journal of Advanced Mathematics and Applications, 3(2), 130-147.
