the proceedings contain 22 papers. the topics discussed include: SagaMAS: a software framework for distributed transactions in the microservice architecture;source code metrics to predict the properties of FPGA/VHDL-b...
ISBN:
(纸本)9781538665770
the proceedings contain 22 papers. the topics discussed include: SagaMAS: a software framework for distributed transactions in the microservice architecture;source code metrics to predict the properties of FPGA/VHDL-based synthesized products;what is programming? putting all together - a set of skills required;B-learning in the teaching-learning of Boolean function simplification;adaptation of the initial software development method for a single developer;ROKA a software development methodology for industrial automation;design of experiments applied to a softwareengineering project based on knowledge processes;and how to select the appropriate pattern of human-computer interaction?: a case study with junior programmers.
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 withthe Eclipse CDT;predicting change propagation in object-oriented systems: a control-call pathbased approach and associated tool;and a qualitative assessment of the reverse engineering capabilities of unit testing tools for understanding Java programs.
the proceedings contain 93 papers. the topics discussed include: software quality model based on software development approaches;effects of dependency injection on maintainability;improved decision-making for software...
ISBN:
(纸本)9780889867055
the proceedings contain 93 papers. the topics discussed include: software quality model based on software development approaches;effects of dependency injection on maintainability;improved decision-making for software managers using Bayesian networks;calibrated estimation model for a maintenance project;a new model for evaluating performability under the effects of software aging and rejuvenation;towards a compliance support framework for global software companies;improving the quality of knowledge representation for requirements engineeringthrough natural language requirements patterns;empirical evaluation of issue based variability modeling using the experimental survey technique;capturing behavior coordination in goal-oriented requirement engineering;and considering environmental function in reliability growth modeling from testing to operation.
Since most communications in vehicular networks rely on wireless transmissions, information broadcast by vehicles is highly susceptible to interception and eavesdropping by third parties, making it vulnerable to vario...
详细信息
the proceedings contain 7 papers. the topics discussed include: collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems;experience management with task-configu...
the proceedings contain 7 papers. the topics discussed include: collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems;experience management with task-configurations and task-patterns for descriptive data mining;experience management with task-configurations and task-patterns for descriptive data mining;knowledge compilation for description logics;using UML for knowledgeengineering - a critical overview*;knowledge-based approach to the executable design concept*;and proposal of generalized rule programming model*.
the proceedings contain 134 papers. the topics discussed include: constructing self-adaptive systems with polymorphic software architecture;an empirical exploratory study on inferring developers9; activities from l...
ISBN:
(纸本)9781627486613
the proceedings contain 134 papers. the topics discussed include: constructing self-adaptive systems with polymorphic software architecture;an empirical exploratory study on inferring developers' activities from low-level data;a framework for selecting agile practices and defining agile software processes;a proposal to delegate GUI implementation using a source code based model;common coupling as a measure of reuse effort in kernel-basedsoftware;QSEE Project: an experience in outsourcing software development for space applications;analyzing configuration management repository data for software process improvement;smooth quality oriented component integration through product line based aspect-oriented component adaptation;metrics of credibility and interaction quality: design and evaluation;automated test code generation from UML protocol state machines;and NLForSpec: translating natural language descriptions into formal test case specifications.
the proceedings contain 37 papers. the topics discussed include: automatic generation method of relation matrix for ISM;support method for source code modification in changing GUI widgets;a method for extracting unexp...
ISBN:
(纸本)1586036408
the proceedings contain 37 papers. the topics discussed include: automatic generation method of relation matrix for ISM;support method for source code modification in changing GUI widgets;a method for extracting unexpected scenarios of embedded systems;automatic creation of a countermeasure plan against process delay based on fast-tracking;detecting defects in object oriented designs using design metrics;exploring an open source data mining environment for software product quality decision making;deep semantics of visual languages;integrated system analysis environment for the continuous consistency and completeness checking;defect rate profile in large software-systems;information flow diagram and analysis method for unexpected obstacle specification of embedded software;and a generation method of exceptional scenarios from a normal scenario.
the proceedings contain 7 papers. the topics discussed include: a lightweight architecture of an ECA rule engine for web browsers;a model-driven method for automatic generation of rule-based web applications;design pr...
the proceedings contain 7 papers. the topics discussed include: a lightweight architecture of an ECA rule engine for web browsers;a model-driven method for automatic generation of rule-based web applications;design process ontology - approach proposal;a data structure for the refactoring of multimodal knowledge;evaluating the intelligibility of medical ontological terms;HaDEs - presentation of the HeKatE design environment;and JSON rules - the JavaScript rule engine.
In this study, a three-dimensional (3D) numerical modeling is carried out using the finite element software PLAXIS 3D to evaluate the induced deformations under the foundation of adjacent building due to the advanceme...
详细信息
the proceedings contain 7 papers. the topics discussed include: OntoMetaWorkflow: an ontology for representing data and users in workflows;anomaly detection in DiaFlux models;proposal of a hierarchical approach to for...
the proceedings contain 7 papers. the topics discussed include: OntoMetaWorkflow: an ontology for representing data and users in workflows;anomaly detection in DiaFlux models;proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods;architecture for the use of synergies between knowledgeengineering and requirements engineering;mashups: behavior in context(s);model-driven rich user interface generation from ontologies for data-intensive web applications;and Loki - presentation of logic-based semantic wiki.
暂无评论