5 resultados para Handel-C, Ferramentas, Geração de código

em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

As tecnologias para automatização de tarefas são ferramentas valiosas para garantir a correta execução de processos bem como a obtenção dos resultados esperados. Este projeto visa desenvolver uma solução para a automatização de tarefas recorrendo à captura de imagens do ecrã, à elaboração de uma sequência de ações/tarefas definidas pelo utilizador de modo a detetar falhas e garantir a obtenção dos resultados esperados no fim da execução da tarefa. Este projeto pretende apoiar a realização de testes de software, servindo de apoio à análise do nível de qualidade e fiabilidade de software, permitindo a redução do tempo despendido por parte dos utilizadores/programadores na realização dos testes ou mesmo em tarefas que se pretendam fazer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumo: 1- Introdução: algumas notícias da comunicação social; 2 – O designado «Conselho de Prevenção de Corrupção»; 3 – Procuradoria-Geral da República (P.G.R.) e o Departamento Central de Investigação e Acção Penal (D.I.A.P.); 4 – Alguns sítios com relevo; 5 – Alguns dos problemas que podem ser colocados em relação à Responsabilidade das Empresas pelo Crime de Corrupção; 5.1 – Âmbito dos problemas a serem falados; 6 – Qual a noção de «empresas que vamos utilizar»?; 6.1 – A noção de «empresa» em sentido geral objectivo e penal; 7 – Mas que tipo de crimes de corrupção vamos falar?; 8 – O art. 11º do Código Penal e os crimes de corrupção no contexto do ordenamento jurídico português; 8.1 – No contexto do art. 11º do Código Penal, o que significa «em nome da pessoa colectiva»?; 8.2 – No contexto do art. 11º do Código Penal, o que significa «no interesse da pessoa colectiva»?; 8.2.1 – No contexto do art. 11º do Código Penal, o que significa «quando não há interesse colectivo»?; 9 – E haverá diferenças, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.)?; 10 – E como é que a Jurisprudência portuguesa, a que tivemos acesso - dado não haver ainda fartura de decisões neste campo -, estabelece o nexo de imputação de responsabilidade penal a uma pessoa colectiva e/ou organização?; 10.1 – Uma primeira pré-conclusão dentro do objectivo que pretendemos demonstrar na totalidade deste trabalho; 11 – Uma segunda pré-conclusão: será que as diferenças acima assinaladas, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.), são as únicas? Veja-se o caso, v.g., do art. 7º do Regime Geral das Infracções Tributárias (R.G.I.T.); 12 – Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma primeira grande conclusão; 13 – Uma (primeira) hipótese de solução; 14 – Que tipo de «empresa» podemos enquadrar no art. 11º do Código Penal?; 14.1 – De acordo com o referido anteriormente, podemos dizer que todas as «empresas» podem praticar os crimes previstos e punidos no Código Penal português?; 14.2 – De acordo com o referido antes, quais são as «empresas» que não podem praticar os crimes de corrupção que estão previstos e punidos no Código Penal português?; 14.3 – Uma outra pré-conclusão: 14.4 – Um esboço de um dos possíveis problemas; 14.4.1 – Mas, afinal, o que são Entidades Públicas Empresariais (E.P.E.)?; 14.5 – Outra hipótese de esboço de um outro dos possíveis problemas que aqui podemos encontrar; 14.6 – Nova pré-conclusão; 14.7 – Uma outra importante pergunta a fazer e a responder desde já; 14.7.1 - Alarguemos, pois, um pouco a nossa investigação para além do Código Penal português; 14.7.2 – O problema da responsabilidade penal das organizações e/ou «pessoas colectivas», rectius, neste breve ensaio, empresas, pela prática de crimes de corrupção previstos e punidos na mencionada Lei n.º 20/2008, de 21 de Abril («Responsabilidade penal por crimes de corrupção no comércio internacional e na actividade privada»); 14.7.3 – Mais algumas pré-conclusões; 15 - Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma segunda grande conclusão; 16 - O que também apresenta outras implicações como por exemplo na aplicação do crime de «branqueamento» quando nos fala em «corrupção» como «crime primário»; 17 – Outras interrogações; 18 – Conclusão final, mas não última, como nenhuma o pode ser em ciência; 19 – Hipótese de solução. § Abstract: 1 - Introduction: some news media; 2 - The so-called "Council for the Prevention of Corruption”, 3 – “Attorney General's Office” (PGR) and the Central Bureau of Investigation and Penal Action (DIAP) 4 - Some sites with relief , 5 - Some of the problems that can be placed in relation to the Corporate Responsibility of the Crime of Corruption; 5.1 - Scope of issues to be spoken, 6 - What is the concept of "companies that we will use"?; 6.1 - The term “business” in a general purpose and criminal matters; 7 - What kind of crimes of corruption we talking about?; 8 - Art. 11 of the Penal Code and the crimes of corruption in the context of the Portuguese legal system; 8.1 - In the context of art. 11 of the Penal Code, which means "in the name of the legal person"?; 8.2 - In the context of art. 11 of the Penal Code, which means “in the interests of the legal person"?; 8.2.1 - In the context of art. 11 of the Penal Code, which means "where there is no collective interest"?; 9 - There will be differences, for example, between the operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Legal Infractions Anti-Economic and Against Public Health (RIAECSP)?; 10 - And how does the case law of Portugal, we had access - as there still plenty of decisions in this field - makes a connection of allocating criminal liability to a legal person and / or organization?; 10.1 - A first pre-completion within the objective that we intend to demonstrate in all of this work; 11 - A second pre-conclusion: that the differences will be noted above, for example, between operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Rules of the Offences Against Anti-Economics and Public Health (RIAECSP) are the only ones? Take the case v.g. of art. 7 of the Legal Framework of Tax Offences (RGIT) 12 - In view of the two pre-earlier conclusions, do it here, in this brief essay, a first major conclusion; 13 - A (first) chance for a solution, 14 - What kind “undertaking” we can frame the art. 11 of the Penal Code?; 14.1 - According to the above, we can say that all "companies" can practice the crimes defined and punished in the Portuguese Penal Code?; 14.2 - According to the mentioned before, what are the "business" who cannot practice corruption crimes that are planned and punished the Portuguese Penal Code?; 14.3 - Another pre-completion: 14.4 - A sketch of one of the possible problems; 14.4.1 - But after all the entities that are Public Enterprise (EPE)?; 14.5 - Another chance to draft another one of the possible problems that can be found here; 14.6 - New pre-completion; 14.7 - Another important question to ask and answer now; 14.7.1 - Let us expand, then, a little beyond our investigation of the Portuguese Penal Code; 14.7.2 - The problem of criminal liability of organizations and / or "legal persons", rectius, this brief essay, companies, for crimes of corruption provided for and punished mentioned in Law No. 20/2008 of 21 April ("Criminal liability for crimes of corruption in international trade and private activities"); 14.7.3 - Some more pre-conclusions; 15 - In view of the two pre-earlier conclusions, let it be here in this brief essay, a second major conclusion, 16 - Who also has other implications such as the application of the crime of "money laundering" when we talk about “corruption” as “primary crime”, 17 - Other questions; 18 - Bottom line, but not last, as the can be no science; 19 - Hypothesis solution. Abstract como no livro.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

