Sistem informasi geografis
Komponen-komponen pendukung SIG terdiri dari lima komponen yang bekerja secara terintegrasi yaitu perangkat keras ("hardware"), perangkat lunak ("software"), data, manusia, dan metode yang dapat diuraikan sebagai berikut:
Perangkat keras SIG adalah perangkat-perangkat fisik yang merupakan bagian dari sistem komputer yang mendukung analisis geografi dan pemetaan. Perangkat keras SIG mempunyai kemampuan untuk menyajikan citra dengan resolusi dan kecepatan yang tinggi serta mendukung operasioperasi basis data dengan volume data yang besar secara cepat. Perangkat keras SIG terdiri dari beberapa bagian untuk menginput data, mengolah data, dan mencetak hasil proses. Berikut ini pembagian berdasarkan proses :
Metode formal
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil . Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan .