Cette thèse aborde la problématique de l’adoption des systèmes d’information (SI), partant du problème posé par le déficit d’utilisation des applications mobiles d’information voyageur, applications pourtant conçues pour aider à résoudre les difficultés liées aux transports dans les sociétés modernes. Elle tente de répondre à la question de savoir quels facteurs peuvent favoriser l’utilisation des SI par leur public potentiel. Face à la suprématie de l’approche centrée ‘système’, donnant priorité au facteur technologique dans l’identification des déterminants de l’utilisation des SI, ce travail défend le point de vue selon lequel une approche psychosociale est mieux à même de mettre à jour les processus par lesquels les individus en viennent à utiliser ces systèmes. Dans ce cadre, le premier axe de cette recherche interroge le rôle des croyances dans l’adoption. Les résultats obtenus sous cet axe montrent que les modèles basés sur les croyances prédisent assez bien l’intention d’utilisation des SI prise comme indicateur d’adoption. Mais, ils montrent aussi les limites de ces modèles dans la prédiction de l’intention d’utilisation initiale, à l’étape de l’acceptabilité, une étape pré-adoptive stratégique où le seuil de la première expérience d’utilisation n’est pas encore franchi (étude 1). Cela pose la nécessité d’aller au-delà des croyances pour mieux cerner les déterminants de l’intention d’utilisation initiale. A cet effet, le second axe de cette recherche interroge le rôle des attentes dans l’adoption. Les résultats obtenus sous cet axe montrent que les attentes sont des prédicteurs performants des croyances pré-adoptives, et, au-delà, des prédicteurs directs de l’intention d’utilisation initiale (études 2 et 3). Ces résultats sont d’une grande portée théorique et empirique. Ils montrent que les attentes entrent en jeu directement dans l’explication de l’intention d’utilisation initiale, à l’étape pré-adoptive, quand celles-ci ont toujours été considérées comme opérantes uniquement à l’étape post-adoptive où leur infirmation/confirmation à l’issue d’une première expérience d’utilisation détermine le degré de satisfaction et l’intention de continuer l’utilisation. Au total, cette thèse amène un éclairage nouveau sur la façon dont les croyances et les attentes se mettent en scène le long du processus d’adoption, et pèsent de tout leur poids sur les décisions relatives à l’utilisation des SI. / This thesis addresses the problem of information systems (IS) adoption, starting from the problem posed by the deficit in use of traveler information mobile applications, yet applications designed to help solve problems related to transport in modern societies. It attempts to answer the question of which factors may improve IS use in their potential audience. Given the supremacy of the system-centered approach giving priority to technological factor in identifying the determinants of IS use, this work defends the view that a psychosocial approach is better able to elicit the processes by which individuals come to use these systems. In this context, the first axis of this research examines the role of beliefs in adoption. The results obtained under this axis show that beliefs-based models predict quite well intention to use IS taken as an indicator of adoption. But they also show the limitations of these models in predicting initial use intention, at the acceptability stage, a strategic pre-adoptive stage when the threshold of the first experience of use is not yet crossed (study 1). This raises the need to go beyond beliefs to better understand the determinants of initial use intention. To this end, the second axis of this research questions the role of expectations in adoption. The results obtained under this axis show that expectations are powerful predictors of pre-adoptive beliefs, and, beyond, direct predictors of initial use intention (studies 2 and 3). These results are of great theoretical and empirical significance. They show that expectations are directly involved in the explanation of initial use intention at the pre-adoptive stage, when these have always been considered as operating only in the post-adoptive stage where their disconfirmation/confirmation after a first experience of use determines the degree of satisfaction and continued use intention. Overall, this thesis brings new light on how beliefs and expectations come into play along the adoption process, and weigh fully on decisions related to IS use.

