Exploració per autor "Böhm, Klemens"

Ara es mostren els items 1-1 de 1

    • Real-time object specification logic 

      Böhm, Klemens; Sernadas, Amílcar (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      A formal specification method called RTOSL ('Real-Time Object Specification Logic') for the object­ oriented approach is presented: We have extended the object specification logic OSL ([SemadasA et al. 92b]) so that real-time ...