PENDIDIKAN AGAMA PASCA KONFLIK: PENDIDIKAN BERBASIS NILAI MULTIKULTURAL

Pendidikan agama yang berlandaskan nilai-nilai atau pendidikan untuk menghidupkan nilai sangat penting sebagai katalis bagi sikap dan perilaku positif peserta didik. Sikap dan perilaku positif dalam penelitian ini adalah saling menghargai, menghormati, dan toleransi. Penelitian ini menggunakan pendekatan kualitatif dengan desain grounded theory. Hasil dalam penelitian ini menemukan bahwa terdapat empat praktik pembelajaran yang diterapkan secara terpadu dan memiliki unsur menghidupkan nilai-nilai dalam upaya mendorong perdamaian. Praktik tersebut adalah: (1) kurikulum sekolah; (2) proses pembelajaran di kelas; (3) sistem pesantren; (4) kegiatan ekstrakurikuler dan praktik keagamaan. Nampak dari praktik tersebut mempengaruhi pandangan dan perilaku peserta didik dalam membangun serta menjaga perdamaian antar masyarakat Maluku yang beragam suku, budaya, dan agama

Des cas d'utilisation à une spécification B

Colloque avec actes et comité de lecture. nationale.National audienceCet article présente une approche pour développer une spécification B à partir d'un modèle des cas d'utilisation d'un système à construire. En exploitant la structuration du modèle des cas d'utilisation ainsi que sa complémentarité avec le modèle des classes du domaine d'application du même système, on propose de construire des machines abstraites B dont les opérations modélisent les cas d'utilisation; la spécification B pour un modèle des cas d'utilisation se compose des machines abstraites et l'implémentation correspondante pour les cas d'utilisation ainsi que les machines abstraites pour les classes et leurs associations. Notre proposition a un double avantage : d'une part, elle fournit un cadre pour analyser formellement la cohérence du modèle des besoins produit dans un processus de développement par objets; d'autre part, elle permet d'intégrer la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels

Formal techniques in the object-oriented software development: an approach based on the B method

Colloque sans acte à diffusion restreinte. internationale.International audienceWe address the problem of modeling in B object-oriented specifications. The contribution of this research is to give a way to a formal verification of object-oriented specifications by analyzing the corresponding B specifications. This is significant where B support tools are available. We can also use object-oriented specifications as tools for building B specifications. Thus, an approach for a practical and rigorous software development, which is based on object and B from the requirements elicitation to the executable code, is proposed

Automatic Translation from UML Specifications to B

Colloque avec actes et comité de lecture. internationale. Part of the 16th IEEE International Conference on Automated Software EngineeringInternational audienceThe translation from UML specifications to B specifications gives a way to use jointly UML and B in an unified, practical and rigorous software development. We can formally analyse UML specifications via their corresponding B formal specifications. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications, so the development of B specifications become easier. So far, the rules for mapping data elements from UML specifications into B have been proposed. However, the problem of translating UML behavioral diagrams into B specifications has been an open issue. This point is the main concern in this paper. We are planning to propose derivation schemes to translate automatically UML behavioral diagrams into B specifications. Furthermore, the combination between the object refinement and the B refinement is also investigated

PEMBENTUKAN DAN PROSES KREATIF PERSPEKTIF BEAVIORISME

Belajar merupakan kebutuhan pokok bagi setiap manusia untuk menuju pada kehidupan yang lebih baik dan maju. Namun pada kenyataanya, masyarakat masih belum menyadari akan pentingnya belajar dan ilmu pengetahuan untuk kehidupannya. Pada pembahasan ini menjelaskan pentingnya pembiasaan untuk belajar secara rutin, serta menumbuhkan kecintaan untuk mencari tahu ilmu-ilmu pengetahuan baru demi menunjang masa depan individu tersebut. Pokok pembahasan ini bertujuan untuk menjelaskan betapa pentingnya proses pembiasaan belajar untuk menjamin kehidupan setiap individu sebagai bekal masa depannya. Pembiasaan ini dapat di lakukan sedini mungkin sejak seorang anak berada di taman kanak-kanak atau sejak duduk di bangku sekolah dasar. Namun pembiasaan ini jangan sampai melebihi batas, harus di lakukan secara bertahap, memerlukan waktu dan proses yang cukup lama, dan tidak bisa sekaligus di paksakan pada setiap individu. Proses ini harus didasari dengan adanya rasa senang dalam dirinya untuk belajar tanpa adanya keterpaksaan dalam hatinya

Borte bra, men hjemme best? Kommunalt ansattes perspektiver og forventninger til kommunesammenslåing

