1. Analyzing and structuring software development problems;Jackson;Addison-Wesley,2000
2. Social Modeling for Requirements Engineering;Yu;The MIT Press,2010
3. Requirements Engineering: From System Goals to UML Models to Software Specifications;van Lamsweerde;Wiley,2009
4. Model transformation patterns for introducing suitable information F systems;Kaiya;In: APSEC. 2012,2012
5. Tropos: An agent-oriented software development methodology;Bresciani;Autonomous Agents and Multi-Agent Systems,2004