<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">Nuno Rodrigues</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Prototyping Concurrent Systems in C Omega</style></title><secondary-title><style face="normal" font="default" size="100%">IVNET - First International Conference of Innovative Views of NET Technologies</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/rb05-pcscw_p.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Porto, Portugal</style></pub-location><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code.  &lt;/p&gt;
</style></abstract></record></records></xml>