Formal specification approach in designing database system using Z
| Format: | Restricted Document |
|---|
| _version_ | 1860797160572846080 |
|---|---|
| building | INTELEK Repository |
| collection | Online Access |
| collectionurl | https://intelek.unisza.edu.my/intelek/pages/search.php?search=!collection407072 |
| date | 2015-03-16 10:25:30 |
| format | Restricted Document |
| id | 11604 |
| institution | UniSZA |
| internalnotes | A Rahman, M., Mohd Saman, M., Ahmad, A., & M Tap, A. (2007). Automaton Based Filtering in Optimal DNA Sequence Similarity Search. 1st Regional Conference on Computer Science & Technology. Malaysia. Diller A. (1994). Z: An Introduction to Formal Methods. John Wiley & Sons. Jochen L. L. (2003). Current Issues in Software Engineering for Natural Language Processing. Proceedings of the HLT-NAACL Workshop on Software Engineering and Architecture of Language Technology Systems, ACM,vol. 8. Jones C. B. (1986). Systematic Software Development Using VDM. London: Prentice Hall. Jusoh J., Mohd Saman M. AND Man M. (2009). Formal Validation of DNA Database Using Theorem Proving Technique. International Journal of Computer, the Internet and Management, 21.1-21.5. Man M., Jusoh J., Mohd Rahim M. and Zakaria M. (2011). Formal Specification Validation For SIDIF Using Theorem Proven. Journal Of Computing. Man M., Mohd Rahim S., Jusoh J. and Zakaria M. (2012). Mustafa Man, Mohd. Julaily Aida Jusoh, Mohammad Zaidi Zakaria, Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach. International Journal of Digital Content Technology. Mohd Saman M., Jusoh J. and Man M. (2006). A Study of Z Formal Specification Language With a Case Study In The Development of Database System. Computer Sciences and Mathematics Symposium Terengganu. Malaysia: UMT. Mohd Saman M., A Rahman M., Ahmad A. and M Tap A. (2006). A Minimum Cost Process in Searching for a Set of Similar DNA Sequences. 5th WSEAS International Conference on Telecommunications and Informatics, (pp. 348-353). Istanbul, Turkey. Mohd Saman M., Jusoh J., Ledru Y. and Man M. (2007). On Transformation of Diagrams for DNA Database to Z Specifications. National Conference on Software Engineering & Computer Systems (NaCSES). Malaysia. Moller M., Ernst-Rudiger Rasch H. and Wehrheim H. (2007). Integrating a Formal Method into a Software Engineering Process with UML and Java. Formal Aspects of Computing. Muhammad M., Mohd Saman M. Y., Jusoh J. A., Man M., and A Rahman M. N. (2008). Formal Specification of Aho Corasick Algorithm. 4th Malaysian Software Engineering Conference (MySec). Malaysia. Pressman R. and Maxim B. (2014). Software Engineering: A Practitioner's Approach. McGraw Hill. Saaltink M. (1997). The Z/EVES System. ZUM (pp. 72- 85). LNCS. Saeki H. H. and Enomoto H. (1989). Software development process from natural language specification. 11th international conference on Software engineering ACM, pp. 64-73. Sommerville I. (2011). Software Engineering. UK: Addison-Wesley. Spivey J. M. (1989). An Introduction To Z And Formal Specifications. Software Engineering Journal. Wordsworth J. (1996). Software Engineering with B. Wokingham: Addison-Wesley. Michael J. B. and Jeremy L. J. (2014). On Integrating Confidentiality and Functionality in a Formal Method. Formal Aspects of Computing, Springer, DOI10.1007/s00165-013-0285-4, 963-992. Zhang J. R., Chiodini A. B. and Zhang G. (2011). The impact of next-generation sequencing on genomics. Journal of Genetics and Genomics, vol. 38, 95-109. |
| originalfilename | 5863-01-FH02-FIK-15-02654.jpg |
| person | UniSZA Unisza unisza |
| recordtype | oai_dc |
| resourceurl | https://intelek.unisza.edu.my/intelek/pages/view.php?ref=11604 |
| spelling | 11604 https://intelek.unisza.edu.my/intelek/pages/view.php?ref=11604 https://intelek.unisza.edu.my/intelek/pages/search.php?search=!collection407072 Restricted Document Article Journal UniSZA Unisza unisza image/jpeg inches 96 96 46 46 1420 780 2015-03-16 10:25:30 1420x780 5863-01-FH02-FIK-15-02654.jpg UniSZA Private Access Formal specification approach in designing database system using Z ARPN Journal of Engineering and Applied Sciences The requirements for a software system set out what the system should do and define constraints on its operation and implementation. Traditionally, users express the requirement specification of system development by natural language. Natural language is ambiguous, thus the requirement specification statement may result in different apprehension among users, analysts and programmers. Anxieties have been raised by several relevant software developers about the weakness use of natural languages in documenting system requirements. Hence, one of the solutions to solve the problem in capturing user requirements is by using the formal specification approach. Formal specifications is an approach to solve the vagueness and contradiction in natural language descriptions by providing an unambiguous and precise specification. This approach can be validated and verified mathematically leading to the initial detection of specification errors. The use of a formal specification will reduces ambiguity between programmer and end-user while eliminates an errors during software development. If this is done, then we can carried out testing the system aligned to the user requirement specification. This work will discuss on how to implement formal specification approach in designing database system. 10 3 Asian Research Publishing Network Asian Research Publishing Network 1192-1197 A Rahman, M., Mohd Saman, M., Ahmad, A., & M Tap, A. (2007). Automaton Based Filtering in Optimal DNA Sequence Similarity Search. 1st Regional Conference on Computer Science & Technology. Malaysia. Diller A. (1994). Z: An Introduction to Formal Methods. John Wiley & Sons. Jochen L. L. (2003). Current Issues in Software Engineering for Natural Language Processing. Proceedings of the HLT-NAACL Workshop on Software Engineering and Architecture of Language Technology Systems, ACM,vol. 8. Jones C. B. (1986). Systematic Software Development Using VDM. London: Prentice Hall. Jusoh J., Mohd Saman M. AND Man M. (2009). Formal Validation of DNA Database Using Theorem Proving Technique. International Journal of Computer, the Internet and Management, 21.1-21.5. Man M., Jusoh J., Mohd Rahim M. and Zakaria M. (2011). Formal Specification Validation For SIDIF Using Theorem Proven. Journal Of Computing. Man M., Mohd Rahim S., Jusoh J. and Zakaria M. (2012). Mustafa Man, Mohd. Julaily Aida Jusoh, Mohammad Zaidi Zakaria, Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach. International Journal of Digital Content Technology. Mohd Saman M., Jusoh J. and Man M. (2006). A Study of Z Formal Specification Language With a Case Study In The Development of Database System. Computer Sciences and Mathematics Symposium Terengganu. Malaysia: UMT. Mohd Saman M., A Rahman M., Ahmad A. and M Tap A. (2006). A Minimum Cost Process in Searching for a Set of Similar DNA Sequences. 5th WSEAS International Conference on Telecommunications and Informatics, (pp. 348-353). Istanbul, Turkey. Mohd Saman M., Jusoh J., Ledru Y. and Man M. (2007). On Transformation of Diagrams for DNA Database to Z Specifications. National Conference on Software Engineering & Computer Systems (NaCSES). Malaysia. Moller M., Ernst-Rudiger Rasch H. and Wehrheim H. (2007). Integrating a Formal Method into a Software Engineering Process with UML and Java. Formal Aspects of Computing. Muhammad M., Mohd Saman M. Y., Jusoh J. A., Man M., and A Rahman M. N. (2008). Formal Specification of Aho Corasick Algorithm. 4th Malaysian Software Engineering Conference (MySec). Malaysia. Pressman R. and Maxim B. (2014). Software Engineering: A Practitioner's Approach. McGraw Hill. Saaltink M. (1997). The Z/EVES System. ZUM (pp. 72- 85). LNCS. Saeki H. H. and Enomoto H. (1989). Software development process from natural language specification. 11th international conference on Software engineering ACM, pp. 64-73. Sommerville I. (2011). Software Engineering. UK: Addison-Wesley. Spivey J. M. (1989). An Introduction To Z And Formal Specifications. Software Engineering Journal. Wordsworth J. (1996). Software Engineering with B. Wokingham: Addison-Wesley. Michael J. B. and Jeremy L. J. (2014). On Integrating Confidentiality and Functionality in a Formal Method. Formal Aspects of Computing, Springer, DOI10.1007/s00165-013-0285-4, 963-992. Zhang J. R., Chiodini A. B. and Zhang G. (2011). The impact of next-generation sequencing on genomics. Journal of Genetics and Genomics, vol. 38, 95-109. |
| spellingShingle | Formal specification approach in designing database system using Z |
| summary | The requirements for a software system set out what the system should do and define constraints on its operation and implementation. Traditionally, users express the requirement specification of system development by natural language. Natural language is ambiguous, thus the requirement specification statement may result in different apprehension among users, analysts and programmers. Anxieties have been raised by several relevant software developers about the weakness use of natural languages in documenting system requirements. Hence, one of the solutions to solve the problem in capturing user requirements is by using the formal specification approach. Formal specifications is an approach to solve the vagueness and contradiction in natural language descriptions by providing an unambiguous and precise specification. This approach can be validated and verified mathematically leading to the initial detection of specification errors. The use of a formal specification will reduces ambiguity between programmer and end-user while eliminates an errors during software development. If this is done, then we can carried out testing the system aligned to the user requirement specification. This work will discuss on how to implement formal specification approach in designing database system. |
| title | Formal specification approach in designing database system using Z |
| title_full | Formal specification approach in designing database system using Z |
| title_fullStr | Formal specification approach in designing database system using Z |
| title_full_unstemmed | Formal specification approach in designing database system using Z |
| title_short | Formal specification approach in designing database system using Z |
| title_sort | formal specification approach in designing database system using z |