Sensitivity
=
∑ Condition Positive ∑ True Positive
Specificity
=
∑condition negatives ∑ True Negatives
c Formal Verification
Formal Verification adalah proses membangun sebuah bukti
bahwa sistem target akan berperilaku sesuai dengan spesifikasinya. Selain itu
formal verification merupakan penggunaan penalaran matematika
untuk membuktikan bahwa implementasi memenuhi spesifikasi Cerny dan Song 2002.
3.4 Kerangka Berfikir
Berdasarkan landasan teori yang telah dijabarkan pada sub bab sebelumnya, maka dapat dibuat suatu rangkaian kerangka berpikir yang akan
digunakan sebagai penuntun, alur pikir dan dasar dari penelitian. Kerangka berpikir dalam penelitian ini dibuat berdasarkan metodologi dan tahapan dalam
pelaksanaan penelitian. Kerangkan berpikir tersebut digambarkan seperti pada gambar di bawah ini:
Pengumpulan Data
Analisis Data
Enhance Retain
Pengembangan Sistem
Mulai Observasi
Wawancara Studi Pustaka
Metode Observasi Nazir, 2005
Metode Wawancara
Nazir, 2005 Metode Studi
Pustaka Nazir, 2005
Rantai Nilai CRM Acquire
Metode Analisis Customer Relationship Management
Buttle, 2007
Selesai Requirement Planning
Workshop Design Use Case Diagram
Class Diagram Activity Diagram
Sequence Diagram
State Chart Diagram
Metode Pengembangan Sistem berorientasi objek dengan strategi
RAD Kendall, 2008
Metode Perancangan UML
Whitten et al. 2004
Implementation Coding
Cross-Validation Formal Verification
Enhance Retain
Gambar 3.1 Kerangka berfikir
BAB IV HASIL DAN PEMBAHASAN
4.1 Profile PT. Gatra Citra Kenaca Tours Travel Jakarta
Selatan
4.1.1 Sejarah PT. Gatra Citra Kencana Tours Travel Jakarta Selatan
PT. Gatra Citra Kencana Tours Travel secara resmi didirikan pada tanggal 30 November 1997 dibawah naungan YAYASAN ASTAGATRA
LEMHANNAS. PT. Gatra Citra Kencana merupakan salah satu pelopor penyelenggara perjalanan haji di Indonesia. Saat ini, dengan didukung oleh
pengelolaan yang professional dan berpengalaman PT. Gatra Citra Kencana terus berkembang menjadi salah satu biro perjalanan terkemuka dan terpercaya.Para
pendiri perusahaan ini adalah Bpk. Moelyadi, Abdul Hadi, M. Saleh, Ibu Amrina Zulhelmi, Wisnah Chairany dan Sri Sartini Sudir. Berdasarkan surat keputusan
gubernur lemhannas tanggal 22 april 2003 dengan nomor SKEP78IV2003 tentang pembekuan sementara yayasan astagatra lemhannas, kegiatan beserta
yasasan-yayasan lainnya dilingkungan lembaga ketahanan nasional republik Indonesia. Maka sejak itu PT. Gatra Citra Kencana berdiri sendiri dan telah
berhasil serta selalu berusaha memberikan yang terbaik dalam pelayanan bisnis Tour
Travel termasuk program-program umroh haji sejak tahun 2003. PT. Gatra Citra Kencana adalah perusahaan yang bergerak dalam bidang usaha jasa
pariwisata, khususnya bidang Tour Travel.
4.1.2 Visi dan Misi PT. Gatra Citra Kencana Tour Travel Jakarta Selatan
