por
WoTUG Technical Meeting (33rd : 2011 : Limerick, Ireland)
Signatura topográfica preferida
004
Fecha de publicación
2011
Resumen
This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu.
Formato:
Recursos electrónicos
Relevancia:
0.0546
Ver otros resultados de búsqueda
por
WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland)
Signatura topográfica preferida
004.35 22
Fecha de publicación
2006
Resumen
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.
Formato:
Recursos electrónicos
Relevancia:
0.0415
Ver otros resultados de búsqueda
Limitar resultados de búsqueda
Limitado por: