Controller Synthesis Method for Multiagent System Based on Temporal Logic SpecificationFull Text
Ruohan Huang^1,2 and Zining Cao^1,2, ¹ Nanjing University of Aeronautics and Astronautics, P. R. China
² Collaborative Innovation Center of Novel Software Technology and Industrialization, China

Why Does the Engineering Manager Still Exist in Agile Software Development?Full Text
Ravi Kalluri, Northeastern University, USA

Green and Sustainable Cloud Computing: Strategies for Carbon Footprint Reduction and Energy OptimizationFull Text
Abirami Dasu Jegadeesh, Independant Researcher, USA

Model Checking for Multi-Agent Systems Modeled by Epistemic Process Calculus Full Text
Qixian Yu ¹, Zining Cao ^1,2,3, Zong Hui ^1,4 and Yuan Zhou ¹, ¹ Nanjing University of Aeronautics and Astronautics, China
² Ministry Key Laboratory for Safety-Critical Software Development and Verification, P. R. China, ³ Collaborative Innovation Center of Novel Software Technology and Industrialization, P. R. China, ⁴ Huaiyin Institute Of Technology, P. R. China

Coupling Metrics for Aspect Oriented Software Full Text
Kelvin Mutunga Katonyi, John Gichuki Ndia and Geoffrey Muchiri Muketha, Murang'a University of Technology, Kenya

Towards a Robust Quality Assurance Framework for Cloud Computing EnvironmentsFull Text
Mohammed Ahmad Alharbi and Rizwan Qureshi, King Abdul-Aziz University, Saudi Arabia