the proceedings contain 2 papers. the topics discussed include: automatic refactoring of single and multiple-view UML models using artificial intelligence algorithm;and towards a generic multidisciplinary models compo...
the proceedings contain 2 papers. the topics discussed include: automatic refactoring of single and multiple-view UML models using artificial intelligence algorithm;and towards a generic multidisciplinary models composition tool.
the proceedings contain 13 papers. the topics discussed include: propensity-dependent model for unbiased learning-to-rank;research on intellectualization of cost management system of power transmission and transformat...
ISBN:
(纸本)9781450397940
the proceedings contain 13 papers. the topics discussed include: propensity-dependent model for unbiased learning-to-rank;research on intellectualization of cost management system of power transmission and transformation project;research on the classification algorithm of Chinese language and literature system based on artificial intelligence technology;analysis of BIM and GIS fusion technology in railway information construction;node localization in rang-free 3D-WSNs using new DV-Hop algorithm based machine learning techniques;integrated mobile command platform for UAV operation, inspection and dispatching;automatic evaluation system of aerobics based on action recognition algorithm;heart sound detection based on bidirectional multilayer recurrent convolutional neural network;and visual analysis of Su Shi literature database in programming with R language and Ucinet and Citespace software.
the proceedings contain 9 papers. the topics discussed include: model-based task allocation in distributed softwaredevelopment;Argentina's offshore software industry - opportunities and challenges;reconciling off...
ISBN:
(纸本)9783642137839
the proceedings contain 9 papers. the topics discussed include: model-based task allocation in distributed softwaredevelopment;Argentina's offshore software industry - opportunities and challenges;reconciling offshore outsourcing with model based testing;the consortium for IT software quality;the economics of hiring and staff retention for an IT company in Russia;a smarter way: the softwareengineering method and theory initiative (Semat);a structured framework for managing offshore outsourcing risks on software support projects;on knowledge services for outsourcing professional development;the Catalan government prequalification strategy for softwaredevelopment suppliers;and global software project management: a case study.
the proceedings contain 84 papers. the topics discussed include: bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code;survey on textual notations for t...
ISBN:
(纸本)9789897581687
the proceedings contain 84 papers. the topics discussed include: bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code;survey on textual notations for the unified modeling language;a controlled experiment for evaluating the comprehensibility of UML action languages;modeling business process variants using graph transformation rules;choreography modeling in embedded systems domain requirements and implementation technologies;WebDPF: a web-based metamodeling and model transformation environment;formal MOF metamodeling and tool support;automating activities in MDE tools;MOF-VM: instantiation revisited;an empirical study on the perception of metamodel quality;supporting CRUD model operations from EOL to SQL;and extending graphical part of the interaction flow modeling language to generate rich internet graphical user interfaces.
the proceedings contain 17 papers. the special focus in this conference is on Model-Driven engineering and softwaredevelopment. the topics include: Survey on the applicability of textual notations for the unified mod...
ISBN:
(纸本)9783319663012
the proceedings contain 17 papers. the special focus in this conference is on Model-Driven engineering and softwaredevelopment. the topics include: Survey on the applicability of textual notations for the unified modeling language;using workflows to automate activities in MDE tools;schedulability analysis of pre-runtime and runtime scheduling algorithm of an industrial real time system;cognitive feedback and behavioral feedforward automation perspectives for modeling and validation in a learning context;automatically testing of multimodal interactive applications;automated web service composition testing as a service;software testing techniques revisited for OWL ontologies;certification of cash registers software;meta-tool for model-driven verification of constraints satisfaction;a model-driven adaptive approach for IoT security;identifying performance objectives to guide service oriented architecture layers;empirical investigation of scrumban in global softwaredevelopment;verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations;model-based architecture for learning in complex organization;an assessment environment for model-based learning management and an ontology-based and case-based reasoning supported workplace learning approach.
the proceedings contain 31 papers. the special focus in this conference is on softwareengineering and Formal Methods, Human-Oriented Formal Methods, Safety and Formal Methods, Foundations and Techniques for Open Sour...
ISBN:
(纸本)9783319152004
the proceedings contain 31 papers. the special focus in this conference is on softwareengineering and Formal Methods, Human-Oriented Formal Methods, Safety and Formal Methods, Foundations and Techniques for Open Source software Certification and Modeling and Knowledge Management Applications. the topics include: A usability evaluation of interactive theorem provers using focus groups;an approach for creating domain specific visualisations of CSP models;on a process algebraic representation of sequence diagrams;modelling and verification of survivability requirements for critical systems;a testing-based approach to ensure the safety of shared resource concurrent systems;a contracts-based framework for systems modeling and embedded diagnostics;ontology for learning processes in FLOSS communities;a latent representation model for sentiment analysis in heterogeneous social networks;use of mobile phone data to estimate visitors mobility flows;a mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer;retrieving points of interest from human systematic movements;path-sensitive race detection with partial order reduced symbolic execution and towards synthesis of attack trees for supporting computer-aided risk analysis.
As the present development process is more customer centric and demands quick delivery within a given budget. Agile softwaredevelopment represents a drastic change in softwaredevelopment approaches focusing more on ...
详细信息
the proceedings contain 43 papers. the topics discussed include: intelligent city construction resource optimization and scheduling algorithm based on T-S fuzzy neural network and deep data mining;research on domain t...
ISBN:
(纸本)9798400710100
the proceedings contain 43 papers. the topics discussed include: intelligent city construction resource optimization and scheduling algorithm based on T-S fuzzy neural network and deep data mining;research on domain text classification algorithm based on multi-granularity fusion;the impact of body posture on 3D spatial survey knowledge in VR simulated microgravity environment;a personalized virtual training method for human-machine safety interaction oriented toward human-centric manufacturing;research on softwaredevelopment methods for intelligent mobile robots;overview and analysis of the application of digital twin-based human-machine collaboration in the product development process;and decision making for postgraduate training based on differential evolution algorithm.
the proceedings contain 11 papers. the special focus in this conference is on Model-Driven engineering and softwaredevelopment. the topics include: Decomposable and Executable Models for Verification of...
ISBN:
(纸本)9783031388200
the proceedings contain 11 papers. the special focus in this conference is on Model-Driven engineering and softwaredevelopment. the topics include: Decomposable and Executable Models for Verification of Real-Time Systems;comparing Goal-Oriented Analysis Techniques: A Controlled Experiment;A Methodological Framework for SPL engineering from DSML;HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments;Dependency Graphs to Boost the Verification of SysML Models;acknowledging Implementation Trade-Offs When Developing with Units of Measurement;a Digital Twin Description Framework and Its Mapping to Asset Administration Shell;preface;Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies.
this paper presents a comprehensive assessment method of the security of open source components. the process is constructed using three analytical techniques: hierarchical analysis, expert scoring, and linear weightin...
详细信息
暂无评论