The proceedings contain 100 papers. The topics discussed include: DCBlock: efficient module for unpaired image to image translation using GANs;a detect-and-modify region-based classifier to defend evasion attacks;cont...
ISBN:
(纸本)1891706500
The proceedings contain 100 papers. The topics discussed include: DCBlock: efficient module for unpaired image to image translation using GANs;a detect-and-modify region-based classifier to defend evasion attacks;controller synthesis for ROS-based multi-robot collaboration;understanding travel patterns of commuting private cars using big data of electronic registration identification of vehicles;TIMESIGHT: discovering time-driven insights automatically and fairly;modeling HiBrinto ontology to develop knowledge management portal for highway bridge construction;identifying security concerns based on a use case ontology framework;on the reuse of knowledge to develop intelligent softwareengineering solutions;detecting and modeling method-level hotspots in architecture design flaws;correct software by design for software-defined networking: a preliminary study;and dynamic architecture-implementation mapping for architecture-based runtime software adaptation.
The proceedings contain 144 papers. The topics discussed include: quality indicators in requirements elicitation;a UML profile oriented to the requirements collecting and analyzing for the multi-agent systems project;...
ISBN:
(纸本)1891706268
The proceedings contain 144 papers. The topics discussed include: quality indicators in requirements elicitation;a UML profile oriented to the requirements collecting and analyzing for the multi-agent systems project;business-object oriented requirements analysis framework for data warehouses;soft systems in requirements engineering: a case study;textual software requirements specifications in the context of software architecting;conditions for ignoring failures based on a requirements model;ontology-driven enterprise application integration;introduction of time and timing variability in usage model based testing;FLAT a fast lattice-based algorithm for test suite reduction;semantic document architecture for desktop data integration and management;using the whole structure of ontology for semantic relatedness measurement;and composer-science: a semantic service based framework for workflow composition in e-Science projects.
The proceedings contain 117 papers. The topics discussed include: a systematic mapping study of information retrieval approaches applied to requirements trace recovery;a framework for requirements specification of mac...
ISBN:
(纸本)1891706543
The proceedings contain 117 papers. The topics discussed include: a systematic mapping study of information retrieval approaches applied to requirements trace recovery;a framework for requirements specification of machine-learning systems;requirements debt: causes, consequences, and mitigating practices;on the implications of human-paper interaction for software requirements engineering education;identifying risks for collaborative systems during requirements engineering: an ontology-based approach;multi-label code smell detection with hybrid model based on deep learning;an enhanced data augmentation approach to support multi-class code readability classification;contrastive learning for multi-modal automatic code review;utilizing edge attention in graph-based code search;refactoring of object-oriented package structure based on complex network;adaptive prior-knowledge-assisted function naming based on multi-level information explorer;and a distributed graph inference computation framework based on graph neural network model.
The proceedings contain 128 papers The topics discussed include: information services in service oriented architecture - challenges and opportunities;metamodel access protocols for extensible aspect-oriented modeling;...
ISBN:
(纸本)9781627486606
The proceedings contain 128 papers The topics discussed include: information services in service oriented architecture - challenges and opportunities;metamodel access protocols for extensible aspect-oriented modeling;modeling complex software systems using an aspect extension of object-Z;collaboration support model of software development experiment;combining AI techniques into a legal agent-based intelligent tutoring system;a new method of value-adding treatment inference for rule-based uncertainty knowledge;using data mining schemes for improvement on system performance in virtual environments;an architecture based on multi-agent system and data mining for recommending research papers and researchers;GEOARM: an interoperable framework to improve geographic data preprocessing and spatial association rule mining;and a model-based design-for-verification approach to checking for deadlock in multi-threaded applications.
The proceedings contain 13 papers. The topics discussed include: using rationale to support pattern-based architectural design;business goals as architectural knowledge;architectural decision modeling with reuse: chal...
ISBN:
(纸本)9781605589671
The proceedings contain 13 papers. The topics discussed include: using rationale to support pattern-based architectural design;business goals as architectural knowledge;architectural decision modeling with reuse: challenges and opportunities;ETAK: tailoring architectural evolution by (re-)using architectural knowledge;using systematic mapping to explore software architecture knowledge;using wikis to support architectural knowledge management in global software development;a taxonomy of software architecture-based reliability efforts;architecture knowledge management during system evolution - observations from practitioners;developer refinement of runtime architectural structure;and improving understandability of architecture design through visualization of architectural design decision.
The proceedings contain 14 papers. The topics discussed include: SOA process decisions: new challenges in architectural knowledge modeling;architecting as decision making with patterns and primitives;software pre-patt...
ISBN:
(纸本)9781605580388
The proceedings contain 14 papers. The topics discussed include: SOA process decisions: new challenges in architectural knowledge modeling;architecting as decision making with patterns and primitives;software pre-patterns as architectural knowledge;towards architectural knowledge management practices for global software development;evolution styles to the rescue of architectural evolution knowledge;exploiting connector knowledge to efficiently disseminate highly voluminous data sets;multi-tiered designed rationale for change set based product line architectures;the application of knowledge-sharing workspace paradigm for software architecture processes;reference architecture knowledge representation;leveraging analysis-aided design decision knowledge in UML-based development of embedded systems;a value-based approach for document design decisions rationale: a replicate experiment;and an ontology-driven software architecture evaluation method.
The proceedings contain 80 papers. The topics discussed include: a patent data meta-path based technological risk prediction method;low-light image enhancement based on retinex reflectance compensation;external knowle...
ISBN:
(纸本)1891706594
The proceedings contain 80 papers. The topics discussed include: a patent data meta-path based technological risk prediction method;low-light image enhancement based on retinex reflectance compensation;external knowledge network based patent event extraction model;comparing machine learning and feature selection approaches for automated bug report assignment;automatically identifying planning comments in bug reports;code reachability visualization based on probabilistic model checking;validating secure cloud communication mechanisms of graphene with CSP-based modeling;a two-stage map-matching method for sparse trajectories with small-scale ground truth data;and digital twin system for river network based on graph neural network.
The proceedings contain 163 papers. The topics discussed include: transformations for rapid prototyping of time-critical applications;verification of optimization algorithms: a case study of a quadratic assignment pro...
ISBN:
(纸本)9781627486620
The proceedings contain 163 papers. The topics discussed include: transformations for rapid prototyping of time-critical applications;verification of optimization algorithms: a case study of a quadratic assignment problem solver;towards a theoretical model for evaluating the acceptance of model-driven measurement procedures (s);a systematic method for process tailoring based on knowledge reuse (s);autonomous reconfiguration procedures for EJB-based enterprise applications;Odyssey-MEC: model evolution control in the context of model-driven architecture;analyzing the impact of attribute noise on software quality classification;evaluating the accuracy of call graphs extracted with the Eclipse CDT;predicting change propagation in object-oriented systems: a control-call path based approach and associated tool;and a qualitative assessment of the reverse engineering capabilities of unit testing tools for understanding Java programs.
The proceedings contain 146 papers. The topics discussed include: visual specification of component-based slow intelligence systems;design of component-based slow intelligence systems and application to social influen...
ISBN:
(纸本)1891706292
The proceedings contain 146 papers. The topics discussed include: visual specification of component-based slow intelligence systems;design of component-based slow intelligence systems and application to social influence analysis;slow intelligence system and network management: a case study;extending software quality models - a sample in the domain of semantic technologies;a technology of profiling inter-procedural paths;a softwareengineering approach to user-driven control of the microgrid;a comparative study of different strategies for predicting software quality;criteria of human software evaluation: feature selection approach;a dual clustering approach to the extract class refactoring;an empirical study of software metrics selection using support vector machine;software defect prediction for high-dimensional and class-imbalanced data;and specification and runtime verification of API constraints on interacting objects.
The proceedings contain 58 papers. The topics discussed include: optimizing lies in state oriented domains based on genetic algorithms;onto-DOM: a question-answering ontology-based strategy for heterogeneous knowledge...
ISBN:
(纸本)9781627481533
The proceedings contain 58 papers. The topics discussed include: optimizing lies in state oriented domains based on genetic algorithms;onto-DOM: a question-answering ontology-based strategy for heterogeneous knowledge sources;knowledgeengineering for a fuzzy power plant process controller;asynchronous merging of software ontologies: an experience;analyzing and designing software architecture views driven by their relationships;a minimal OCL-based profile for model transformation;and empirically evaluating the usefulness of software visualization techniques in program comprehension activities.
暂无评论