Coalgebraic Component Specification and Verification in RSL

Research on non-structural system group decision-making problems largely depends on the knowledge and experience of the experts for tactical analysis. The usual method of voting may result in a great loss of information in case of much renunciation, and the accuracy of voting can therefore be direct...

Full description

Saved in:
Bibliographic Details
Main Authors: Sun Meng, Aichernig, B.K., Zhang Naixiao
Format: Conference Proceeding
Language:English
Subjects:
Assembly systems
Computer industry
Computer interfaces
Computer science
group decision-makin
Network address translation
non-structural system
Programming
renunciation
Software engineering
Specification languages
State-space methods
Sun
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Research on non-structural system group decision-making problems largely depends on the knowledge and experience of the experts for tactical analysis. The usual method of voting may result in a great loss of information in case of much renunciation, and the accuracy of voting can therefore be directly influenced.This paper proposes a new solution to non-structural system group decision-making problems by taking advantage of the characteristics of correlate and the information easy to lose to make an overall analysis of the ayes, blackballs and renunciation polls for an accurate result.
ISSN:2379-5352
DOI:10.1109/PDCAT.2005.100