Designing multiple types of spatial and non spatial databases integration model using formal specification approach

• Main Authors: Man, Mustafa, Jusoh, Julaily Aida, Mohd. Rahim, Mohd. Shafry, Zakaria, Mohammad Zaidi
• Format: Article
• Published: 2012
• Subjects: TK Electrical engineering. Electronics Nuclear engineering
• Online Access: http://eprints.utm.my/id/eprint/46790/; http://dx.doi.org/10.1109/MySEC.2011.6140637
• Institution: Universiti Teknologi Malaysia

Most developer prefers not to use formal specification (FS) approach in designing a database system. In recent years, these approaches have been seen as rivals, a new consensus has been developed in which software developers are agreed it as complementary. Theoretically this approach can reduce the...