• Login
    Browsing Leicester Media School by Submission Date 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • Leicester Media School
    • Browsing Leicester Media School by Submission Date
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • Leicester Media School
    • Browsing Leicester Media School by Submission Date
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browsing Leicester Media School by Submission Date

    Sort by:

    Order:

    Results:

    Now showing items 1-20 of 1420

    • title
    • publication date
    • submission date
    • ascending
    • descending
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • Integrating structured OO approaches with formal techniques for the development of real-time systems 

        Chen, Zhiqiang; Cau, A. (Antonio); Zedan, Hussein; Yang, Hongji (Article)
        The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ...
      • A wide-spectrum language for object-based development of real-time systems. 

        Chen, Zhiqiang; Zedan, Hussein; Cau, A. (Antonio); Yang, Hongji (Article)
        A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...
      • ATOM: an object-based formal method for real-time systems 

        Zedan, Hussein; Cau, A. (Antonio); Chen, Zhiqiang; Yang, Hongji (Article)
        An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured ...
      • Privatising the "Temple of opera": the political battle over La Scala, Milan, 1990-2005 

        Merli, Paola (Article)
        In 1996 La Scala, the famous opera house, started to undergo a process of privatisation that transformed it from a public institution into a private foundation. The plans for the transformation, which had been in preparation ...
      • Successful evolution of software systems 

        Ward, Martin; Yang, Hongji (Book)
      • A new approach to verify rule-based systems using Petri Nets 

        Yang, Hongji; Chu, William Cheng Chung; He, X. (Article)
      • A concept oriented belief revision approach to domain knowledge recovery from source code 

        Yang, Hongji; Chu, William Cheng Chung (Article)
      • Change impact analysis to support architectural evolution 

        Yang, Hongji; Xiang, L. M.; Zhao, J. J. (Article)
      • Programming style based program partition 

        Yang, Hongji; Cheng, X.; Li, Y.; Zhu, X. (Article)
      • Lewis Carroll photographer: the Princeton albums 

        Taylor, Roger J.; Wakeling, E. (Book)
      • Time, space & movement 

        Richardson, Martin (Other)
      • RePAH: a user requirements analysis for research portals in the arts and humanities 

        Brown, Stephen C.; Greengrass, Mark, 1949- (Other)
      • Strange manifestations of three-dimensional intelligence in the digital era 

        Richardson, Martin; Brown, Stephen C. (Other)
      • All the mighty world: The photographs of Roger Fenton, 1852–1860 

        Taylor, Roger J.; Baldwin, Gordon,1939- (Other)
      • Impressed by light: British photographs from paper negatives 1840-1869 

        Taylor, Roger J.; Schaaf, L. J. (Other)
      • Do richer media mean better learning? A framework for evaluating learning experiences in museum web site design 

        Brown, Stephen C. (Article)
      • Photography, loss and memory: a visual account of grief adaptation 

        Simmons, M. (Other)
      • ARIA: Arts and humanities research ICT awareness and training project website and related ICT guides website funded by JISC for the AHRC Information and Communications Technology (ICT) in training and research programme 

        Brown, Stephen C.; Liang, V.; Ross, R.; Sermon, P. (Other)
      • Photographs exhibited in Britain 1839-1865 

        Taylor, Roger J. (Other)
      • Crystal beginnings: constellations of holography 

        Richardson, Martin; Brown, Stephen C. (Other)

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary
         

         

        Browse

        All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

        My Account

        Login

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary