Spelling suggestions: "subject:"mixings"" "subject:"mixing""
1 |
USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENTBurton, Ronald January 2018 (has links)
Object-oriented programming has gained significant traction in the software development community and is now the common approach for developing large, commercial applications. Many of these applications require the behaviour of objects to be modified at run-time. Contemporary class-based, statically-typed languages such as C++ and Java require collaboration with external objects to modify an object’s behaviour. Furthermore, such an object must be designed to order to support such collaborations. Dynamic languages such as Python which natively support object extension do not guarantee type safety. In this work, using dynamic mixins with static typing is proposed as a means of providing type-safe, object extension. A new language called mix is introduced that allows a compiler to syntactically check the type-safety of an object extension. A model to support object-oriented development is extended to support dynamic mixins. The utility of the approach is illustrated using sample use cases. Finally, a compiler was implemented to validate the practicality of the model proposed. / Thesis / Doctor of Philosophy (PhD)
|
2 |
Analysis of techniques for implementing software product lines variabilitiesOsandy Alves Matos Junior, Pedro 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T15:54:11Z (GMT). No. of bitstreams: 2
arquivo1967_1.pdf: 2290024 bytes, checksum: c02392abf0809cdb2a823828412d659c (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Linhas de Produtos de Software (LPS) são conjuntos de sistemas de software que compartilham
uma base comum de funcionalidades e satisfazem a necessidades especificas de
determinados segmentos de mercado. LPS são desenvolvidas a partir de uma arquitetura
comum e compartilham um conjunto de artefatos reusaveis (projetados para um dominio
de aplicacão especifico). Entre as atividades principais na construcão e manutencão de
uma LPS esta a gerência das variacões nos diversos artefatos que a compõem. Em particular,
a escolha de tecnicas de programacão que possibilitem a introducão de variacões
em artefatos de implementacão e uma atividade que merece bastante atencão. A escolha
de qual tecnica utilizar para lidar com determinados tipos de variacões nos artefatos de
implementacão de uma LPS pode gerar impactos significativos tanto na qualidade desses
artefatos como na qualidade dos produtos finais gerados. Apesar da importância dessa
atividade, poucos estudos publicados mostram comparacões entre as diversas tecnicas
que permitem a implementacão de variacões em software. A maioria dos trabalhos existentes
limita-se a avaliacões qualitativas dessas tecnicas, não analisando o impacto dessas
tecnicas nos atributos de qualidade de LPS existentes atraves de metricas de software.
O foco do presente trabalho e a comparacão entre algumas das tecnicas de implementa
cão de variacões usadas na industria de software. Para tal, primeiro apresentamos
um catalogo de tipos de variacões, onde variacões são classificadas de acordo com a sua
estrutura e localizacão no codigo da aplicacão. As variacões apresentadas no catalogo
foram identificadas atraves de uma analise realizada em uma LPS do dominio de jogos
para dispositivos moveis. Em seguida, apresentamos propostas de solucão que utilizam
algumas das principais tecnicas de programacão para lidar com cada tipo de variacão espec
ico. Como parte desse trabalho, analisamos o impacto da utilizacão de cada solução
proposta atraves de dados qualitativos e quantitativos. Analisamos ainda a composicão
do uso dessas solucões para implementar variacões em LPS e como um catalogo de tipos
reestruturacão de variacões em uma LPS.
|
3 |
Récursion généralisée et inférence de types avec intersectionZIMMER, Pascal 29 April 2004 (has links) (PDF)
Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.<br /><br />Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.
|
4 |
Generic Programming and Algebraic Multigrid for Stabilized Finite Element Methods / Generisches Programmieren und Algebraische Mehrgitterverfahren für Stabilisierte Finite Elemente MethodenKlimanis, Nils 10 March 2006 (has links)
No description available.
|
Page generated in 0.0223 seconds