会议信息
SLE 2025: International Conference on Software Language Engineering
https://www.sleconf.org/2025/截稿日期: |
2025-02-07 |
通知日期: |
2025-04-15 |
会议日期: |
2025-06-12 |
会议地点: |
Koblenz, Germany |
届数: |
18 |
浏览: 12484 关注: 0 参加: 0
征稿
Topics of Interest SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: Software Language Design and Implementation Approaches to and methods for language design Static semantics (e.g., design rules, well-formedness constraints) Techniques for specifying behavioral/executable semantics Generative approaches (incl. code synthesis, compilation) Meta-languages, meta-tools, language workbenches AI-assisted language design and optimisation Software Language Validation Verification and formal methods for languages Testing techniques for languages Simulation techniques for languages Model-based testing AI-assisted validation Software Language Integration and Composition Coordination of heterogeneous languages and tools Mappings between languages (incl. transformation languages) Traceability between languages Deployment of languages to different platforms AI-assisted refactoring Software Language Maintenance Software language reuse Language evolution Language families and variability, language and software product lines Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) Empirical evaluation and experience reports of language engineering tools User studies evaluating usability Performance benchmarks Industrial applications Synergies between Language Engineering and emerging/promising research areas Generative AI in language engineering (e.g., AI-based language modelling, AI-driven code generation tools) AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) Language engineering for physical systems (e.g., CPS, IoT, digital twins) Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements)
最后更新 Dou Sun 在 2024-10-13
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
DSA | International Conference on Dependable Systems and Their Applications | 2023-05-25 | 2023-08-10 |
MIS4TEL | International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning | 2019-02-11 | 2019-06-26 |
ERMI-ISASS | ERMI International Conference on Information Science and Applied Social Sciences | 2018-01-15 | 2018-02-12 |
ADCO | International Conference on Advanced Computing | 2022-04-09 | 2022-04-23 |
ICACCP | International Conference on Advanced Computational and Communication Paradigms | 2018-09-30 | 2019-02-25 |
UBICNET | International Conference on Ubiquitous Communications and Network Computing | 2019-10-31 | 2020-02-28 |
ICSE | International Conference on Software Engineering | 2024-08-02 | 2025-04-26 |
ICCNS | International Conference on Communication and Network Security | 2024-10-15 | 2024-12-06 |
IC2E | International Conference on Cloud Engineering | 2024-04-12 | 2024-09-24 |
ICMEME | International Conference on Mechanical Engineering, Materials and Energy | 2016-12-03 | 2016-12-10 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
ROBOMECH Journal | 1.500 | Springer | 2197-4225 | |
b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
ISPRS Journal of Photogrammetry and Remote Sensing | 10.60 | Elsevier | 0924-2716 | |
Information Technology and Management | 2.300 | Springer | 1385-951X | |
International Journal on Bioinformatics & Biosciences | AIRCC | 1839-9614 | ||
c | IET Information Security | 1.300 | IET | 1751-8709 |
IEEE Transactions on Smart Grid | 8.600 | IEEE | 1949-3053 | |
Cryptography and Communications | 1.200 | Springer | 1936-2447 | |
International Journal of Information Management | 20.10 | Elsevier | 0268-4012 | |
Information Systems and e-Business Management | 2.300 | Springer | 1617-9846 |
全称 | 影响因子 | 出版商 |
---|---|---|
ROBOMECH Journal | 1.500 | Springer |
Journal of Functional Programming | 1.100 | Cambridge University Press |
ISPRS Journal of Photogrammetry and Remote Sensing | 10.60 | Elsevier |
Information Technology and Management | 2.300 | Springer |
International Journal on Bioinformatics & Biosciences | AIRCC | |
IET Information Security | 1.300 | IET |
IEEE Transactions on Smart Grid | 8.600 | IEEE |
Cryptography and Communications | 1.200 | Springer |
International Journal of Information Management | 20.10 | Elsevier |
Information Systems and e-Business Management | 2.300 | Springer |
推荐