会議情報
AEiC 2024: Ada-Europe International Conference on Reliable Software Technologies
http://www.ada-europe.org/conference2024/提出日: |
2024-01-31 Extended |
通知日: |
2024-03-22 |
会議日: |
2024-06-11 |
場所: |
Barcelona, Spain |
年: |
28 |
閲覧: 7580 追跡: 1 出席: 0
論文募集
The conference is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: Formal and model-based engineering of critical systems Formal specification; Formal verification; Integrated methods for engineering reliable software-intensive systems; Formal architectural patterns; Multi-aspect modelling and verification; Model-based engineering of safety-critical systems. High-Integrity Systems and Reliability Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities, Assurance Case; Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools. AI for High-Integrity Systems Engineering AI for code generation, AI for test generation, AI for refactoring of code, AI for code comprehension, AI for program analysis; Evaluation of how well AI solutions for software engineering perform (efficiency, accuracy, etc.) Reliable/responsible/robust AI Real-Time Systems Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Architectures, Design Methods, Analysis Methods Domain applications Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics. Ada Language Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; Experiences with Ada: Reviews of the Ada 2012 or 2022 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics.
最終更新 Lu Jing 2024-01-08
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
b2 | Ada-Europe | International Conference on Reliable Software Technologies | 2020-01-14 | 2020-03-20 | 2020-06-08 | ||
b1 | EuroGP | European Conference on Genetic Programming | 2024-11-01 | 2025-01-10 | 2025-04-23 | ||
b | b1 | JSSPP | International Workshop on Job Scheduling Strategies for Parallel Processing | 2012-03-25 | 2012-05-25 | ||
TMA | Network Traffic Measurement and Analysis Conference | 2024-03-01 | 2024-04-19 | 2024-05-21 | |||
a | a | a1 | MICRO | International Symposium on Microarchitecture | 2024-04-11 | 2024-07-19 | 2024-11-02 |
ICC''' | International Cartographic Conference | 2018-12-12 | 2019-02-28 | 2019-07-15 | |||
SecTech | International Conference on Security Technology | 2015-10-10 | 2015-10-30 | 2015-11-25 | |||
a | a* | a2 | ESEC | European Software Engineering Conference | 2022-03-10 | 2022-06-14 | 2022-11-14 |
ICITBE | International Conference on Information Technology and Biomedical Engineering | 2022-09-30 | 2022-10-10 | 2022-12-23 | |||
Sarnoff | IEEE Sarnoff Symposium | 2019-07-01 | 2019-08-19 | 2019-09-23 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
Ada-Europe | International Conference on Reliable Software Technologies | 2020-01-14 | 2020-06-08 |
EuroGP | European Conference on Genetic Programming | 2024-11-01 | 2025-04-23 |
JSSPP | International Workshop on Job Scheduling Strategies for Parallel Processing | 2012-05-25 | |
TMA | Network Traffic Measurement and Analysis Conference | 2024-03-01 | 2024-05-21 |
MICRO | International Symposium on Microarchitecture | 2024-04-11 | 2024-11-02 |
ICC''' | International Cartographic Conference | 2018-12-12 | 2019-07-15 |
SecTech | International Conference on Security Technology | 2015-10-10 | 2015-11-25 |
ESEC | European Software Engineering Conference | 2022-03-10 | 2022-11-14 |
ICITBE | International Conference on Information Technology and Biomedical Engineering | 2022-09-30 | 2022-12-23 |
Sarnoff | IEEE Sarnoff Symposium | 2019-07-01 | 2019-09-23 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
IEEE Transactions on Smart Grid | 8.600 | IEEE | 1949-3053 | |
Cybernetics and Systems Analysis | 0.500 | Springer | 1060-0396 | |
Signal, Image and Video Processing | 2.000 | Springer | 1863-1703 | |
b | Empirical Software Engineering | 3.500 | Springer | 1382-3256 |
Journal of Engineering | 1.700 | Hindawi | 2314-4904 | |
Artificial Intelligence and Law | 3.100 | Springer | 0924-8463 | |
Design Automation for Embedded Systems | 0.900 | Springer | 0929-5585 | |
a | IEEE Transactions on Services Computing | 5.500 | IEEE | 1939-1374 |
Journal of Cheminformatics | 7.100 | Chemistry Central | 1758-2946 | |
Journal of Organizational Computing and Electronic Commerce | 2.000 | Taylor & Francis | 1091-9392 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
IEEE Transactions on Smart Grid | 8.600 | IEEE |
Cybernetics and Systems Analysis | 0.500 | Springer |
Signal, Image and Video Processing | 2.000 | Springer |
Empirical Software Engineering | 3.500 | Springer |
Journal of Engineering | 1.700 | Hindawi |
Artificial Intelligence and Law | 3.100 | Springer |
Design Automation for Embedded Systems | 0.900 | Springer |
IEEE Transactions on Services Computing | 5.500 | IEEE |
Journal of Cheminformatics | 7.100 | Chemistry Central |
Journal of Organizational Computing and Electronic Commerce | 2.000 | Taylor & Francis |
おすすめ