Made available in DSpace on 2014-06-12T15:59:26Z (GMT). No. of bitstreams: 2 arquivo5124_1.pdf: 1648397 bytes, checksum: 1b326915f0743635471f1119346ed769 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / O cálculo de refinamentos é uma técnica moderna para o desenvolvimento e implementa ção de programas de uma maneira precisa, completa e consistente. A partir de uma especificação formal, nós produzimos um programa que implementa corretamente a especificação através de repetidas aplicações de regras de transformação, também chamadas de leis de refinamento. Entretanto, o uso do cálculo de refinamentos pode ser uma tarefa difícil, pois o desenvolvimento de programas pode vir a ser longo e repetitivo. Estratégias de desenvolvimento são refletidas em sequências de aplicações de leis que são aplicadas repetidamente em desenvolvimentos distintos, ou até mesmo, em pontos diferentes de um mesmo desenvolvimento. A identificação destas táticas de desenvolvimento, documentação, e uso das mesmas em desenvolvimentos de programas como uma simples regra de transformação trazem um grande ganho de tempo e esforço. Neste trabalho nós apresentamos ArcAngel, uma linguagem para definição de táticas de refinamento baseada em Angel, e formalizamos a sua semântica. Angel é uma linguagem de táticas de propósito geral que assume apenas que regras transformam objetivos de prova. A semântica de ArcAngel é similar a de Angel, mas é elaborada de maneira a levar em consideração as particularidades do cálculo de refinamentos. A maioria das leis algébricas de Angel não são provadas. Neste trabalho, nós apresentamos suas provas baseadas na semântica de ArcAngel. Também apresentamos neste trabalho uma forma normal; ela é similar àquela apresentada para táticas em Angel. Neste respeito, nossa contribuição é dar mais detalhes nas provas de lemas e teoremas envolvidos na estratégia de redução para esta forma normal. Os construtores de ArcAngel são similares aos de Angel, mas são adaptados para tratar com leis de refinamento e programas. Além disso, ArcAngel provê combinadores estruturais que são apropriados para aplicar leis de refinamento a componentes de programas. Usando ArcAngel, nós definimos táticas de refinamento que refletem estratégias comuns de desenvolvimento de programas. Finalmente, nós apresentamos Gabriel, um suporte ferramental para ArcAngel. Gabriel trabalha como um componente de Refine, uma ferramenta que semiautomatiza transformações de espeficações formais para programas corretos através de sucessivas aplicaçães de leis de refinamento. Gabriel permite aos seus usuários criar táticas e usá-las em desenvolvimento de programas

I denna undersökning har jag utgått ifrån Sassower och Cicotellos bok The Golden Avant-Garde: Idolatry, Commercialism, and Art. I den diskuterar författarna deras uppfattning utav vad som utgör en avant-garde konstnär och de bygger upp en modell för detta. Jag har utgått ifrån denna modell och jämfört en dåtida avant-garde konstnär, Marcel Duchamp, och en samtida, Cory Arcangel, för att ta reda på eventuella likheter och skillnader. Mitt syfte har varit att ta reda på om avant-garde som koncept har förändrats från 100 år sedan, på Duchamps tid, fram till nu. Sassower och Cicotellos teori utgår mycket ifrån en ekonomisk synvinkel och de diskuterar ämnen som konstmarknad och monetärt värde i samband med avant-gardens innebörd. Författarna tar upp ett par, för mig, nya koncept; technoscience och detached engagement, som de menar är avgörande att besitta för att som konstnär anses som avant-garde. En del av mitt syfte har också varit att ta reda på om Sassower och Cicotellos modell är ett givande sätt att undersöka avant-garde som koncept. Jag kommer fram till att modellen är trovärdig och givande samt att det är ett intressant sätt att ta sig an avant-garde som konstform. I min undersökning hittar jag många likheter och olikheter emellan de båda konstnärerna utifrån Sassower och Cicotellos modell och därför kommer jag också fram till att det är svårt att göra en exakt jämförelse på en så pass liten skala. För att komma fram till ett mer omfattande resultat hade jag behövt göra fler jämförelser mellan flera olika konstnärer.

El presente trabajo es un análisis del potencial de desarrollar y comercializar Formulac Pro en el mercado nacional vía la cadena de Boticas Arcángel como canal exclusivo. Formulac Pro es marca propia de Albis. Para ello se presenta un bosquejo de cómo está el panorama global y nacional de la alimentación de los recién nacidos, el potencial del mercado y los principales competidores del sector. Posteriormente se toma en cuenta los factores externos e internos detectando las fortalezas, debilidades, oportunidades y amenazas del sector, con la información obtenida se desarrolla el plan estratégico tomando en cuenta las ventajas y fuerzas competitivas del sector, determinando posteriormente los objetivos a alcanzar para lograr un exitoso lanzamiento del nuevo producto en este mercado competitivo. El mercado de las fórmulas lácteas esta en constante crecimiento y presenta un alto potencial de desarrollo de la mano con la penetración del mercado ya que en la actualidad los padres de familia buscan tener a la mano productos que fortalezcan la nutrición de sus hijos. Esto se ve reforzado con el crecimiento de la capacidad económica de las familias y de las nuevas tendencias del mercado, como es el caso de las madres trabajadoras que necesitan de productos de alta calidad con beneficios para él niño y que implique un corto tiempo de preparación. En este sentido Formulac Pro brinda beneficios adicionales para satisfacer a los consumidores potenciales, asimismo se contará con la amplia red de distribución que la cadena de Boticas Arcángel tiene a nivel nacional, el cual además le dará un gran potencial de ventas y la oportunidad de mayor participación en el mercado. / Tesis