Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl. Engineering and verifying agent-oriented requirements augmented by business constraints with ::::B::::-Tropos. Autonomous Agents and Multi-Agent Systems, 23(2):193-223, 2011. [doi]
@article{MontaliTZMB11,
title = {Engineering and verifying agent-oriented requirements augmented by business constraints with ::::B::::-Tropos},
author = {Marco Montali and Paolo Torroni and Nicola Zannone and Paola Mello and Volha Bryl},
year = {2011},
doi = {10.1007/s10458-010-9135-4},
url = {http://dx.doi.org/10.1007/s10458-010-9135-4},
tags = {constraints, requirements engineering},
researchr = {https://researchr.org/publication/MontaliTZMB11},
cites = {0},
citedby = {0},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {23},
number = {2},
pages = {193-223},
}