Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:cases:hekate_case_cashpoint:description [2009/11/10 17:07] kinio |
hekate:cases:hekate_case_cashpoint:description [2019/06/27 15:49] (current) |
* The case has been originally taken from the paper: \\ T. Denvir, J. Oliveira, and N. Plat., //[[http://www.springerlink.com/content/hfrw0gqk351w3jee/?p=717dc93b7fcc4053a2703b99fc447ba1&pi=0|The Cash-Point (ATM) ’Problem’]]//, //Formal Aspects of Computing//, 12(4):211–215, 2000. \\ See also [[http://www.di.uminho.pt/~jno/html/jnopub.html#tex2html74|Author's page]] \\ {{:hekatedev:denvir_oliveira_plat-the_cashpoint_problem.pdf|Local copy - developers only}} | * The case has been originally taken from the paper: \\ T. Denvir, J. Oliveira, and N. Plat., //[[http://www.springerlink.com/content/hfrw0gqk351w3jee/?p=717dc93b7fcc4053a2703b99fc447ba1&pi=0|The Cash-Point (ATM) ’Problem’]]//, //Formal Aspects of Computing//, 12(4):211–215, 2000. \\ See also [[http://www.di.uminho.pt/~jno/html/jnopub.html#tex2html74|Author's page]] \\ {{:hekatedev:denvir_oliveira_plat-the_cashpoint_problem.pdf|Local copy - developers only}} |
* Pascal Poizat, Jean-Claude Royer //KADL Specification of The Cash Point Case Study// | * Pascal Poizat, Jean-Claude Royer //KADL Specification of The Cash Point Case Study// |
* [[http://cis.paisley.ac.uk/mcmo-ci0/SoftDev/Text/UML%20QuickGuide.pdf]] the same in the {{:hekate:cases:hekate_case_cashpoint:hekate_case_cashpoint-uc1.pdf|local copy}} | * [[http://cis.paisley.ac.uk/mcmo-ci0/SoftDev/Text/UML%20QuickGuide.pdf|UML – A Programmers Guide]] the same in the {{:hekate:cases:hekate_case_cashpoint:hekate_case_cashpoint-uc1.pdf|local copy}} |
| |
==== Design History ==== | ==== Design History ==== |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ardcase_cs:bankomat]] | * [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ardcase_cs:bankomat]] |
* [[https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#kaczor2008csltr208]] | * [[https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#kaczor2008csltr208]] |