• Login
    Search 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • Search
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-6 of 6

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Using ITL and Tempura for large scale specification and simulation. 

    Cau, A. (Antonio); Zedan, Hussein; Coleman, Nick; Moszkowski, B. C. (IEEE, 1996)
    ITL and Tempura are used for respectively the formal specification and simulation of a large scale system, namely the general purpose multi-threaded dataflow processor EP/3. This paper shows that this processor can be ...
    Thumbnail

    Integrating structured OO approaches with formal techniques for the development of real-time systems 

    Chen, Zhiqiang; Cau, A. (Antonio); Zedan, Hussein; Yang, Hongji (Elsevier, 1999)
    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 ...
    Thumbnail

    A wide-spectrum language for object-based development of real-time systems. 

    Chen, Zhiqiang; Zedan, Hussein; Cau, A. (Antonio); Yang, Hongji (Elsevier Preprints, 1999-03-15)
    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 ...
    Thumbnail

    Proving the correctness of the interlock mechanism in processor design. 

    Li, Xiaoshan; Cau, A. (Antonio); Moszkowski, B. C.; Coleman, Nick; Zedan, Hussein (Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997)
    In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ...
    Thumbnail

    Refining interval temporal logic specifications 

    Cau, A. (Antonio); Zedan, Hussein (Springer, 1997)
    Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ...
    Thumbnail

    Designing a provably correct robot control system using a "lean" formal method 

    Cau, A. (Antonio); Czarnecki, Christopher Antoni; Zedan, Hussein (Springer, 1998)
    A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. ...
    Feed iconrss
    Bookmark icon Bookmark Search

    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

    Discover

    Author
    Cau, A. (Antonio) (6)
    Zedan, Hussein (6)
    Chen, Zhiqiang (2)Coleman, Nick (2)Moszkowski, B. C. (2)Yang, Hongji (2)Czarnecki, Christopher Antoni (1)Li, Xiaoshan (1)SubjectEPSRC (3)EPSRC GR/M/02583 (2)interval temporal logic (2)refinement calculus (2)temporal agent model (2)compositionality (1)executable specification (1)HRT-HOOD (1)object-based (1)object-oriented (1)... View MoreDate Issued1997 (2)1999 (2)1996 (1)1998 (1)Has File(s)Yes (6)

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