Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Azman Bujang Masli"'
Autor:
Azman Bujang Masli, Abdul Rahman Mat, Wai Shiang Cheah, Norazian Mohd Hamdan, Nurfauza Jali, Yanti Rosmunie Bujang
Publikováno v:
Journal of IT in Asia. 7:1-8
In computer science, software engineering courses expose the undergraduate students to both the technical and methodological aspects of software development. The traditional software development methods and techniques represent a huge proportion of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5701b0c7f9d01deb455c157614da672d
https://doi.org/10.33736/jita.613.2017
https://doi.org/10.33736/jita.613.2017
Publikováno v:
2015 4th International Conference on Software Engineering and Computer Systems (ICSECS).
Formal specification provides the means to verify a system's correctness and this can be done by the development technique of refinement of formal specification. Considering the multiple views of a system, in integrated formal specifications, will in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6105e1c17125251fb72867fab4ea077
https://doi.org/10.1109/icsecs.2015.7333098
https://doi.org/10.1109/icsecs.2015.7333098
Publikováno v:
2013 International Conference on Informatics and Creative Multimedia.
eCommerce is able to improve the visibility and economy of rural community. However, it is a challenge to promote the eCommerce to a wider rural community. One reason is that there is a lack of understanding of the notion of sustainability in the dep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ddfb612a270f79a9b6f3435dd822729
https://doi.org/10.1109/icicm.2013.75
https://doi.org/10.1109/icicm.2013.75
Autor:
A Rahman Mat, Azman Bujang Masli
Publikováno v:
2012 International Conference on Computer & Information Science (ICCIS).
Software design is a critical step in the development process of software systems. Failure to produce correct design specification will result in the production of an unsatisfactory system. This failure is not because of the chosen method applied dur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d07f03c22a3a42cc60894de26cd90be
https://doi.org/10.1109/iccisci.2012.6297151
https://doi.org/10.1109/iccisci.2012.6297151
Publikováno v:
2012 International Conference on Computer & Information Science (ICCIS).
One way to verify the correctness of an implementation under refinement in formal specifications is by verifying the system against a set of properties we wish to have in the final implementation. This is in such a way that the relevant properties ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99acf6ea66b71724f7e07937b319d738
https://doi.org/10.1109/iccisci.2012.6297152
https://doi.org/10.1109/iccisci.2012.6297152
Autor:
Azman Bujang Masli, Muhammad Asyraf bin Khairuddin, Abdul Rahman Mat, Mohamad Nazim Jambli, Edwin Mit
Publikováno v:
2012 IEEE International Conference on Computer Science and Automation Engineering.
SOFL approach to the construction of the formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not been demonstrated aggressively. In this paper, we describe an application of the SOF
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f6e3da96555339b682abf50e77ed48e
https://doi.org/10.1109/icsess.2012.6269408
https://doi.org/10.1109/icsess.2012.6269408