Description

• Title:
  Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
• Creator:
  Klimek, Radosław;
  Skrzyński, Paweł
• Description:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 184-195
• Object availability:
  free access
• Rights:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Date:
  2011.12.31;
  2011
• Type:
  artykuł
• Language:
  Polish
• Publisher:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Relation:
  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
• Subject:
  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
• Data provider:
  Dolnośląska Biblioteka Cyfrowa
• Can I use it?:
  seek permission
• Type:
  image