نتایج جستجو برای: concretization

تعداد نتایج: 276  

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...

2008
Alain Faivre Christophe Gaston Pascale Le Gall Assia Touil

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...

Journal: :journal of cyberspace policy 0
saeedeh babaii ma degree on philosophy of science, amir kabir university of technology, tehran, iran mostafa taqavi associate professor, department of philosophy of science, sharif university of technology, tehran, iran

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...

2004
Ilkka Jormanainen

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, ...

2003
Dan Pescaru Pierre Crescenzo Philippe Lahire

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 ...

1999
Bob Coecke Isar Stubbe

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).

2009
Bernd Neumayr Katharina Grün Michael Schrefl

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...

2011
Yuan Lin Marie-Angélique Laporte Lucile Soler Isabelle Mougenot Thérèse Libourel

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...

Journal: :International journal of education and humanities 2022

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید