Search Results

Search Results for: Language

Results: 0-2 of 2

Analysis of Formal Methods for Specification of E-Commerce Applications

Journal:Mehran University Research Journal of Engineering and Technology, 2016, Volume 35, Issue No 1

Author(s): SADIQ ALI KHAN, HUMA JAMSHED

Keyword(s): Formal Methods, E-Commerce Applications, Specification Language, Formal Methods, z-Language, Unified Modelling Language

Computer Assisted 2-D Graphical Software Modelling using BSP Tree Algorithm

Journal:Bahria University Journal of Information & Communication Technology, 2016, Volume 9, Special Issue

Author(s): Imran Sarwar Bajwa, Mamoona N. Asghar, Muhammad Anwar Shahzada

Keyword(s): Software Class Models, Unified Modelling Language, 2-D Space Partitioning, BSP Algorithm

Results: 0-2 of 2

Category

Year

Journal

Close