Demonstration of a Model-based Approach for Formal Verification of I&C Logics

This paper introduces a model-based methodology for conformity assessment of I&C logics using model checking analysis. The presented method extends our previous work of model-based, artefact-driven support for engineering of mission-critical systems. The approach includes an ontology and a data model for constructing a tool-supported data repository for the model checking artefacts. The repository brings to the assessment, among others, the benefits of traceability between requirements, claims and analysis results, and it acts as a sole source for information, avoiding distortion and fragmentation of data. For demonstrating and testing the capabilities of our approach, we performed an exemplary model checking task on an I&C related case study, storing all the created work items to the data repository created with Siemens' Polarion™ tool. Finally, we present a methodology for using the relations between the artefacts to automatically generate assessment reports and explore the capabilities of the selected tool for this task

PENGARUH KOMUNIKASI PEMASARAN DAN KERELASIAN NASABAH TERHADAP LOYALITAS NASABAH

Penelitian ini bertujuan untuk mengalisis pengaruh parsial dan simultan komunikasipemasaran dan relasi pelanggan terhadap loyalitas pelanggan. Objek penelitianadalah Usaha Kecil dan Menengah (UKM) di bank Jabar Banten. Suatu surveydilakukan untuk mengumpulkan data di kantor cabang Padalarang, dengan respondenadalah pengusaha UKM yang merupakan nasabah bank. Kuesioner menjadiinstrumen penelitian dan disebarkan kepada responden. Data yang terkumpuldianalisis menggunakan uji statistik F dan t. Hasil penelitian menunjukkan bahwakomunikasi pemasaran dan relasi pelanggan secara simultan mempengaruhi loyalitaspelanggan. Relasi pelanggan memiliki pengaruh parsial yang paling dominanterhadap loyalitas pelanggan