Masteroppgave offentlig politikk og ledelse- Universitetet i Agder, 2015Norge står overfor en større kommunereform som sannsynligvis vil innebære stor grad av kommunesammenslåinger. Dette er kommunesammenslåinger som sannsynligvis vil få konsekvenser for tusenvis av kommuneansatte. Hvilke forventninger disse har til en slik organisasjonsendring som kommunesammenslåinger, er i liten grad blitt belyst og kartlagt tidligere. De kommunalt ansatte kan risikere å oppleve rasjonaliseringer, omstruktureringer og organisasjonsendringer på flere plan som følge av en kommunesammenslåing. Deres forventninger til en kommunesammenslåing blir undersøkt og kartlagt i denne avhandlingen. Formålet med masteroppgaven var å kartlegge hvilke forventninger det er blant kommunalt ansatte til en kommunesammenslåing og hva som skaper variasjon i disse forventningene. Caset som det er tatt utgangspunkt i er de kommunalt ansatte i Vennesla kommune i Vest-Agder og deres forventninger til en eventuell kommunesammenslåing med nabokommunen Kristiansand. Denne gruppens forventninger til kommunesammenslåing er viktig, fordi det antakelig er denne gruppen som først vil bli berørt av omorganiseringene og rasjonaliseringene slike kommunesammenslåinger kan medføre. Dessuten har mange kommunalt ansatte i kraft av sin posisjon mulighet til å påvirke utfallene av slike prosesser. Det er gjort et skille mellom tre perspektiver på forventninger til en slik reform. Disse tre perspektivene har jeg valgt å kalle for «organisasjonsperspektivet», «egeninteresseperspektivet» og «identitetsperspektivet». Dette bunner i at kommunalt ansatte kan ha forventninger knyttet til om en slik reform vil gagne organisasjonen og deres egen sektor faglig eller ei, om en slik reform vil gagne dem selv personlig eller ei, og sist om de forventer at en slik reform vil være identitetsmessig skadelig for kommunen. En kommune er en institusjon, et politisk og territorielt område. Teori rundt lokal identitet og har derfor vært relevant når det er snakk om en type reform som kommunesammenslåing. Det blir teoretisk gjort et skille mellom strukturelle- og demografiske trekk hos de kommunalt ansatte som kan være med på å forklare variasjon i disse forventningene til hva en reform som kommunesammenslåing vil innebære. Min konkrete problemstilling er derfor slik: «Hvilke forventninger er det blant kommunalt ansatte til kommunesammenslåing, og hva kan forklare variasjon i disse forventningene?» 5 Funnene i oppgaven min tyder på at det er forventninger knyttet til identitetsmessige spørsmål, og at en kommunesammenslåing kan skade lokalidentiteten og kommunens posisjon, som synes å dominere blant de kommunalt ansatte i mitt utvalg. Forventninger knyttet til faglige behov og hva som vil gagne kommunen og sin respektive sektor faglig og økonomisk, virker ikke å dominere blant de forventningene de kommunalt ansatte har til en kommunesammenslåing. Ei heller forventninger knyttet til egeninteressemessig berøring som en slik reform kan føre til hos de enkelte kommunalt ansatte, synes å være blant de sterkeste. Det er ellers demografiske trekk ved de kommunalt ansatte som deres bosted, oppvekststed og utdanning som synes å forklare mest av ulike forventninger til en kommunesammenslåing i denne gruppen

New Approach for Modeling State-Chart Diagrams in B

Rapport interne.An appropriate approach for integrating UML and B specification techniques allows us to map UML specifications into B specifications. Therefore, we can formally analyze an UML specification via the corresponding B formal specification. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications. Thus, an approach for a practical and rigorous software development, which is based on object and B from the requirements elicitation to the executable code, is proposed. In this paper, we address the problem of modeling UML state-chart diagrams in B, which has not been, so far, completely treated. We distinguish between event-based and activity-based parts of state-chart diagrams. We propose creating, for each part, a B specification. Because activities relate to class operations, we can use our previous work on modeling class operation for modeling the activity-based part. Hence, we consider here only the event-based part. A new approach for modeling events is proposed. The asynchronous communication amongst state-chart diagrams is also considered

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B

Colloque avec actes et comité de lecture. internationale.International audienceIn the continuity of our research on integration of UML and B, we address in this paper the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to automatically derive into B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also the OCL specifications for class operations

Derivation Schemes from OCL Expressions to B

Rapport interne.In the continuity of our research on integration of UML and B, we address in this paper the transformation from OCL (Object Constraint Language), which is part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases

Formalizing UML Behavioral Diagrams with B

Colloque avec actes et comité de lecture. internationale.International audienceAn appropriate approach for translating UML to B formal specifications allows one to use UML and B jointly in an unified, practical and rigorous software development. We formally analyze UML specifications via their corresponding B formal specifications. This point is significant because B support tools like \atelierb{} are available. We can also use UML specifications as a tool for building B specifications, so the development of B specifications become easier. This paper reports our recent results on formalizing UML behavioral diagrams in B notations. We are planning to present automatic derivation schemes from UML behavioral diagrams to B specifications. Our proposal together with the formalization in B of UML structure specifications provide a complete frameworks to translate UML specifications into B. We discuss also the perspectives for analyzing UML behavioral specifications via the derived B specifications