Hjem
Khalid Azim Mughals bilde

Khalid Azim Mughal

Førsteamanuensis
  • E-postKhalid.Mughal@uib.no
  • Telefon+47 55 58 41 52+47 934 86 450
  • Besøksadresse
    HIB - Thormøhlensgt. 55
  • Postadresse
    Postboks 7803
    5020 Bergen

Software Security
Object-oriented Technologies (Java)
E-learning
Programming Environments
Programming Paradigms, Tools and Techniques.

Lærebok
  • 2008. Java Actually: A Comprehensive Primer in Programming. Cengage Learning.
  • 2007. Java Actually: A First Course in Programming. Forlaget Thomson.
  • 2006. Java som første programmeringsspråk (3.utg.). Cappelen Damm Akademisk.
  • 2003. Java som første programmeringsspråk. Cappelen Damm Akademisk.
  • 2002. Java som første programmeringsspråk. Cappelen Damm Akademisk.
  • 1999. A Programmer's Guide to Java Certification - A Comprehensive Primer. Addison-Wesley-Longman (Pearson Education).
Vitenskapelig artikkel
  • 2019. A multi-level data sensitivity model for mobile health data collection systems. Advances in Intelligent Systems and Computing. 547-556.
  • 2019. A model driven approach to the design of a gamified e-learning system for clinical guidelines. Studies in Health Technology and Informatics. 734-738.
  • 2012. Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. Lecture Notes in Computer Science (LNCS). 38-45.
  • 2003. Developing a Marine Information System by Integrating Existing Ocean Models Using Object-Oriented Technology. Marine Geodesy. 87-106.
  • 1999. Workshop Summary (Guest Editor's Introduction). Nordic Journal of Computing. 1-3.
  • 1997. AML: Attribute Grammars in ML. Nordic Journal of Computing. 37-65.
  • 1997. A 4D marine data model: design and application in ice monitoring. Marine Geodesy. S. 121-136.
Rapport
  • 2006. Composing Web Presentations using Presentation Patterns. 331. 331. .
  • 2000. Proceedings of NWPER'2000 � Nordic Workshop on Programming Environment Research. .
  • 2000. Proceedings of NWPER'2000 — Nordic Workshop on Programming Environment Research. .
  • 1999. Nordic Research on Programming and Software Development Environments, Special Issue of "Nordic Journal of Computing". .
  • 1998. Proceedings of ``The Eighth Nordic Workshop on Programming Environment Research -- NWPER'98''. .
  • 1997. Introducing Java as First Programming Language. 144. 144. .
  • 1995. Attribute evaluation using neighbour functions. 112. 112. .
  • 1981. Interactive construction, syntax analysis and editing of programs. .
Vitenskapelig foredrag
  • 2009. Data Validation Constraints in MDE.
  • 2007. TOWARDS A DYNAMIC, CONTENT BASED E-LEARNING PLATFORM.
  • 2006. Simplifying Client-Server Application Development with Secure Reusable Components.
  • 2006. E-learning Systems in the Bergen Region, Norway - an Overview.
  • 2003. Roadmap to Java Programmer Certification.
  • 2001. Bergen Webucator.
  • 2000. Bergen Webucator: Web-based tools for distributed learning.
  • 2000. Bergen Webucator: Web-based tools for distributed learning.
  • 1998. Using Object Technologies to Develop a Distributed Marine Data Server.
  • 1997. Java-Powered Classrooms: Delivering Objects to the IT-Industry via Internet?
  • 1997. Experiences using Java as First Programming Language.
  • 1997. Collaborative Projects involving Java/Corba/Web Technology at the Department of Informatics, University of Bergen.
  • 1994. ML Code Generation for AML Specifications.
  • 1994. A Framework for Attribute Grammars in ML.
  • 1992. The AML System: an overview.
  • 1992. Attribute Grammars in ML.
  • 1985. Control Flow Aspects of Generating Runtime Facilities for Language-Based Programming Environments.
Vitenskapelig antologi/Konferanseserie
  • 2000. Proceedings of NWPER'2000 - Nordic Workshop on Programming Environment Research. Department of Information Science, University of Bergen.
Fagbok
  • 2008. A Programmer's Guide to Java SCJP Certification: A Comprehensive Primer (Third Edition). Addison-Wesley.
  • 2003. Programmer's Guide to Java Certification: A Comprehensive Primer. Addison-Wesley.
Kompendium
  • 2001. Forelesningsnotater i Java programmering (5. utgave).
  • 1997. Java som første programmeringsspråk.
  • 1997. Java programmeringsspråk: En smaksprøve.
  • 1994. Relational Database Management Systems. Supplemet, I126 - Databaser og datamodellering.
  • 1994. Datamodelling i NIAM. Supplemet, I126 - Databaser og datamodellering.
Hovedfagsoppgave
  • 1980. Synted (STD): An Interactive Syntax-Oriented Diagnistic Editor for Fortran-77.
Doktorgradsavhandling
  • 2015. Towards a Secure Framework for mHealth. A Case Study in Mobile Data Collection Systems.
  • 1988. Generation of Runtime Facilities for Program Editors. -.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 2013. Secure cloud storage for remote mobile data collection. 7 sider.
  • 2012. Secure Mobile Data Collection Systems for Low-Budget Settings.
  • 2012. Secure Data Storage for Mobile Data Collection Systems.
  • 2012. Secure Data Storage for Java ME-Based Mobile Data Collection Systems.
  • 2012. Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. 8 sider.
  • 2011. Adding Security to Mobile Data Collection. 4 sider.
  • 2011. A Formal Approach to Data Validation Constraints in MDE. 12 sider.
  • 2010. The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. 7 sider.
  • 2010. Investigating the Limitations of Java Annotations for Input Validation. 6 sider.
  • 2007. A Reflection-Based Framework for Content Validation. 10 sider.
Poster
  • 2006. Security Pattern for Input Validation.

Se fullstendig oversikt over publikasjoner i CRIStin.