the proceedings contain 15 papers. the special focus in this conference is on Requirements engineering: Foundation for software Quality. the topics include: Requirements engineering in the Planning Phase of a software...
ISBN:
(纸本)9783030731274
the proceedings contain 15 papers. the special focus in this conference is on Requirements engineering: Foundation for software Quality. the topics include: Requirements engineering in the Planning Phase of a software Ecosystem;power and Privacy in software Ecosystems: A Study on Data Breach Impact on Tech Giants;iterative and Scenario-based Requirements Specification in a System of Systems Context;Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview;saPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context;on Understanding the Relation of knowledge and Confidence to Requirements Quality;Automatic Detection of Causality in Requirement Artifacts: the CiRA Approach;improving Trace Link Recovery Using Semantic Relation Graphs and Spreading Activation;CORG: A Component-Oriented Synthetic Textual Requirements Generator;automatically Classifying Non-functional Requirements with Feature Extraction and Supervised Machine Learning Techniques: A Research Preview;adaptationExplore – A Process for Elicitation, Negotiation, and Documentation of Adaptive Requirements;Trustworthy AI Services in the Public Sector: What Are Citizens Saying About It?;defining Utility Functions for Multi-stakeholder Self-adaptive Systems.
the proceedings contain 19 papers. the topics discussed include: towards decision centric repository of architectural knowledge;construction of messaging-based enterprise integration solutions using AI planning;integr...
ISBN:
(纸本)9783642280375
the proceedings contain 19 papers. the topics discussed include: towards decision centric repository of architectural knowledge;construction of messaging-based enterprise integration solutions using AI planning;integration of application business logic and business rules with DSL and AOP;aspect-oriented change realization based on multi-paradigm design with feature modeling;on the evolution of component-basedsoftware;query processing using negative and temporal tuples in stream query engines;scalable store of java objects using range partitioning;performance analysis of interactive Internet systems for a class of systems with dynamically changing offers;information systems development based on visual domain specific language BiLingva;a mapping from normative requirements to event-B to facilitate verified data-centric business process management;and computations in graph rewriting: inductive types and pullbacks in DPO approach.
the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence ...
ISBN:
(纸本)9783642245589
the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence of components in self-adaptive systems;the safety-critical Java mission model: a formal account;verification of orchestration systems using compositional partial order reduction;domain-driven probabilistic analysis of programmable logic controllers;statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications;on fitting a formal method into practice;a formal engineering approach to high-level design of situation analysis decision support systems;conformance checking of dynamic access control policies;a knowledge-based verification method for dynamic access control policies;and distributed theorem proving for distributed hybrid systems.
In the automotive industry, according to ISO 26262, comprehensive testing is conducted to ensure software systems quality over various phases of the V-model. However, at the system integration and testing phase, a sig...
详细信息
Purpose: through the visualization analysis of the knowledge graph, this study explores the paper publication status, journal distribution, research strength, research hotspots and development trend of the research fi...
详细信息
暂无评论