L’évolution du Web et de ses applications subit depuis quelques années une mutation vers les technologies qui incluent la dimension sociale comme entité de première classe. Nous témoignons dans le passage du Web 1.0 au Web 2.0 puis au Web 3.0, 4.0 etc.. que les utilisateurs et les réseaux sociaux qui se forment sont au centre de cette évolution. Le web exhibe aussi toutes les caractéristiques d’un système complexe. Ces propriétés systèmes complexes et cette dimension sociale doivent être prises en considération lors de la conception et le développement des applications web. Considérons le cas des systèmes de tagging ou d’étiquetage collaboratifs. Ces systèmes sont un exemple de systèmes complexes, auto-organisés et socialement conscients. Le paradigme des systèmes multi-agents coordonné par les mécanismes d’auto-organisations a été utilisé d’une façon effective pour la conception et modélisation des systèmes complexes. Les systèmes de tagging collaboratifs actuels ne prennent pas l’avantage complet de leurs caractéristiques systèmes complexes, surtout dans l’adaptation à leur environnement et l’émergence de nouvelles fonctionnalités. Dans ce travail de thèse, nous proposons un modèle pour la conception et développement d’un nouveau système d’étiquetage collaboratif MySURF (My Similar Users, Resources, Folksonomies), utilisant une approche multi-agents gouvernée par la coévolution des organisations sociales et spatiales des agents. Nous montrons comment ce système proposé offre plusieurs nouvelles fonctionnalités qui peuvent améliorer les systèmes d’étiquetage collaboratifs actuels. / The evolution of the Web and its applications has undergone in the last few years a mutation towards technologies that include the social dimension as a first class entity. We are witnessing in the evolution of the web from the web 1.0 to web 2.0 to web 3.0 and eventually web 4.0 that the users, their interactions and the emerging social networks are in the center of this evolution. The web also exhibits all the characteristics of a complex system. These complex systems properties and this social dimension must be taken into consideration in the design and the development of new web applications. Let us consider the case of collaborative tagging systems. These systems are an example of complex, self-organized and socially aware systems. The multi-agent systems paradigm coordinated by self-organizations mechanisms was used in an effective way for the design and modeling of the complex systems. Current collaborative tagging systems do not take full advantage of the characteristics of complex systems, especially in adapting to their environment and the emergence of new features. In this thesis, we propose a model for the design and development of a new collaborative tagging system MySURF (My Similar Users, Resources, Folksonomies), using a multi-agent system approach governed by the coevolution of the social and spatial organization of the agents. We show how the proposed system offers several new features that can improve current collaborative tagging systems.

Cette thèse est consacrée à l'étude des équations de Gross-Pitaevskii et de Landau-Lifshitz, qui présentent d'importantes applications en physique. L'équation de Gross-Pitaevskii modélise des phénomènes de l'optique non linéaire, de la superfluidité et de la condensation de Bose-Einstein, tandis que l'équation de Landau-Lifshitz décrit la dynamique de l'aimantation dans des matériaux ferromagnétiques. Lorsqu'on modélise la matière à très basse température, on fait l'hypothèse que l'interaction des particules est ponctuelle. L'équation de Gross-Pitaevskii classique s'en déduit alors en prenant comme interaction une masse de Dirac. Cependant, différents types de potentiels non locaux probablement plus réalistes ont aussi été proposés par des physiciens pour modéliser des interactions plus générales. Dans un premier temps, on s'intéressera à donner des conditions suffisantes couvrant une variété assez large d'interactions non locales et telles que le problème de Cauchy associé soit globalement bien posé avec des conditions non nulles à l'infini. Par la suite, on étudiera les ondes progressives de ce modèle non local et on donnera des conditions telles que l'on puisse déterminer les vitesses pour lesquelles il n'existe pas de solution non constante d'énergie finie. Concernant l'équation de Landau-Lifshitz, on s'intéressera aussi aux ondes progressives d'énergie finie. On montrera la non existence d'ondes progressives non constantes d'énergie petite en dimensions deux, trois et quatre, sous l'hypothèse que l'énergie soit inférieure au moment dans le cas de la dimension deux. En outre, on donnera aussi dans le cas bidimensionnel la description d'une courbe minimisante qui pourrait donner une approche variationnelle pour construire des solutions de l'équation de Landau-Lifshitz. Finalement, on décrira le comportement à l'infini des ondes progressives d'énergie finie.

