Opis

• Tytuł:
  Application of deductive reasoning to the verification of ArchiMate behavioral elements
• Twórca:
  Klimek, Radosław;
  Szwed, Piotr;
  Jędrusik, Stanisław
• Opis:
  Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29), s. 76-97
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Data:
  2013.12.31;
  2013
• Typ:
  artykuł
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Relacja:
  Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29)
• Temat i słowa kluczowe:
  Deductive temporal reasoning;
  software verification;
  ArchiMate;
  semantics tableaux method;
  Linear Temporal Logic;
  wnioskowanie dedukcyjne;
  weryfikacja oprogramowania;
  metoda tablic semantycznych;
  liniowa logika temporalna
• Dostawca danych:
  Dolnośląska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy