By employing Kripke structures as a common framework for system speciications, implementations, and abstractions, we study the standard means for relating a spec-iication to its reenement and for relating an implementatation to its abstraction. The classic tools of homomorphism and Galois connection are dissasembled and characterized in terms of binary simulation relations that possess desirabl...

I artikkelen setter forfatterne et kritisk søkelys på forskning og politikk der gutter jenter blir forstått gruppenivå. Særlig kommer gruppetenkning fram i evidensbasert om kjønnsforskjeller skolen. Ved å bruke biologiske forskjeller som forklaring, hevdes det at får dårligere karakterer enn jenter, mens opplever mer stress press gutter. Når praksis forankres denne typen forskning, kan bidra ti...