Compositional Construction and Reasoning Techniques for Software J.UCS Special Issue

نویسندگان

  • Farhad Arbab
  • Joost N. Kok
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005