Human creativity needs improvement in contemporary society. Due to the fast development and pervasive utilisation, computing has been a good servant to support creativity. It is not only utilised to facilitate creativ...Human creativity needs improvement in contemporary society. Due to the fast development and pervasive utilisation, computing has been a good servant to support creativity. It is not only utilised to facilitate creativity research, but also leveraged to assist creative activities in everyday life. Up to now, people have never stopped exploring the great potentials of computing to facilitate human creativity. Various new concepts of computing are currently emerging, especially creative computing that inspires a novel approach to improving human creativity. This paper presents a comprehensive review of Creative Computing. including its origin, scope, research and applications.展开更多
Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal seme...Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simp1eexample, this paper introduces how to analyze consistency and completeness of requirements specifica-tlons.展开更多
文摘Human creativity needs improvement in contemporary society. Due to the fast development and pervasive utilisation, computing has been a good servant to support creativity. It is not only utilised to facilitate creativity research, but also leveraged to assist creative activities in everyday life. Up to now, people have never stopped exploring the great potentials of computing to facilitate human creativity. Various new concepts of computing are currently emerging, especially creative computing that inspires a novel approach to improving human creativity. This paper presents a comprehensive review of Creative Computing. including its origin, scope, research and applications.
文摘Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simp1eexample, this paper introduces how to analyze consistency and completeness of requirements specifica-tlons.