Les Jeux Massivement Multi-Joueurs sont des applications distribuées sur Internet dans lesquels on retrouve des problématiques de persistance, de sécurité, de temps-réel, de passage à l'échelle, et d'utilisation critique des ressources des machines et du réseau.<br />Nous proposons un cadre pour la réalisation de telles applications afin de favoriser la réalisation de game-play innovants en permettant une mise au point très fine des interactions.<br />Nous décrivons les techniques actuelles et démontrons comment chaque solution pour la réalisation d'une interaction donnée est fortement liée à la description fonctionnelle de cette interaction dans le cadre du game-play considéré.<br />Notre proposition consiste en un outil de prototypage basé sur un framework doté d'une sémantique simple pour faciliter le développement, mais permettant de gérer très finement les ressources bas-niveau afin de ne pas manquer de généricité. L'outil est destiné à être utilisé dans un cadre réaliste de méthodologie de développement basée sur le raffinement successif de prototypes permettant de valider au plus tôt les choix techniques.<br />Nous présentons le framework que nous avons développé, qui définit un modèle très fin de réplication des données représentant le monde virtuel le long de l'application distribuée. La sémantique utilisée repose sur un modèle d'exécution coopératif et reproductible, dont nous donnons la formalisation des principaux traits sous une forme opérationnelle. Nous décrivons l'organisation du code produit, ainsi que la manière dont le framework s'inscrit dans notre proposition finale et détaillons un exemple complet pour illustrer son utilisation.