§ 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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

1- Introdução: algumas notícias da comunicação social; 2 – O designado «Conselho de Prevenção de Corrupção»; 3 – Procuradoria-Geral da República (P.G.R.) e o Departamento Central de Investigação e Acção Penal (D.I.A.P.); 4 – Alguns sítios com relevo; 5 – Alguns dos problemas que podem ser colocados em relação à Responsabilidade das Empresas pelo Crime de Corrupção; 5.1 – Âmbito dos problemas a serem falados; 6 – Qual a noção de «empresas que vamos utilizar»?; 6.1 – A noção de «empresa» em sentido geral objectivo e penal; 7 – Mas que tipo de crimes de corrupção vamos falar?; 8 – O art. 11º do Código Penal e os crimes de corrupção no contexto do ordenamento jurídico português; 8.1 – No contexto do art. 11º do Código Penal, o que significa «em nome da pessoa colectiva»?; 8.2 – No contexto do art. 11º do Código Penal, o que significa «no interesse da pessoa colectiva»?; 8.2.1 – No contexto do art. 11º do Código Penal, o que significa «quando não há interesse colectivo»?; 9 – E haverá diferenças, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.)?; 10 – E como é que a Jurisprudência portuguesa, a que tivemos acesso - dado não haver ainda fartura de decisões neste campo -, estabelece o nexo de imputação de responsabilidade penal a uma pessoa colectiva e/ou organização?; 10.1 – Uma primeira pré-conclusão dentro do objectivo que pretendemos demonstrar na totalidade deste trabalho; 11 – Uma segunda pré-conclusão: será que as diferenças acima assinaladas, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.), são as únicas? Veja-se o caso, v.g., do art. 7º do Regime Geral das Infracções Tributárias (R.G.I.T.); 12 – Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma primeira grande conclusão; 13 – Uma (primeira) hipótese de solução; 14 – Que tipo de «empresa» podemos enquadrar no art. 11º do Código Penal?; 14.1 – De acordo com o referido anteriormente, podemos dizer que todas as «empresas» podem praticar os crimes previstos e punidos no Código Penal português?; 14.2 – De acordo com o referido antes, quais são as «empresas» que não podem praticar os crimes de corrupção que estão previstos e punidos no Código Penal português?; 14.3 – Uma outra pré-conclusão: 14.4 – Um esboço de um dos possíveis problemas; 14.4.1 – Mas, afinal, o que são Entidades Públicas Empresariais (E.P.E.)?; 14.5 – Outra hipótese de esboço de um outro dos possíveis problemas que aqui podemos encontrar; 14.6 – Nova pré-conclusão; 14.7 – Uma outra importante pergunta a fazer e a responder desde já; 14.7.1 - Alarguemos, pois, um pouco a nossa investigação para além do Código Penal português; 14.7.2 – O problema da responsabilidade penal das organizações e/ou «pessoas colectivas», rectius, neste breve ensaio, empresas, pela prática de crimes de corrupção previstos e punidos na mencionada Lei n.º 20/2008, de 21 de Abril («Responsabilidade penal por crimes de corrupção no comércio internacional e na actividade privada»); 14.7.3 – Mais algumas pré-conclusões; 15 - Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma segunda grande conclusão; 16 - O que também apresenta outras implicações como por exemplo na aplicação do crime de «branqueamento» quando nos fala em «corrupção» como «crime primário»; 17 – Outras interrogações; 18 – Conclusão final, mas não última, como nenhuma o pode ser em ciência; 19 – Hipótese de solução; 20 – Novos desenvolvimentos. § 1 - Introduction: some news media; 2 - The so-called "Council for the Prevention of Corruption”, 3 – “Attorney General's Office” (PGR) and the Central Bureau of Investigation and Penal Action (DIAP) 4 - Some sites with relief , 5 - Some of the problems that can be placed in relation to the Corporate Responsibility of the Crime of Corruption; 5.1 - Scope of issues to be spoken, 6 - What is the concept of "companies that we will use"?; 6.1 - The term “business” in a general purpose and criminal matters; 7 - What kind of crimes of corruption we talking about?; 8 - Art. 11 of the Penal Code and the crimes of corruption in the context of the Portuguese legal system; 8.1 - In the context of art. 11 of the Penal Code, which means "in the name of the legal person"?; 8.2 - In the context of art. 11 of the Penal Code, which means “in the interests of the legal person"?; 8.2.1 - In the context of art. 11 of the Penal Code, which means "where there is no collective interest"?; 9 - There will be differences, for example, between the operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Legal Infractions Anti-Economic and Against Public Health (RIAECSP)?; 10 - And how does the case law of Portugal, we had access - as there still plenty of decisions in this field - makes a connection of allocating criminal liability to a legal person and / or organization?; 10.1 - A first pre-completion within the objective that we intend to demonstrate in all of this work; 11 - A second pre-conclusion: that the differences will be noted above, for example, between operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Rules of the Offences Against Anti-Economics and Public Health (RIAECSP) are the only ones? Take the case v.g. of art. 7 of the Legal Framework of Tax Offences (RGIT) 12 - In view of the two pre-earlier conclusions, do it here, in this brief essay, a first major conclusion; 13 - A (first) chance for a solution, 14 - What kind “undertaking” we can frame the art. 11 of the Penal Code?; 14.1 - According to the above, we can say that all "companies" can practice the crimes defined and punished in the Portuguese Penal Code?; 14.2 - According to the mentioned before, what are the "business" who cannot practice corruption crimes that are planned and punished the Portuguese Penal Code?; 14.3 - Another pre-completion: 14.4 - A sketch of one of the possible problems; 14.4.1 - But after all the entities that are Public Enterprise (EPE)?; 14.5 - Another chance to draft another one of the possible problems that can be found here; 14.6 - New pre-completion; 14.7 - Another important question to ask and answer now; 14.7.1 - Let us expand, then, a little beyond our investigation of the Portuguese Penal Code; 14.7.2 - The problem of criminal liability of organizations and / or "legal persons", rectius, this brief essay, companies, for crimes of corruption provided for and punished mentioned in Law No. 20/2008 of 21 April ("Criminal liability for crimes of corruption in international trade and private activities"); 14.7.3 - Some more pre-conclusions; 15 - In view of the two pre-earlier conclusions, let it be here in this brief essay, a second major conclusion, 16 - Who also has other implications such as the application of the crime of "money laundering" when we talk about “corruption” as “primary crime”, 17 - Other questions; 18 - Bottom line, but not last, as the can be no science; 19 - Hypothesis solution; 20 - New developments.