Opis

• Tytuł:
  Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
• Twórca:
  Klimek, Radosław;
  Skrzyński, Paweł
• Opis:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 184-195
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Data:
  2011.12.31;
  2011
• Typ:
  artykuł
• Język:
  polski
• Wydawca:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Relacja:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212;
  Informatyka Ekonomiczna = Business Informatics, 2011, Nr 22
• Temat i słowa kluczowe:
  oprogramowanie korporacyjne;
  SOA;
  modelowanie biznesowe;
  BPMN;
  weryfikacja formalna;
  logika temporalna;
  logika epistemiczna;
  metoda tablic semantycznych;
  eneterprise software;
  Service Oriented Architecture;
  business modeling;
  formal verification;
  temporal logic;
  epistemic logic;
  semantic tableaux method
• Dostawca danych:
  Dolnośląska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy