Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: programowanie logiczne

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.

Modeling fuzzy intervals with constraint logic programming

Kobylański P.

Prace Naukowe Politechniki Warszawskiej. Elektronika

2008

z. 165

9-22

In this paper the method of modeling fuzzy intervals in fuzzy decision-making is presented. Described method makes use of constraint logic programming and it is based on the concept of descriptors. This approach is very general and it is consistent with Zadeh's extension principle and Bellman-Zadeh concept of fuzzy decision making. It fulfills Klir's requisite constraint and deals effectively with a drowning effect too. The idea of descriptors of fuzzy intervals and fuzzy constraints is illustrated with computational example of flexible scheduling problem in which robust for drowning effect schedule is found.

Database access design using linked object-oriented and logic programming

Filutowicz Z., Strzelecki R.

Journal of Applied Computer Science

1998

Vol. 6, nr 1

25-36

The paper presents main characteristics of object-oriented and logic programming. Although different in assumptions, in numerous applications these two programming styles turn out complementary to each other. To model real world objects and their behaviour the most efficient method should be chosen. On the basis of an intelligent" database design it has been shown that the combination of the C++ language (MS Visual), Prolog (Amzi! Prolog+ Logic Server) and the relational database (MS Access) is functional and worth applying.