Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6291
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Rodrigues, Nuno F. | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.date.accessioned | 2007-04-13T19:06:45Z | - |
dc.date.available | 2007-04-13T19:06:45Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | "Electronic notes in theoretical computer sciences". ISSN 1571-0661. 130:12 (May) 152-167. | eng |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | https://hdl.handle.net/1822/6291 | - |
dc.description.abstract | Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to 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 CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and C# code. The prototyping process is fully supported by a specific tool developed in Haskell. Keywords: Software architecture; prototyping; CCS; Net framework, in the form of executable C# and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | eng |
dc.publisher | Elsevier Science | eng |
dc.rights | openAccess | eng |
dc.subject | Software architecture | eng |
dc.subject | Prototyping | eng |
dc.subject | CCS | eng |
dc.subject | Net | eng |
dc.title | Architectural prototyping: from ccs to .net | eng |
dc.type | article | eng |
oaire.citationStartPage | 151 | por |
oaire.citationEndPage | 167 | por |
oaire.citationVolume | 130 | por |
dc.identifier.doi | 10.1016/j.entcs.2005.03.009 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Electronic Notes in Theoretical Computer Science | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
RB05FINAL_lsb.pdf | Documento principal | 283,17 kB | Adobe PDF | Ver/Abrir |