B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification.

Publication Type  Conference Paper
Year of Publication  2007
Authors  Bryl, V.; Montali, M.; Mello, P.; Torroni, P.; Zannone, N.
Conference Name  8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
Conference Start Date  10/09/2007
Conference Location  Porto, Portugal
Export  Tagged XML BibTex
bryl-mont-mell-torr-zann-07-CLIMA.pdf518.4 KB

Back to top