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.
generative artificial intelligence (AI) heavily disrupts engineering education. While it can promote better learning experiences, it can be misused for plagiarism. there are a number of studies promoting the benefits ...
详细信息
this work aims to compare two different Feature Extraction Algorithms (FEAs) viz. Principal component Analysis (PCA) and Linear Discriminant Analysis (LDA), using a K-Nearest Neighbor (KNN) classifier on the breast ca...
详细信息
ISBN:
(数字)9798331520762
ISBN:
(纸本)9798331520779
this work aims to compare two different Feature Extraction Algorithms (FEAs) viz. Principal component Analysis (PCA) and Linear Discriminant Analysis (LDA), using a K-Nearest Neighbor (KNN) classifier on the breast cancer Wisconsin (diagnostic) dataset, taken from the UC Irvine machine learning repository. the dataset was divided into a training and test dataset, by selecting 50, 60, 70 and 80% of the whole samples present into the dataset, respectively as the training dataset. the execution was deployed in ‘Google Colab Notebook’ and ‘Anaconda Navigator’, supporting Python 3.6 programming language. For both models, the most accurate values were found for 80% of the training dataset level. PCA provided the best accuracy as 97.37%. A total of 9 quality performance metric parameters such as sensitivity, specificity, positive and negative likelihood ratios, positive and negative predictive values, diagnostic odds ratio, Youden's index and F-1 score, were also obtained for the 80% training dataset level.
Software engineering demands generality and abstraction, performance demands specialization and concretization. generativeprogramming can provide both, but developing high-quality program generators takes a large eff...
详细信息
ISBN:
(纸本)9781450301541
Software engineering demands generality and abstraction, performance demands specialization and concretization. generativeprogramming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks withthe tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.
暂无评论