Welcome to the InfoSci Platform
Towards a Specification Language for Mobile Applications

Towards a Specification Language for Mobile Applications

Abdesselam Redouane
Copyright: © 2013 |Volume: 5 |Issue: 2 |Pages: 19
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781466632455|DOI: 10.4018/ijssci.2013040104
Cite Article Cite Article

MLA

Redouane, Abdesselam. "Towards a Specification Language for Mobile Applications." IJSSCI vol.5, no.2 2013: pp.58-76. http://doi.org/10.4018/ijssci.2013040104

APA

Redouane, A. (2013). Towards a Specification Language for Mobile Applications. International Journal of Software Science and Computational Intelligence (IJSSCI), 5(2), 58-76. http://doi.org/10.4018/ijssci.2013040104

Chicago

Redouane, Abdesselam. "Towards a Specification Language for Mobile Applications," International Journal of Software Science and Computational Intelligence (IJSSCI) 5, no.2: 58-76. http://doi.org/10.4018/ijssci.2013040104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Mobile applications are increasingly being developed by many developers using different environments for diverse devices. However, there is no method or formal language that helps these developers specify their requirements before the coding stage. In this paper, the author describes a specification language that helps in this context. To achieve rigor, the language is based on an extended first order predicate calculus and allows specifiers to modularize their specifications. The language is founded on two concepts: a pristine which can be seen as a unit of cognition and a definition which is a logical rule based on pristines and other definitions. Furthermore, the language allows specifiers to express constraints which are fundamental features in mobile applications. A use of this language is shown by an example.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.