Les applications de gestion de flux sont responsables de la majorité des calculs des systèmes embarqués (vidéo conférence, vision par ordinateur). Leurs exigences de haute performance rendent leur mise en œuvre parallèle nécessaire. Par conséquent, il est de plus en plus courant que les systèmes embarqués modernes incluent des processeurs multi-cœurs qui permettent un parallélisme massif. La mise en œuvre des applications de gestion de flux sur des multi-cœurs est difficile à cause de leur complexité, qui tend à augmenter, et de leurs exigences strictes à la fois qualitatives (robustesse, fiabilité) et quantitatives (débit, consommation d'énergie). Ceci est observé dans l'évolution de codecs vidéo qui ne cessent d'augmenter en complexité, tandis que leurs exigences de performance demeurent les mêmes. Les modèles de calcul (MdC) flot de données ont été développés pour faciliter la conception de ces applications qui sont typiquement composées de filtres qui échangent des flux de données via des liens de communication. Ces modèles fournissent une représentation intuitive des applications de gestion de flux, tout en exposant le parallélisme de tâches de l'application. En outre, ils fournissent des analyses statiques pour la vivacité et l'exécution en mémoire bornée. Cependant, les applications de gestion de flux modernes comportent des filtres qui échangent des quantités de données variables, et des liens de communication qui peuvent être activés / désactivés. Dans cette thèse, nous présentons un nouveau MdC flot de données, le Boolean Parametric Data Flow (BPDF), qui permet le paramétrage de la quantité de données échangées entre les filtres en utilisant des paramètres entiers et l'activation et la désactivation de liens de communication en utilisant des paramètres booléens. De cette manière, BPDF est capable de exprimer des applications plus complexes, comme les décodeurs vidéo modernes. Malgré l'augmentation de l'expressivité, les applications BPDF restent statiquement analysables pour la vivacité et l'exécution en mémoire bornée. Cependant, l'expressivité accrue complique grandement la mise en œuvre. Les paramètres entiers entraînent des dépendances de données de type paramétrique et les paramètres booléens peuvent désactiver des liens de communication et ainsi éliminer des dépendances de données. Pour cette raison, nous proposons un cadre d'ordonnancement qui produit des ordonnancements de type ``aussi tôt que possible'' (ASAP) pour un placement statique donné. Il utilise des contraintes d'ordonnancement, soit issues de l'application (dépendance de données) ou de l'utilisateur (optimisations d'ordonnancement). Les contraintes sont analysées pour la vivacité et, si possible, simplifiées. De cette façon, notre cadre permet une grande variété de politiques d'ordonnancement, tout en garantissant la vivacité de l'application. Enfin, le calcul du débit d'une application est important tant avant que pendant l'exécution. Il permet de vérifier que l'application satisfait ses exigences de performance et il permet de prendre des décisions d'ordonnancement à l'exécution qui peuvent améliorer la performance ou la consommation d'énergie. Nous traitons ce problème en trouvant des expressions paramétriques pour le débit maximum d'un sous-ensemble de BPDF. Enfin, nous proposons un algorithme qui calcule une taille des buffers suffisante pour que l'application BPDF ait un débit maximum. / Streaming applications are responsible for the majority of the computation load in many embedded systems (video conferencing, computer vision etc). Their high performance requirements make parallel implementations a necessity. Hence, more and more modern embedded systems include many-core processors that allow massive parallelism. Parallel implementation of streaming applications on many-core platforms is challenging because of their complexity, which tends to increase, and their strict requirements both qualitative (e.g., robustness, reliability) and quantitative (e.g., throughput, power consumption). This is observed in the evolution of video codecs that keep increasing in complexity, while their performance requirements remain the same or even increase. Data flow models of computation (MoCs) have been developed to facilitate the design process of such applications, which are typically composed of filters exchanging streams of data via communication links. Data flow MoCs provide an intuitive representation of streaming applications, while exposing the available parallelism of the application. Moreover, they provide static analyses for liveness and boundedness. However, modern streaming applications feature filters that exchange variable amounts of data, and communication links that are not always active. In this thesis, we present a new data flow MoC, the Boolean Parametric Data Flow (BPDF), that allows parametrization of the amount of data exchanged between the filters using integer parameters and the enabling and disabling of communication links using boolean parameters. In this way, BPDF is able to capture more complex streaming applications, like video decoders. Despite the increase in expressiveness, BPDF applications remain statically analyzable for liveness and boundedness. However, increased expressiveness greatly complicates implementation. Integer parameters result in parametric data dependencies and the boolean parameters disable communication links, effectively removing data dependencies. We propose a scheduling framework that facilitates the scheduling of BPDF applications. Our scheduling framework produces as soon as possible schedules for a given static mapping. It takes us input scheduling constraints that derive either from the application (data dependencies) or from the user (schedule optimizations). The constraints are analyzed for liveness and, if possible, simplified. In this way, our framework provides flexibility, while guaranteeing the liveness of the application. Finally, calculation of the throughput of an application is important both at compile-time and at run-time. It allows to verify at compile-time that the application meets its performance requirements and it allows to take scheduling decisions at run-time that can improve performance or power consumption. We approach this problem by finding parametric throughput expressions for the maximum throughput of a subset of BPDF graphs. Finally, we provide an algorithm that calculates sufficient buffer sizes for the BPDF graph to operate at maximum throughput.

Since metal-oxide-semiconductor (MOS) devices have been adopted into integrated circuits, the endless demands for higher performance and lower power consumption have been a primary challenge and a technology-driver in the semiconductor electronics. The invention of complementary MOS (CMOS) technology in the 1980s, and the introduction of voltage and physical dimension scaling in the 1990s would be good examples to keep up with the everlasting demands. In the 2000s, technology continuously evolves and seeks for more power efficiency ways such as high-k dielectrics, metal gate electrodes, strained substrates, and high mobility channel materials. As a gate dielectric, silicon dioxide (SiO₂), most widely used in CMOS integrated circuits, has many prominent advantages, including a high quality interface (e.g. Dit ~ low 1010 cm-2eV-1), a good thermal stability in contact with silicon (Si), a large energy bandgap and the large energy band offsets in reference to Si, and a high quality dielectric itself. As the thickness of SiO₂ keeps shrinking, however, SiO₂ is facing its physical limitations from the viewpoint of gate dielectric leakage currents and reliability requirements. High-k dielectric materials have attracted extensive attention in the last decade due to their great potential for maintaining further down-scaling in equivalent oxide thickness (EOT) and a low dielectric leakage current. HfO₂ has been considered as one of the most promising candidates because of a high dielectric constant (k ~ 20-25), a large energy band gap (~ 6 eV) and the large band offsets (> 1.5 eV), and a good thermal stability. To enhance carrier mobility, strained substrates and high mobility channel materials have attracted a great deal of attention, thus III-V compound semiconductor substrates have emerged as one of possible candidates, in spite of several technical barriers, being believed as barriers so far. The absence of high quality and thermodynamically stable native oxide, like SiO₂ on Si, has been one such hurdle to implement MOS systems on III-V substrates. However, recently, there have been a number of remarkable improvements on MOS applications on them, inspiring more vigorous research activities. In this research, HfO2-based MOS capacitors and metal-oxidesemiconductor field effect transistors (MOSFETs) with a thin germanium (Ge) interfacial passivation layer (IPL) on III-V compound substrates were investigated. It was found that a thin Ge IPL could effectively passivate the surface of III-V substrate, consequently providing a high quality interface and an excellent gate oxide scalability. N-channel MOSFETs on GaAs, InGaAs, and InP substrates were successfully demonstrated and a minimum EOT of ~ 9 Å from MOS capacitors was achieved. This research has begun with GaAs substrate, and then expanded to InGaAs, InP, InAs, and InSb substrates, which eventually helped to understand the role of a Ge IPL and to guide future research direction. Overall, MOS devices on III-V substrates with an HfO₂ gate dielectric and a Ge IPL have demonstrated feasibility and potential for further investigations. / text

Copper interconnect requires liner materials that function as a diffusion barrier, a seed layer for electroplating, and an adhesion promoting layer. Ruthenium has been considered as a promising liner material, however it has been reported that Ru itself is not an effective Cu diffusion barrier due to its microstructure, which is polycrystalline with columnar grains. The screening study of Ru precursors revealed that all Ru films were polycrystalline with columnar structure, and, due to its strong 3D growth mode, a conformal and ultrathin Ru film was difficult to form, especially on high aspect ratio features. The microstructure of Ru films can be modified by incorporating P. Amorphous Ru(P) films are formed by chemical vapor deposition at 575 K using a single source precursor, cis-RuH₂(P(CH₃)₃)₄, or dual sources, Ru₃(CO)₁₂ and P(CH₃)₃ or P(C6H5)₃ The films contain Ru and P, which are in zero-valent states, and C as an impurity. Phosphorus dominantly affects the film microstructure, and incorporating > 13% P resulted in amorphous Ru(P) films. Metastable Ru(P) remains amorphous after annealing at 675 K for 3 hr, and starts recrystallization at ~775 K. The density of states analysis of the amorphous Ru(P) alloy illustrates metallic character of the films, and hybridization between Ru 4d and P 3p orbitals, which contributes to stabilizing the amorphous structure. Co-dosing P(CH)₃ with Ru₃(CO)₁₂ improves film step coverage, and the most conformal Ru(P) film is obtained with cis-RuH2(P(CH₃)₃)₄; a fully continuous 5 nm Ru(P) film is formed within 1 µm deep, 8:1 aspect ratio trenches. First principles density functional theory calculations illustrate degraded Cu/Ru adhesion by the presence of P at the interface, however, due to the strong Ru-Cu bonds, amorphous Ru(P) forms a stronger interface with Cu than Ta and TaN do. Cu diffusion studies at 575 K suggests improved barrier property of amorphous Ru(P) films over polycrystalline PVD Ru.

L'objectif de cette thèse est d'apporter une réponse à la problématique d'adaptation automatique et dynamique des services numériques au sein des réseaux du futur (NGN). Pour cela, notre contribution s'articule autour d'un intergiciel qui prend en charge les fonctions de gestion du contexte pour les services numériques ; ceci pour permettre l'émergence de services numériques sensibles au contexte dans les réseaux du futur. L'originalité de ces travaux dans les NGN se situe dans le modèle de conception pour des services numériques sensibles au contexte où l'on découple la logique métier du service numérique de la logique de gestion du contexte. Plus spécifiquement nous définissons la notion de signature de contexte, propre à chaque service numérique, qui permet d'identifier les situations d'usage du service numérique et accompagne l'intergiciel dans le choix de la modalité d'exécution la plus performante. Elle est liée au service numérique sensible au contexte dès sa conception. Lors du déploiement du service dans le serveur d'applications, la signature de contexte est désolidarisée de la logique métier et se voit insérée dans la base de connaissance de l'intergiciel. La signature fait ainsi le lien entre l'intergiciel et le service numérique. Elle permet d'activer l'ensemble des fonctions de traitement du contexte que nous avons modélisées sous la forme d'une chaîne de traitement du contexte. Cette approche assure une séparation des deux logiques qui composent un service numérique sensible au contexte. Les concepteurs de tels services peuvent alors se concentrer sur le développement de la logique métier sans se soucier des fonctions de gestion du contexte

De nos jours, les applications de grande taille sont développées à l’aide de nom- breux cadres d’applications (frameworks) et intergiciels (middleware). L’utilisation ex- cessive d’objets temporaires est un problème de performance commun à ces applications. Ce problème est appelé “object churn”. Identifier et comprendre des sources d’“object churn” est une tâche difficile et laborieuse, en dépit des récentes avancées dans les tech- niques d’analyse automatiques. Nous présentons une approche visuelle interactive conçue pour aider les développeurs à explorer rapidement et intuitivement le comportement de leurs applications afin de trouver les sources d’“object churn”. Nous avons implémenté cette technique dans Vasco, une nouvelle plate-forme flexible. Vasco se concentre sur trois principaux axes de con- ception. Premièrement, les données à visualiser sont récupérées dans les traces d’exécu- tion et analysées afin de calculer et de garder seulement celles nécessaires à la recherche des sources d’“object churn”. Ainsi, des programmes de grande taille peuvent être vi- sualisés tout en gardant une représentation claire et compréhensible. Deuxièmement, l’utilisation d’une représentation intuitive permet de minimiser l’effort cognitif requis par la tâche de visualisation. Finalement, la fluidité des transitions et interactions permet aux utilisateurs de garder des informations sur les actions accomplies. Nous démontrons l’efficacité de l’approche par l’identification de sources d’“object churn” dans trois ap- plications utilisant intensivement des cadres d’applications framework-intensive, inclu- ant un système commercial. / Nowadays, large framework-intensive programs are developed using many layers of frameworks and middleware. Bloat, and particularly object churn, is a common per- formance problem in framework-intensive applications. Object churn consists of an ex- cessive use of temporary objects. Identifying and understanding sources of churn is a difficult and labor-intensive task, despite recent advances in automated analysis tech- niques. We present an interactive visualization approach designed to help developers quickly and intuitively explore the behavior of their application with respect to object churn. We have implemented this technique in Vasco, a new flexible and scalable visualization platform. Vasco follows three main design goals. Firstly, data is collected from execu- tion traces. It is analyzed in order to calculate and keep only the data that is necessary to locate sources of object churn. Therefore, large programs can be visualized while keeping a clear and understandable view. Secondly, the use of an intuitive view allows minimizing the cognitive effort required for the visualization task. Finally, the fluidity of transitions and interactions allows users to mentally preserve the context throughout their interactions. We demonstrate the effectiveness of the approach by identifying churn in three framework-intensive applications, including a commercial system.

„Socialinis tinklas – interaktyvi interneto struktūra (interneto svetainė) vienijanti tam tikrą, bendrų interesų turinčią narių grupę, kuri ir kuria konkrečios svetainės turinį ir virtualiai bendrauja tarpusavyje, automatizuotomis konkrečios svetainės priemonėmis. Socialiniai tinklai – paskutiniu metu aktyviai besivystanti interneto dalis, kuriai galima priskirti tiek paprastus diskusijų forumus, tiek sudėtingus visuomeninius ir (ar) komercinius interneto projektus.“ Pats populiariausias socialinis tinklas Pasaulyje yra facebook.com, http://www.socialbakers.com teigimu Lietuvoje turintis 1 132 000 vartotojų. Taip pat didžioji dalis didelįų įmonių ir prekės ženklų turi savo įmonės/prekės ženklo puslapį facebook.com socialiniame tinkle, tokiu būdu siekdami padidinti pardavimus, prekinio ženklo žinomumą. Pagrindinė problema naujiems puslapiams, kad darosi vis sunkiau pritraukti naujų fanų. Puslapių savininkai rengia įvarius konkursus, kurie yra mažai efektyvūs, jais nepasiekiama planuoto rezultato. Facebook.com taip pat suteikia galimybę kurti programas trečiosioms šalims, kurių pagalba jie gali pasiekti informaciją esančią facebook.com duomenų bazėse, naudotis jų suteiktomis funkcijomis. Jų efektyvumas nepalyginamai didesnis, nei anksčiau minėtų akcijų ir konkursų. Tačiau tokių programų kūrimas kainuoja dideles sumas. Kuriama aplikacija, skirta be jokių programavimo žinių įdiegti ją į savo serverį ir taip didinti savo puslapio žinomumą. Programos pagalba vartotojai už... [toliau žr. visą tekstą] / Social networks becoming more and more popular and they have an increasingly important role for every people and also for busines. Curently, there are many social networs, but the famuos is facebook. And the Facebook allows you to create applications third parties.The aplications can be used for games, comunication, but mostly for busines. There is a document about application of company marketing in facebook social network, which helps to popularize Facebook page. And here you can find analytical, requirements specification, specification of software architecture, testing conclusions, and also user documentation parts. In analytical part you can find similar systems comparison and why social aplicacions is nessary for busines. Requirements specification describes complete description of the behavior of a system to be developed and includea a set of use cases that describe interactions the users will have with the software. In addition it also contains functional and non-functional requirements. Testing document presents the results of testing and possible system errors. User documentations hows how to use the system and iliustrates it with lots of screenshots.