Skrytá algebra - Hidden algebra - Wikipedia
 | tento článek poskytuje nedostatečný kontext osobám, které toto téma neznají. (červenec 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Skrytá algebra poskytuje a formální sémantika pro použití v oblasti softwarové inženýrství, zejména pro souběžně distribuované objektové systémy.[1] Podporuje to důkazy o správnosti.[2]
Skrytá algebra byla studována Joseph Goguen.[1][3] Zpracovává funkce velkých softwarových systémů, včetně konkurence, rozdělení, nedeterminismus, a místní státy. Také to zvládlo objektově orientovaný funkce jako třídy, podtřídy (dědictví ), atributy, a metody. Skrytá algebra zobecňuje zpracovat algebru a přechodový systém přístupy.
Reference
- ^ A b Goguen, Joseph. „Skrytá domovská stránka algebry“. University of California, San Diego, USA. Citováno 26. září 2011.
- ^ Malcolm, Grant (31. července 2006). „Hidden Algebra: Behavioral specification and proof for systems with state“. University of London, SPOJENÉ KRÁLOVSTVÍ. Citováno 26. září 2011.
- ^ Goguen, Joseph (Leden 2000). Msgstr "Skrytá algebra a souběžný distribuovaný software". Poznámky k softwarovému inženýrství ACM SIGSOFT. ACM, USA. 25 (1): 51–52. doi:10.1145/340855.340889.
externí odkazy
 | Tento softwarové inženýrství související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |