Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

Lições de Direito e Processo Penal, 2012/2013

§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME:A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I BDIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I- OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV - CRIMINAL PROCEDURE.

Lições de Direito e Processo Penal, 2013/2014

§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME: A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I B: DIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I - OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV -CRIMINAL PROCEDURE.

Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants

Background: Regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. This work presents a new methodology to accurately quantify the epithelial, outer contour and peripheral airway buds of lung explants during cellular development from microscopic images. Methods: The outer contour was defined using an adaptive and multi-scale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelial was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds were counted as the skeleton branched ends from a skeletonized image of the lung inner epithelial. Results: The time for lung branching morphometric analysis was reduced in 98% in contrast to the manual method. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Non-significant differences were found between the automatic and manual results in all culture days. Conclusions: The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lightning characteristics and allowing a reliable comparison between different researchers.

Automated image analysis of lung branching morphogenesis

Regulating mechanisms of branchingmorphogenesis of fetal lung rat explants have been an essential tool formolecular research.This work presents a new methodology to accurately quantify the epithelial, outer contour, and peripheral airway buds of lung explants during cellular development frommicroscopic images. Methods.Theouter contour was defined using an adaptive and multiscale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelium was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds was counted as the skeleton branched ends from a skeletonized image of the lung inner epithelia. Results. The time for lung branching morphometric analysis was reduced in 98% in contrast to themanualmethod. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Nonsignificant differences were found between the automatic and manual results in all culture days. Conclusions. The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lighting characteristics and allowing a reliable comparison between different researchers.