An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems

By  

International Journal of Systems and Service-Oriented Engineering (IJSSOE), Vol. 5, Iss. 1, 2015-01 ,pp. : 1-15

IGI Global_journal

Access to resources Recommend Favorite

Using Specification and Description Language to Formalize Multiagent Systems

By  

Applied Artificial Intelligence, Vol. 28, Iss. 5, 2014-05 ,pp. : 504-531

Taylor & Francis Ltd

Access to resources Recommend Favorite

From Logic Specification to y-calculus: A Method for Designing Multiagent Systems

By  

International Journal of Intelligent Information Technologies (IJIIT), Vol. 3, Iss. 3, 2007-07 ,pp. : 21-40

IGI Global_journal

Access to resources Recommend Favorite

Nautilus, a Concurrent Diagrammatic Specification and Programming Language

By Fuzitaki Claudio   Menezes Paulo   Machado Júlio   D’Andrea Fernando  

The Journal of Supercomputing, Vol. 36, Iss. 1, 2006-04 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite

Integration of design method software for concurrent engineering using axiomatic design

By Chen Ke-Zhang  

Integrated Manufacturing Systems, Vol. 9, Iss. 4, 1998-04 ,pp. : 242-252

Emerald Group Publishing Ltd

Access to resources Recommend Favorite