Browsing Leicester Media School by Submission Date
Now showing items 1-20 of 1407
-
Integrating structured OO approaches with formal techniques for the development of real-time systems
(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.
(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
(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
(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 ... -
Programming style based program partition
(Article) -
Time, space & movement
(Other)