the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient co...
ISBN:
(纸本)9781605582672
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functional programming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.
the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reifi...
ISBN:
(纸本)9781605588629
the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reification and advice of interrelated join points;extending aspectJ for separating regions;a language and framework for invariant-driven transformations;JavaGI in the battlefield: practical experience with generalized interfaces;classifying java class transformations for pervasive virtualized access;advanced runtime adaptation for java;hotwave: creating adaptive tools with dynamic aspect-oriented programming in java;generating safe template languages;abstract parsing for two-staged languages with concatenation;synthesis of fast programs for maximum segment sum problems;a generativeprogramming approach to developing pervasive computing systems;and algorithms for user interfaces.
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature...
ISBN:
(纸本)9781450311298
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature models from derived features;synthesizing iterators from abstraction functions;package templates: a definition by semantics-preserving source-to-source transformations to efficient java code;an inheritance system for structural & behavioral reuse in component-based software programming;a three-level component model in component based software development;pushouts in software architecture design;pol: specification-driven synthesis of architectural code frameworks for platform-based applications;faster program adaptation through reward attribution inference;and a calculus for modeling and implementing variation.
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preproce...
ISBN:
(纸本)9781450306898
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preprocessor-based software product lines;investigating the safe evolution of software product lines;static analysis of aspect interaction and composition in component models;infrastructure for component-based dds application development;generation of geometric programs specified by diagrams;model-driven engineering and run-time model-usage in service robotics;generating database migrations for evolving web applications;pragmatics for formal semantics;application of model based development to flexible code generation;Firepile: run-time compilation for GPUs in scala;and monitoring aspects for the customization of automatically generated code for big-step models.
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova:...
详细信息
ISBN:
(纸本)3540291385
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova: introducing modularity into the Bossa domain-specific language;model compiler construction based on aspect-oriented mechanisms;shadow programming: reasoning about programs using Lexical join point information;generalized type-based disambiguation of meta programs with concrete object syntax;semi-inversion of guarded equations;a generativeprogramming approach to interactive information retrieval: insights and experiences;and optimizing marshalling by run-time program generation.
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to60;programming;digital Twin Tutorial: the Incubator Case Study...
ISBN:
(纸本)9789819646555
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to programming;digital Twin Tutorial: the Incubator Case Study;AI components for High Integrity, Safety-Critical Human-Cyber-Physical Systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;software engineering Experiences of an Optimist;Automating component-Based Embedded Software Construction via Formal Synthesis and LLMs.
Steganography is one of most important techniques for covert communication. In recent years, generative steganography, which transforms a secret information into a generated picture, is a prospective steganography-res...
详细信息
Artificial intelligence (AI) is a pivotal technology driving the next industrial revolution and shaping the future of education. this research focuses on developing a learner-centered educational environment that leve...
详细信息
暂无评论