Results 231 to 240 of about 2,124,931 (265)
Some of the next articles are maybe not open access.
Formal Extreme (and Extremely Formal) Programming
2003This paper is an exploratory work were the authors study how the technology of Formal Methods (FM) can interact with agile process in general and with Extreme Programming (XP) in particular. Our thesis is that most of XP practices (pair programming, daily build, the simplest design or the metaphor) are technology independent and therefore can be used ...
Ángel Herranz-Nieva +1 more
openaire +1 more source
Rethinking Formalisms in Formal Education
Educational Psychologist, 2012I explore a belief about learning and teaching that is commonly held in education and society at large that nonetheless is deeply flawed. The belief asserts that mastery of formalisms—specialized representations such as symbolic equations and diagrams with no inherent meaning except that which is established by convention—is prerequisite to applied ...
openaire +1 more source
From Informality and Formality to In|formality: Troubling Absolutism in Policymaking
Abstract This opening chapter introduces key debates in relation to informality in policymaking, laying the theoretical and conceptual groundwork for the individual empirical chapters, beginning with a provocation for how informality can alternatively be understood.Mason, J. +3 more
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Shang-Wei Lin, Palina Tolmach
exaly
Formal Linguistics and Formal Logic
1970The recent, and apparently growing, trend among linguists to ransack textbooks of logic might be merely an intellectual fashion, destined like all fashions to fade. But it would be foolish, if not insulting, simply to dismiss it in this way, especially as the interest has not been entirely one-sided.
openaire +1 more source
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020, Michael Fisher, Clare Dixon
exaly
Formale Verifikationsverfahren (Formal Verification)
it - Information Technology, 2001openaire +1 more source