DORA Home
→
Faculty of Computing, Engineering and Media
→
Leicester Media School
→
Browsing Leicester Media School by Submission Date

Browse

All of DORA
This Collection

My Account

Browsing Leicester Media School by Submission Date

Now showing items 1-20 of 1245

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)
Do richer media mean better learning? A framework for evaluating learning experiences in museum web site design

Brown, Stephen C. (Article)
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)
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)

Now showing items 1-20 of 1245

Browsing Leicester Media School by Submission Date

De Montfort University Open Research Archive

Search DORA:

Browse

All of DORA

This Collection

My Account

Browsing Leicester Media School by Submission Date