@第{zbMATH05637100条，作者={Kupferman、Orna和Piterman、Nir和Vardi、Moshe Y.}，标题={从活泼到敏捷}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={34}，数字={2}，页码={83--103}，年份={2009}，语言={英语}，DOI＝{10.1007/s10703-009-0067-z}，关键词={68Q45,03B44,68T27}，zbMATH={5637100}，Zbl={1192.68416}}