Success in specification

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

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

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

منابع مشابه

the impact of e-readiness on ec success in public sector in iran the impact of e-readiness on ec success in public sector in iran

acknowledge the importance of e-commerce to their countries and to survival of their businesses and in creating and encouraging an atmosphere for the wide adoption and success of e-commerce in the long term. the investment for implementing e-commerce in the public sector is one of the areas which is focused in government‘s action plan for cross-disciplinary it development and e-readiness in go...

A success story of formal description techniques: Estelle specification

This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the...

متن کامل

ec adoption and critical success factors of ec in smes in iran

تجارت الکترونیکی شیوه اجرای مسئولیتها، تقابل با مشتریان و امور معمول عملیاتی در شرکتها را تغییر داده است. تجارت الکترونیکی در عمل تنها خرید و فروش کالاها را از طریق ابزار الکترونیک نمی باشد، بلکه تمام فعالیتهای لازم جهت انجام فرایند فروش را نیز در بر میگیرد. در اواخر دهه 1990 بسیاری از شرکتها فعالیتهای خود را به منظور دستیابی به مشتریان جدید و یا ارائه فرصتهای جدید به مشتریان موجود گسترش دادند...

Almost specification ‎and ‎renewality‎ in spacing shifts

‎Let $(Sigma_P,sigma_P)$ be the space of a spacing shifts where $Psubset mathbb{N}_0=mathbb{N}cup{0}$ and $Sigma_P={sin{0,1}^{mathbb{N}_0}: ‎s_i=s_j=1 mbox{ if } |i-j|in P cup{0}}$ and $sigma_P$ the shift map‎. ‎We will show that $Sigma_P$ is mixing if and only if it has almost specification property with at least two periodic points‎. ‎Moreover‎, ‎we show that if $h(sigma_P)=0$‎, ‎then $Sigma_...

متن کامل

Area-Specification affected by Industrial-Mineral Pollution in Isfahan Province

Air pollution is a consequence of human activities, especially in the period after industrial revolution, which has many (direct and indirect) effects on the human and the environment around him. Among different kinds of pollutions, those related to industries and mines are much more dangerous. Therefore, it is necessary to identify these pollutions and specify them so as to reduce the harmful ...

متن کامل

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


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

ژورنال

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

سال: 1994

ISSN: 0028-0836,1476-4687

DOI: 10.1038/368812a0