Szukana fraza: [Abstract = "We propose a simple yet Balanced Pattern Specification Language \(BPSL\) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic\: one from the First\-Order Logic \(FOL\) and the other from the Temporal Logic of Actions \(TLA\)."]
Wyników: 1
AMCS, volume 13 (2003)
Taibi, Toufik Ngo, David Chek Ling Korbicz, Józef - red. Uciński, Dariusz - red.
2003
artykuł