Results 231 to 240 of about 37,638 (267)
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
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
David J. Duke, Michael D. Harrison
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
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