Compositional Construction and Reasoning Techniques for Software J.UCS Special Issue
نویسندگان
چکیده
منابع مشابه
Quo Vadis Abstract State Machines? J.UCS Special Issue
In introducing this special ASM issue of J.UCS we point out the particular role this Journal played in the short history of the ASM method and add some reflections on its current status. 1 J.UCS and the ASM Method The Journal of Universal Computer Science has marked some important steps of the development of the Abstract State Machines (ASM) method for a rigorous design and the mathematical ana...
متن کاملVirtual Environments for Collaborative Innovation and Learning J.UCS Special Issue
Networked technologies, especially social software applications, provide new affordances that facilitate collaborative creativity among staff members of organizations. This editorial paper gives an overview of the scope of this special issue which focuses on the design of virtual environments for collaborative innovation and learning.
متن کاملCollective Intelligence with Visualization and Multimedia J.UCS Special Issue
The aim of collective intelligence is to integrate single intelligence of individuals for dealing with highly complex problems [Levy 1994]. In practice, Web 2.0 applications like blogs and wikis have been developed to implement the collective intelligence. Such influences by collective intelligence have been an important issue in various knowledge-enhanced applications, e.g., information retrie...
متن کامل