The meaning of “formal”: from weak to strong formal methods
نویسندگان
چکیده
منابع مشابه
Two Weak Links in the Formal Methods
There has been considerable recent progress on the development of tools supporting the use of formal methods, as well as a better appreciation of the kinds of problems that are particularly suited for formal methods. Together with the availability of faster computers, these developments have resulted in some signiicant achievements for formal methods. This has lead to a degree of optimism and e...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملThe meaning of formal semantics
This paper considers some of the foundational issues of formal semantics. These issues include the nature of the data that is to be accounted for, the nature of the formalism used to characterise that data, and the criteria for determining whether a particular formal account is adequate. If the relevant data is merely the arguments and truth conditions that subjects agree with, then the terms i...
متن کاملRelationship between strong and weak generative power of formal systems
The relationship between strong and weak generative powers of formal systems is explored, in particular, from the point of view of squeezing more strong power out of a formal system without increasing its weak generative power. We examine a whole range of old and new results from this perspective. However, the main goal of this paper is to investigate the strong generative power of Lambek categ...
متن کاملon the comparison of keyword and semantic-context methods of learning new vocabulary meaning
the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 1997
ISSN: 1433-2779
DOI: 10.1007/s100090050002