The proceedings contain 36 papers. The topics discussed include: the status and prospect of process improvements in China;softwareprocesses for a changing world;principles for successful systems and softwareprocesse...
ISBN:
(纸本)9781450327541
The proceedings contain 36 papers. The topics discussed include: the status and prospect of process improvements in China;softwareprocesses for a changing world;principles for successful systems and softwareprocesses;guiding the adoption of software development methods;a case study on software ecosystem characteristics in industrial automation software;a business process simulation method supporting resource evolution;a model for analyzing estimation, productivity, and quality performance in the personal softwareprocess;refactoring planning and practice in agile software development: an empirical study;software domains in incremental development productivity decline;and a collaborative method for business process oriented requirements acquisition and refining.
The proceedings contain 36 papers. The topics discussed include: the status and prospect of process improvements in China;principles for successful systems and softwareprocesses;softwareprocesses for a changing worl...
ISBN:
(纸本)9781450327541
The proceedings contain 36 papers. The topics discussed include: the status and prospect of process improvements in China;principles for successful systems and softwareprocesses;softwareprocesses for a changing world;a model for analyzing estimation, productivity, and quality performance in the personal softwareprocess;COCOMO II parameters and IDPD: bilateral relevances;initial evaluation of data quality in a TSP software engineering project data repository;towards an understanding of enabling process knowing in global software development: a case study;a case study on software ecosystem characteristics in industrial automation software;softwareprocess simulation modeling: preliminary results from an updated systematic review;refactoring planning and practice in agile software development: an empirical study;and agile development with softwareprocess mining.
The proceedings contain 48 papers. The topics discussed include: manage the automotive embedded software development cost & productivity with the automation of a functional size measurement method (COSMIC);measure...
ISBN:
(纸本)9781479941742
The proceedings contain 48 papers. The topics discussed include: manage the automotive embedded software development cost & productivity with the automation of a functional size measurement method (COSMIC);measure the functional size of a mobile app: using the COSMIC functional size measurement method;defect density measurements using COSMIC - experiences with mobile apps and embedded systems;on automatically collectable metrics for software maintainability evaluation;performance measurement for cloud computing applications using ISO 25010 standard characteristics;software estimation: transforming dust into pots of gold?;defining technical risks in software development;the added value of enhancement function points - an empirical evaluation;and cost estimation of transition projects in application outsourcing: an empirical model.
The proceedings contain 70 papers. The topics discussed include: a service framework for multi-tenant enterprise application in SaaS environments;an automated approach for creating workload models from server log data...
ISBN:
(纸本)9789897580369
The proceedings contain 70 papers. The topics discussed include: a service framework for multi-tenant enterprise application in SaaS environments;an automated approach for creating workload models from server log data;estimators characteristics and effort estimation of software projects;reuse of semantic business process patterns;modularization compass - navigating the white waters of feature-oriented modularity;two swarm intelligence algorithms for the set covering problem;solving open-pit long-term production planning problems with constraint programming - a performance evaluation;a lightweight framework for graphical editors on android devices;a framework for process-based collaborative systems design;toward easy migration of client-server applications to the cloud;and semantic web technology for building information model.
The proceedings contain 75 papers. The topics discussed include: secure web engineering supported by an evaluation framework - preliminary report on a web engineering approach for secure applications supported by a co...
ISBN:
(纸本)9789897580079
The proceedings contain 75 papers. The topics discussed include: secure web engineering supported by an evaluation framework - preliminary report on a web engineering approach for secure applications supported by a conceptual evaluation framework for secure systems engineering;a collaborative platform for software evolution visualization - leveraging meta-model driven measurements with big data strengths;towards a method for combined model-based testing and analysis;integrating model-based formal timing analysis in the industrial development process of satellite on-board software;formal test-driven development with verified test cases;information models and transformation principles applied to servitization of manufacturing and service systems design;and toward a unified intercloud interoperability conceptual model for IaaS cloud service.
The proceedings contain 277 papers. The topics discussed include: similarity assessment of UML class diagrams using simulated annealing;CB-Cloudle and Cloud Crawlers;package cohesion classification;a case study in sta...
ISBN:
(纸本)9781479932788
The proceedings contain 277 papers. The topics discussed include: similarity assessment of UML class diagrams using simulated annealing;CB-Cloudle and Cloud Crawlers;package cohesion classification;a case study in stakeholder-oriented goal-modeling framework;enhancing deployment architecture for distributed softwaresystems with an active coordination model;softwareprocess risk measurement model based on Bayesian network;an integrated system for end-to-end traceability and requirements test coverage;the research of the test case prioritization algorithm for black box testing;indirect dependencies in dynamic reconfiguration of component-based systems;learning requirements analysis to software design transformation rules by examples: limitations of current ILP systems;generating policy for software project management decision support paradigm;and use of formal method in constructing safety-critical automotive software component.
The proceedings contain 21 papers. The topics discussed include: experiences from the design of an artifact model for distributed agile project management;scrum master activities: process tailoring in large enterprise...
ISBN:
(纸本)9781479943616
The proceedings contain 21 papers. The topics discussed include: experiences from the design of an artifact model for distributed agile project management;scrum master activities: process tailoring in large enterprise projects;towards rapid releases in large-scale XaaS development at Ericsson: a case study;awareness and merge conflicts in distributed software development;exploring the impact of API complexity on failure-proneness;the interplay among trust, risk, and reliance in global systems engineering teams;the effects of continuous awareness on distributed software development;a participant recruitment framework for crowdsourcing based software requirement acquisition;spreadsheets as collaborative technologies in global requirements change management;reporting and assessment of static analysis policies in a globally distributed organization;and lean transformation: how lean helped to achieve quality, cost and schedule: case study in a multi location product development team.
The proceedings contain 31 papers. The special focus in this conference is on software Engineering 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 software Engineering 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.
暂无评论