Pada artikel ini saya ingin merangkum mengenai klasifikasi ilmu komputer yang dirumuskan oleh Peter J Denning. Sebenarnya klasifikasi dari beliau sudah mengalami beberapa perbaikan, dan terkahir direvisi pada tahun 1999 . Untuk sumber referensi sendiri dapat kalian cek pada link ini.
Dasar Klasifikasi
Ilmu komputer adalah disiplin ilmu yang melingkupi cabang ilmu yang cukup luas, dari masalah teori-teori dasar sampai teknologi aplikasi.Pengklasifikasian Ilmu Komputer biasanya merefer ke Matriks Dennings, yaitu salah satu matriks penggolongan Ilmu Komputer yang diciptakan oleh Peter J. Dennings.
Dalam versi terakhir ini ilmu komputer terbagi dalam 12 subbidang (versi sebelumnya adalah 9 subbidang). 12 subbidang Ilmu Komputer ini adalah :
Kemudian seiring dengan peningkatan ilmu dan teknologi, ada kemungkinan matriks ini akan mengalami perbaikan lagi di kelak kemudian hari. Baris dalam matriks Denning ini menggambarkan bidang-bidang dalam ilmu komputer. Sedangkan kolom pada matriks menggambarkan paradigma bidang-bidang tersebut, yang direfleksikan dalam tiga hal: Teori (Theory), Abstraksi (Abstraction), dan Desain (Design).
Teori: adalah berlandaskan pada pendekatan matematika, dimana untuk mendapatkan suatu teori yang valid, harus melalui proses-proses sbb:
- pendefinisian (definition)
- pembuatan teorema (theorema)
- pembuktian (proof)
- penginterpretasian hasil (interpret result)
Abstraksi: atau pemodelan (modeling), adalah berlandaskan pada metode eksperimen ilmiah, dimana dalam melakukan invesitigasi terhadap suatu fenomena, harus melalui proses-proses sbb:
- membentuk hipotesa (form a hypothesis)
- membuat suatu model dan melakukan prediksi (construct a model and make a predition)
- mendesain eksperimen dan mengumpulkan data (design an experiment and collect data)
- menganalisa hasil (analyze hasil)
Desain: adalah berlandaskan pada pendekatann engineering (teknik), dimana pada saat mendesain sebuah sistem atau device untuk memecahkan masalah, harus melalui proses-proses sbb:
- menyatakan requirement (state requirements),
- menyatakan spesifikasi (state specifications)
- melakukan desain dan implementasi sistem (design and implement the system)
- melakukan pengetesan terhadap sistem (test the system)
Rangkuman lengkap klasifikasi ilmu komputer berdasarkan Matriks Denning versi 1999 adalah seperti dibawah :
Teori Abstraksi Desain Algoritma dan Struktur Data Teori
Komputabilitas
Algoritma Paralel dan TerdistribusiProgram Aplikasi Teori Komputasi
KompleksKomputasi
Paralel
Algoritma Efisien dan OptimalTeori Graf Kriptografi Algoritma dan
Teori ProbabilistikBahasa Pemrograman Bahasa
Formal dan AutomataBNF Bahasa
PemrogramanTuring Machines Metode Parsing,
Compiling, InterpretationFormal Semantics Translator,
Kompiler, InterpreterArsitektur Aljabar Boolean Arsitektur
Nueman
Produk Hardware (PC,
Superkomputer, Mesin Von Neumann)Teori Coding
Hardware ReliabilityTeori Switching
Finite State Machine
Sistem CAD dan Simulasi LogikaTeori Finite
State Machine
Model Sirkuit, Data Path, Struktur KontrolSistem Operasi dan Jaringan Teori
Concurrency
Manajemen Memori, Job SchedulingProduk OS (UNIX,
Windows, Mach, dsb)Teori Scheduling
Model Komputer Terdistribusi
File dan File SistemTeori Manajemen
Memori
Networking (Protokol, Naming, dsb)
Pustaka untuk Utilities (Editor, Formatter, Linker, dsb)Software Engineering
Teori Reliability
Metode Spesifikasi
Bahasa Spesifikasi
Program Verification and Proof
Metode Otomatisasi Pengembangan Program
Metodologi Pengembangan Software
Temporal Logic
Tool Pengembangan Software
Tool untuk Pengembangan SoftwareDatabase dan Sistim
Retrieval InformasiRelational
Aljabar dan KalkulusData Model
Teknik Pendesainan Database (Relational, Hierarchical, Network, dsb)
Teori DependencyTeori
ConcurrencySkima Database
Teknik Pendesainan Database Sistem (Ingres, Dbase, Oracle, dsb)
Performance AnalysisSorting dan
SearchingRepresentasi
File untu Retrieval
Hypertext System
Statistical InferenceArtificial Intelligence dan
Robotik
Teori LogikaKnowledge
Representation
Logic Programming (Prolog)
Semantik dan Sintatik Model untuk Natural Language
Metode Pencarian Heuristic
Neural Network
Conceptual Dependency
Model Reasoning dan LearningSistem Pakar
Kinematics and Dynamics of Robot Motion
Model Memori Manusia, Autonomous Learning
Teknik Pendesaian Software untuk Logic ProgrammingGrafik Teori Grafik
dan WarnaAlgoritma
Komputer Grafik
Pustaka untuk GrafikGeometri Dimensi
Dua atau Lebih
Model untuk Virtual Reality
Grafik StandarTeori Chaos
Metode Komputer Grafik
Image Enhacement SystemHuman Computer Interaction Risk Analysis Pattern
Recognition
Flight SimulationCognitive
Psychology
Sistem CAD
Usability EngineeringIlmu Komputasi
Number TheoryDiscrete
Approximations, Fast Fourier Transform and Poisson SolversPustaka dan
Paket untuk Tool Penelitian (Chem,
Macsyma, Mathematica, Maple, Reduce, dsb)
Binary RepresentationBackward
Error Propagation
Teori QuantumFinite Element
Models,Organizational Informatics
Organizational Science
Model dan Simlasi berhubungan dengan organizational informatics
Management Information Systems
Decision Support SystemsDecision
SciencesOrganizational
DynamicsBioinformatik
Teori Komputasi
Model Komputasi DNA Kimia
Organic Memory Devices
Ilmu Biologi
Protipe Retina dari Silikon
Proyek Database Genom Manusia
Medicine
Model Database Genom Manusia
Analisa Komputer Terhadap Struktur Enzim untuk Kesehatan
Sekian rangkuman ini saya tulis. Atas perhatianya diucapkan terima kasih.
Sumber Referensi :
- Peter Denning, et al., "Computing as a Discipline," Communications of ACM, 32, 1 (January), 9-23, 1989.
- Peter Denning, "Computer Science: the Discipline," In Encyclopedia of Computer Science (A. Ralston and D. Hemmendinger, Eds), 1999.
- A. Tucker, Jr. and P. Wegner, "Computer Science and Engineering: the Discipline and Its Impact," InHandbook of Computer Science and Engineering, CRC Press, Chapter 1, 1996.
0 komentar:
Posting Komentar