会议信息
SLE 2025: International Conference on Software Language Engineering
https://www.sleconf.org/2025/
截稿日期:
2025-03-04 Extended
通知日期:
2025-04-15
会议日期:
2025-06-12
会议地点:
Koblenz, Germany
届数:
18
浏览: 15952   关注: 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 在 2025-03-01
相关会议
相关期刊
CCF全称影响因子出版商ISSN
Journal of Machine EngineeringWroclaw Board of Scientific Technical1895-7595
International Journal of Agent-Oriented Software EngineeringInder Science Publishers1746-1375
SoftwareX2.400Elsevier2352-7110
International Journal on Bioinformatics & BiosciencesAIRCC1839-9614
cInternational Journal of Geographical Information Science4.300Taylor & Francis1365-8816
cEURASIP Journal on Information Security2.500Springer1687-417X
IEEE Transactions on Smart Grid9.8IEEE1949-3053
Constraints0.500Springer1383-7133
Foundations and Trends in Machine LearningNow Publishers Inc.1935-8237
Graphs and Combinatorics0.600Springer0911-0119