Architectural prototyping: from CCS to .Net

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

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. 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 Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

O diálogo entre o livro e a criança. Objeto interativo de leitura verbal e visual, exploração e manipulação gráfica e plástica

O uso da imagem, no livro ilustrado, está associado às idades em que a criança ainda não tem domínio da escrita sendo a descodificação e a exploração das imagens as primeiras competências a serem adquiridas. À medida que a criança se familiariza com a leitura verbal e com o desenvolvimento desta competência, a imagem é gradualmente retirada do livro. No âmbito do projeto prático integrado no Mestrado em Ilustração e Animação foi criado um livro para a infância com atividades onde o leitor intervenha tornando-se também autor, concluindo-o e produzindo um objeto único. Propusemo-nos, ainda, apresentar o livro ilustrado e as atividades/ experiências visuais como instrumentos que ajudam a criança a crescer sem frustrações, onde descobrem e desenvolvem capacidades estéticas, emocionais e intelectuais. Dentro do livro ilustrado pretendemos estudar os livros interativos que exploram as duas linguagens, criando uma narrativa plástica e que permitem explorar a tridimensionalidade e o brincar ao faz de conta. Estes são produtos de experiências visuais e tácteis, repletos de estímulos para que a criança seja capaz de explorar e comunicar verbalmente e visualmente, articulando muitas vezes entre o bidimensional com o tridimensional, a regra com o acaso e a forma com a “não forma”, permitindo uma apreciação máxima do objeto.

Greguerías - da metáfora literária à metáfora visual

A presente investigação visa a passagem da metáfora literária para a metáfora visual, através do resultado de um trabalho de ilustração, tendo como ponto de partida, as Greguerías de Ramón Gómez de la Serna (1888 - 1963). Reflectindo sobre a interpretação da metáfora, o objectivo passa por criar uma nova selecção de Greguerías ilustradas que também estabeleçam novas metáforas visuais, a partir da sua interacção com a palavra. Mas uma vez independentes, cada ilustração ou cada conjunto de ilustrações, resultem num trabalho de conjunto, enquanto série, como processo criativo e inserido no panorama artístico da ilustração de autor.