This paper initially examines theories proposed by Feenberg abouttechnical systems and alternative modernity, analyzes his thoughts, andconcludes that a framework of values needs to be provided in shapingtechnical systems. In a society like Iran, where policy makers are looking forthe realization of Islamic values, this framework of values is derived fromIslam. To explain the relationship betwe...

In a Model Driven Design process, model refinement methodologies allow one to denote system behaviors at several levels of abstraction. In the frame of a model-based testing process, benefits can be taken from such refinement processes by extracting test cases from the different intermediate models. As a consequence, test cases extracted from abstract models often have to be concretized in orde...

this paper initially examines theories proposed by feenberg abouttechnical systems and alternative modernity, analyzes his thoughts, andconcludes that a framework of values needs to be provided in shapingtechnical systems. in a society like iran, where policy makers are looking forthe realization of islamic values, this framework of values is derived fromislam. to explain the relationship betwe...

Algorithm visualization is an efficient way to teach programming. Several different visualization techniques have been developed in the past decades. The Concretization Environment Framework, CEF, combines algorithm visualization with concrete objects (e.g. Lego Mindstorms robots). CELM, Concretization Environment for Lego Mindstorms is an application of this framework. By using the framework, ...

class Vehicle { public int type; public abstract void start(); } /* Class Vehicle is the base for all vehicle hierarchy */ // file: Color.java // package OFLML_JavaCars; public class Color { } // file: Car.java // package OFLML_JavaCars; public class Car { public Color color; public void setColor(Color c) {}; public Color getColor() { return color; }; public void start() {}; } Figure 8.1 gives ...

We enlarge the hom-sets of categories of complete lattices by introducing ‘state transitions’ as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps (Parset).

Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and generalization. This, however, leads to accidental complexity, complicating maintenance and extension. Several modeling techniques, like deep instantiation, powertypes and materialization, have been proposed to reduce...

Molecular biologists, just like geneticists, make use of various experimental mechanisms and devices to conduct research and to validate or invalidate their theories or initial hypotheses. Mechanisms powered by information technology, called in silico, put data and analysis tools at the centre of the experiments, and are thus different from in vivo, ex vivo and in vitro mechanisms. Multiple res...

Whereas the theory of criminal constitution is still in stage contestation, reality that academic circles, practitioners and teachers are all their own way, beginnings law can not be found exact way to learn.The author hopes provide some learning reference for beginners by sorting out current mainstream crime constitution, turn main direction common among theories - constitutive elements, rathe...