the following topics are dealt with: formal specification languages;measuring and modeling the software process;version control;user interface support;software process assessments and improvements;support for evolutio...
详细信息
ISBN:
(纸本)0897912160
the following topics are dealt with: formal specification languages;measuring and modeling the software process;version control;user interface support;software process assessments and improvements;support for evolution and reuse;database support;artificial intelligence in softwareengineering;and improving software processes. 26 papers, and presentations at 7 panels, are published in the present proceedings.
the proceedings contains 46 papers from the conference on the proceedings of the Joint 8th European softwareengineeringconference (ESEC) 9th ACM SIGSOFT Symposium on the Foundation of softwareengineering (FSE-9). T...
详细信息
the proceedings contains 46 papers from the conference on the proceedings of the Joint 8th European softwareengineeringconference (ESEC) 9th ACM SIGSOFT Symposium on the Foundation of softwareengineering (FSE-9). Topics discussed include: taming architectural evolution;deadlock detection in distributed object systems;a micromodularity mechanism;interface automata and using symbolic execution for verifying safety-critical systems.
In this study, 557 journal articles on the topic of green logistics included in the CNKI database between 2001 and 2023 were subjected to visualization and analysis using CiteSpace software. By analyzing the number of...
详细信息
In this study, 557 journal articles on the topic of green logistics included in the CNKI database between 2001 and 2023 were subjected to visualization and analysis using CiteSpace software. By analyzing the number of articles published in recent years, the source of literature, the co-occurrence of keywords, and the clustering, a knowledge map of this field of research in China was constructed. the findings of the study indicate that the collaboration between authors and institutions in this research domain in China is not yet characterized by a high level of proximity, exhibiting a tendency towards extensive dispersion and limited concentration. the research focus has gradually shifted from the theoretical to the practical level of exploration over time. A summary and analysis of the emergent words reveals that the dominant research directions in this field are the circular economy and the green economy. Additionally, the aggregation of the logistics industry represents a novel research topic.
the proceedings contain 8 papers. the topics discussed include: advanced study of SDN/OpenFlow controllers;DPMine/P: modeling and process mining language and ProM plug-ins;evolutionary software development using proce...
ISBN:
(纸本)9781450326414
the proceedings contain 8 papers. the topics discussed include: advanced study of SDN/OpenFlow controllers;DPMine/P: modeling and process mining language and ProM plug-ins;evolutionary software development using procedural-parametric programming;forecasting software development project characteristics using meta-modeling;GLR-based abstract parsing;lightweight Linux dynamic libraries profiling technique for embedded systems;lock manager for own product;QReal:robots - an environment for teaching computer science and robotics in schools;static analysis for dynamic updates;and the role of configuration management in outsourcing and distributed development.
the proceedings contain 16 papers. the special focus in this conference is on softwareengineering. the topics include: Towards Automatic Test Case Generation for Industrial software Systems based on Functional Specif...
ISBN:
(纸本)9783030892463
the proceedings contain 16 papers. the special focus in this conference is on softwareengineering. the topics include: Towards Automatic Test Case Generation for Industrial software Systems based on Functional Specifications;promise Plus: Flexible Synchronization for Parallel Computations on Arrays;Term Rewriting on GPUs;solving Systems of Bilinear Equations for Transition Rate Reconstruction;runtime Monitoring Processes Across Blockchains;protocol Scheduling;systematic Extraction of Tests from Object-Oriented Programs;introducing Interval Differential Dynamic Logic;preface;deadlock in Packet Switching Networks;Extending OCL with Map and Function Types;event-Driven Temporal Logic Pattern for Control software Requirements Specification;a Program Logic for Fresh Name Generation;adding Proof Calculi to Epistemic Logics with Structured knowledge.
the proceedings contains 22 papers. Topics discussed include softwareengineering in education, software process improvement, group projects in softwareengineering, graduate softwareengineering education, software t...
详细信息
the proceedings contains 22 papers. Topics discussed include softwareengineering in education, software process improvement, group projects in softwareengineering, graduate softwareengineering education, software tools, professional training.
the proceedings contains 45 papers from the Joint 9th European softwareengineeringconference (ESEC) & 11th SIGSOFT Symoposium on the Foundations of softwareengineering (FSE-11). the topics discussed include: co...
详细信息
ISBN:
(纸本)1581137435
the proceedings contains 45 papers from the Joint 9th European softwareengineeringconference (ESEC) & 11th SIGSOFT Symoposium on the Foundations of softwareengineering (FSE-11). the topics discussed include: computer modeling and natural phenomena;assessing software projects-tools for business owners;behavior model elaboration using partial labeled transition systems;towards the compositional verification of real-time UML designs;refinement and multidimensional separation of concerns and validating UML models against architectural profiles.
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 basedsoftware 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 20 papers. the topics discussed include: a system development process with event-B and the Rodin platform;challenges in software certification;integrating formal methods with system management;...
详细信息
ISBN:
(纸本)9783540766483
the proceedings contain 20 papers. the topics discussed include: a system development process with event-B and the Rodin platform;challenges in software certification;integrating formal methods with system management;a verification framework for agent knowledge;from model-based design to formal verification of adaptive embedded systems;machine-assisted proof support for validation beyond simulink;integrating specification-based review and testing for detecting errors in programs;testing for refinement in CSP;automating refinement checking in probabilistic system design;model checking propositional projection temporal logic based on SPIN;a denotational semantics for Handel-C hardware compilation;automatic generation of verified concurrent hardware;modeling and verification of master/slave clock synchronization using hybrid automata and model-checking;and efficient symbolic execution of large quantifications in a process algebra.
暂无评论