Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: programming tools

Sortuj według:

Ogranicz wyniki do:

Logic programming tools for formal software specification

Przymusińska H.

Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki

2011

nr 6

67--73

Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.

Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.

Concept of global open system for designing intelligent machine tools as IMS modules

Jędrzejewski J., Kowal Z., Kwaśny W., Modrzycki W.

Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

2000

Vol. 76, nr 35

197-207

An idea of a system for designing intelligent machining centres and cells is presented. This is a universally accessible, distributed global system comprising unformalized knowledge, programming tools, methods and procedures applicable to the design of machines, on the basis of which an intelligent machining system, particularly its intelligent functions, can be created, The structure of knowledge bases for the design system which includes subject blocks containing specified and recorded knowledge related to the design of machining centres and cells has been defined.