Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
The Multi-agent Systems (MASs) paradigm continues to consolidate itself as a new branch of software engineering. Traditional software engineering strongly recommends to apply metr...