The proceedings contain 38 papers. The topics discussed include: verification via digitized models of real-time hybrid systems;revisiting measurement of software complexity;module coupling: a design metric;classificat...
ISBN:
(纸本)0818676388
The proceedings contain 38 papers. The topics discussed include: verification via digitized models of real-time hybrid systems;revisiting measurement of software complexity;module coupling: a design metric;classification of and experimentation on tool interfacing in software development environments;an interaction support mechanism in software development;assessing and restructuring of classes based on cohesion;improving the quality of classification tress via restructuring;a class testing technique based on data bindings;testing multi-media systems - a case study;towards a learner-centered approach to testing object-oriented design;and a framework of generating software process including milestones for object-oriented development method.
The proceedings contain 83 papers. The topics discussed include: exploring activity and contributors on GitHub: who, what, when, and where;the language of programming: on the vocabulary of names;efficient reinforcemen...
ISBN:
(纸本)9781665455374
The proceedings contain 83 papers. The topics discussed include: exploring activity and contributors on GitHub: who, what, when, and where;the language of programming: on the vocabulary of names;efficient reinforcement learning with generalized-reactivity specifications;automated generation of bug samples based on source code analysis;adversarial deep reinforcement learning for improving the robustness of multi-agent autonomous driving policies;empirical study of co-renamed identifiers;systematic analysis of defect-specific code abstraction for neural program repair;incorporating ethics in softwareengineering: challenges and opportunities;incremental relational topic model for duplicate bug report detection;and non-intrusive annotation-based domain-specific analysis to certify event-b models behaviors.
The proceedings contain 49 papers. The topics discussed include: a simultaneous project scheduling and resource binding method based on the load-capacity model;assessing teamwork performance in softwareengineering ed...
ISBN:
(纸本)9780769546094
The proceedings contain 49 papers. The topics discussed include: a simultaneous project scheduling and resource binding method based on the load-capacity model;assessing teamwork performance in softwareengineering education: a case in a softwareengineering undergraduate course;proving non-interference on reachability properties: a refinement approach;memory leak detection based on memory state transition graph;formal verification of software designs in hierarchical state transition matrix with SMT-based bounded model checking;an automated analysis of errors for BPM processes modeled using an in-house Infosys tool;STVL: improve the precision of static defect detection with symbolic three-valued logic;verification of distributed embedded real-time systems and their low-level implementations using timed CSP;and aspects and annotations for controlling the roles application classes play for design patterns.
The proceedings contain 95 papers. The topics discussed include: kurtosis and skewness adjustment for software effort estimation;applying gamification and posing to software development;transitioning from manual to au...
ISBN:
(纸本)9781728119700
The proceedings contain 95 papers. The topics discussed include: kurtosis and skewness adjustment for software effort estimation;applying gamification and posing to software development;transitioning from manual to automated software regression testing: experience from the banking domain;what do agile teams find important for their success?;what aspects do non-functional requirements in app user reviews describe?: an exploratory and comparative study;migration to software product line development of automotive body parts by architectural refinement with feature analysis;automated repair of data faults in templated spreadsheets;formal specification and model checking of the Walter-Welch-Vaidya mutual exclusion protocol for ad hoc mobile networks;scalable and extensible static memory safety analysis with summary over access path;and STAR: a specialized tagging approach for docker repositories.
The proceedings contain 61 papers. The topics discussed include: study of the impact of requirements volatility on software project performance;integrating use-case analysis and task analysis for interactive systems;a...
ISBN:
(纸本)0769518508
The proceedings contain 61 papers. The topics discussed include: study of the impact of requirements volatility on software project performance;integrating use-case analysis and task analysis for interactive systems;a feasible user story tool for agile software development?;refining exceptions using King and Morgan's exit construct;refining object-oriented invariants and dynamic constraints;using components to increase maintainability in a large telecommunication system;evaluating the scalability of enterprise JavaBeans technology;towards a taxonomy for guiding multimedia application development;extracting threads from concurrent objects for the design of embedded systems;a quality doctrine for software: do it right the first time;an account and appraisal of the ongoing development of the softwareengineering volume of CC2001 and its international applicability;and behavioral analysis of component framework with multi-valued transition system.
The proceedings contain 63 papers. The topics discussed include: improving the accuracy of software effort estimation based on multiple least square regression models by estimation error-based data partitioning;on the...
ISBN:
(纸本)9780769539096
The proceedings contain 63 papers. The topics discussed include: improving the accuracy of software effort estimation based on multiple least square regression models by estimation error-based data partitioning;on the relationship between different size measures in the software life cycle;investigating the effect of refactoring on software testing effort;extracting high-level functional design from software requirements;identifying fragments to be extracted from long methods;a graph based approach to detecting causes of implied scenarios under the asynchronous and synchronous communication styles;extracting environmental constraints to make reactive system specifications realizable;monitoring composite services with universal modal sequence diagrams;the context dynamics matrix (CDM): an approach to modeling context;tool support for component-based software architectures;and web services composition by I/O data structure correspondences.
The proceedings contain 11 papers. The topics discussed include: landscape of requirements engineering for machine learning-based AI systems;how data plays in the requirements of face recognition system: a concern dri...
ISBN:
(纸本)9781665438131
The proceedings contain 11 papers. The topics discussed include: landscape of requirements engineering for machine learning-based AI systems;how data plays in the requirements of face recognition system: a concern driven systematic literature review;goal-centralized metamodel based requirements integration for machine learning systems;reference model for agile development of machine learning-based service system;generation of oracles using natural language processing;an imbalanced deep learning model for bug localization;discovering authorship of vulnerabilities in open source software;detecting permission crashes of android apps using crawling and revoke operation injections;and constructing speech emotion recognition model based on convolutional neural network.
The proceedings contain 90 papers. The topics discussed include: exploring loss scenarios of STPA with reinforcement learning: a case study of platform screen door;sentiment analysis for requirements elicitation from ...
ISBN:
(纸本)9798350344172
The proceedings contain 90 papers. The topics discussed include: exploring loss scenarios of STPA with reinforcement learning: a case study of platform screen door;sentiment analysis for requirements elicitation from app reviews: a systematic mapping study;understanding developers’ contribution motivation in stack overflow: a systematic review;on the impact of development frameworks on mobile apps;investigating multi- and many-objective search for stability-aware configuration of an autonomous delivery system;detecting bot on GitHub leveraging transformer-based models: a preliminary study;exploring trade-offs in MLOps adoption;an empirical study on regression techniques for software defect number prediction;architectural design decisions for data communication of cyber-physical systems;and interpreting CodeBERT for semantic code clone detection.
The proceedings contain 58 papers. The topics discussed include: secrobat: secure and robust component-based architectures;a precise estimation technique for test coverage of components in object-oriented frameworks;a...
详细信息
ISBN:
(纸本)0769526853
The proceedings contain 58 papers. The topics discussed include: secrobat: secure and robust component-based architectures;a precise estimation technique for test coverage of components in object-oriented frameworks;an approach based on modeling dynamic behavior of the system to assess the implant of COTS upgrades;component composition through architectural patterns for problem frames;component-based development of MILLS: a case study in the development of an inter-library loan software system;adopting model-driven development for integrated services and appliances in home network systems;efficient component based softwareengineering using the TCEM methodology and the TCET tool;toward a code search engine based on the state-of-art and practice;security-oriented service composition and evolution;and a coupling-based complexity metric for remote component-based software systems toward maintainability estimation.
The proceedings contain 75 papers. The topics discussed include: test scenario generation for reliability tactics from UML sequence diagram;test case prioritization based on information retrieval concepts;sat-based bo...
ISBN:
(纸本)9781479974252
The proceedings contain 75 papers. The topics discussed include: test scenario generation for reliability tactics from UML sequence diagram;test case prioritization based on information retrieval concepts;sat-based bounded software model checking for embedded software: a case study;model checking of software product lines in presence of nondeterminism and probabilities;traceability-driven system development and its application to automotive system development;improving fuzzy analogy based software development effort estimation;runtime verification by convergent formula progression;reducing false alarms from an industrial-strength static analyzer by SVM;a goal-oriented design methodology of IT-driven business architecture;SYNCEYE: an availability measurement tool for embedded systems;API document quality for resolving deprecated APIs;an empirical study on interaction factors influencing bug reopenings;and initial industrial experience of GQM-based product-focused project monitoring with trend patterns.
暂无评论