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 59 papers. the topics discussed include: practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains - a survey...
ISBN:
(纸本)9781450324762
the proceedings contain 59 papers. the topics discussed include: practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains - a survey;survey on research synthesis in softwareengineering;in quest for requirements engineering oracles: dependent variables and measurements for (good) re;a visual analysis approach to update systematic reviews;a systematic literature review for agile development processes and user centered design integration;UML consistency rules: a systematic mapping study;how do software developers experience team performance in lean and agile environments?;automatic extraction of developer expertise;evaluating software merge quality;an empirical investigation of the factors affecting agile usage;and knowledge sharing for common understanding of technical specifications through artifactual culture.
the proceedings contains 53 papers. Topic discussed include software development, program understanding and analysis, softwareengineering, automated test data generation, applications of object orientation, analysis ...
详细信息
the proceedings contains 53 papers. Topic discussed include software development, program understanding and analysis, softwareengineering, automated test data generation, applications of object orientation, analysis of distributed systems, software quality management, software reuse metrics, configuration management, software process management, software architecture design, maintenance, testing algorithms, interface prototyping, dataflow testing.
the proceedings contain 79 papers. the topics discussed include: live code smell detection of data clumps in an integrated development environment;visualizing dynamic data-flow analysis of object-oriented programs bas...
ISBN:
(纸本)9789897586477
the proceedings contain 79 papers. the topics discussed include: live code smell detection of data clumps in an integrated development environment;visualizing dynamic data-flow analysis of object-oriented programs based on the language server protocol;multivocal literature review on non-technical debt in software development: an exploratory study;compaction of spacecraft operational models with metamodeling domain knowledge;predictive power of two data flow metrics in software defect prediction;requirements elicitation and modelling of artificial intelligence systems: an empirical study;a distance-based feature selection approach for software anomaly detection;rethinking certification for higher trust and ethical safeguarding of autonomous systems;managing domain analysis in software product lines with decision tables: an approach for decision representation, anomaly detection and resolution;towards automated prediction of software bugs from textual description;and features and supervised machine learning based method for singleton design pattern variants detection.
the proceedings contain 50 papers. the topics discussed include: the electronic medical record: a temporal multimedia database;using shape patterns for clustering unstructured text documents;natural-inspired data clus...
ISBN:
(纸本)9781615672417
the proceedings contain 50 papers. the topics discussed include: the electronic medical record: a temporal multimedia database;using shape patterns for clustering unstructured text documents;natural-inspired data clustering: a hybridization between ant clustering and particle swarm optimization;military route planning in battle field simulations for a multi-agent system;denotational semantics for social communication among agents;an application for tree detection using satellite imagery and vegetation data;software development aspects of a mobile food ordering system;towards a change propagation process in software architecture Mohamed;a hybrid heuristic approach to optimize rule-based software quality estimation models;rearchitecting meta-modeling foundation: a formal approach;a survey on model driven software development;and test suites effectiveness from sequence diagrams and function call trees.
the proceedings contain 103 papers. the topics discussed weighted distance grey wolf optimization with immigration operation for global optimization problems;primate swarm algorithm for continuous optimization problem...
ISBN:
(纸本)9781509055043
the proceedings contain 103 papers. the topics discussed weighted distance grey wolf optimization with immigration operation for global optimization problems;primate swarm algorithm for continuous optimization problems;a three-ratio SACRO-based particle swarm optimization with local search scheme for the multidimensional knapsack problem;nature-inspired optimization method : hydrozoan algorithm for solving continuous problems;a scheme of criminal law knowledge acquisition using ontology;medical concept extraction: a comparison of statistical and semantic methods;intelligent integrated coking flue gas indice prediction;text mining and pattern clustering for relation extraction of breast cancer and related genes;knowledge management system for failure analysis in hard disk using case-based reasoning;condensed object representation with corner HOG features for object classification in outdoor scenes;recovering camera motion from points and lines in stereo images: a recursive model-less approach using trifocal tensors;batch-based flash crowd relaxation in cloud-assisted P2P live streaming;an analysis of random forest algorithm based network intrusion detection system;and online tendering and evaluation for public procurement in Tanzania.
the proceedings contain 27 papers. the topics discussed include: answering a request for proposal - challenges and proposed solutions;impediments to requirements-compliance;how architects see non-functional requiremen...
ISBN:
(纸本)9783642287138
the proceedings contain 27 papers. the topics discussed include: answering a request for proposal - challenges and proposed solutions;impediments to requirements-compliance;how architects see non-functional requirements: beware of modifiability;research preview: prioritizing quality requirements based on software architecture evaluation feedback;a simulation approach for impact analysis of requirement volatility considering dependency change;collaborative resolution of requirements mismatches when adopting open source components;choose your creativity: why and how creativity in requirements engineering means different things to different people;aligning mal-activity diagrams and security risk management for security requirements definitions;providing software product line knowledge to requirements engineers - a template for elicitation instructions;and trace queries for safety requirements in high assurance systems.
the proceedings contain 54 papers. the topics discussed include: an empirical study on groupware support for software inspection meetings;analysis of inconsistency in graph-based viewpoints: a category-theoretic appro...
ISBN:
(纸本)0769520359
the proceedings contain 54 papers. the topics discussed include: an empirical study on groupware support for software inspection meetings;analysis of inconsistency in graph-based viewpoints: a category-theoretic approach;deriving user interface requirements from densely interleaved scientific computing applications;fault localization with nearest neighbor queries;tool-assisted unit test selection based on operational violations;a new structural coverage criterion for dynamic detection of program invariants;specification and synthesis of hybrid automata for physics-based animation;debugging overconstrained declarative models using unsatisfiable cores;automated environment generation for software model checking;and automatically inferring concern code from program investigation activities.
暂无评论