Relevant bibliographies by topics / SDL / Dissertations / Theses
To see the other types of publications on this topic, follow the link: SDL.

Dissertations / Theses on the topic 'SDL'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'SDL.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Schröder, Ralf. "SDL-Datenkonzepte." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. http://dx.doi.org/10.18452/14926.

Full text
Abstract:
SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl Anspruch als auch praktischer Wert von SDL in der Ausführbarkeit als Spezifikationstechnik liegt, wird dieses gerade durch das verwendete Datenmodell beeinträchtigt. Verdeckt wird dieses Problem durch die Bereit
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Xiaoyu 1968. "Variables abstraction in SDL." Thesis, McGill University, 2001. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33856.

Full text
Abstract:
State explosion problem is an essential impediment in practical applications of formal languages such as SDL, Specification and Description Language. In the context of validation and testing, one of the possible solutions is to abstract a constructed formal specification by removing certain, unimportant from some viewpoint, variables. The resulting system could be more tractable by existing validation and testing tools. In this thesis, we first elaborate methods for abstracting variables in the Extended FSM model and then methods to treat SDL specifications that are based on the EFSM model. Th
APA, Harvard, Vancouver, ISO, and other styles
3

Prinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.

Full text
Abstract:
In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative eingeschränkte Sprache RSDL (Restricted SDL) ausgewählt, um die Konzepte der formalen Definition von SDL darzustellen. Die vorliegende Habilitationsschrift umfaßt zwei große Teile: die Definition der formalen Semantik von RSDL und ihre Implementierung. Die formale Definition der Semantik von RSDL ist verständlich, leicht mit der informalen Beschreibung zu vergleichen u
APA, Harvard, Vancouver, ISO, and other styles
4

Bay, Till G. "Eiffel SDL multimedia library (ESDL)." Zürich : ETH, Eidgenössische Technische Hochschule Zürich, Professur für Software Engineering /Chair of Software Engineering, 2003. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schröder, Ralf. "SDL-Datenkonzepte - Analyse und Verbesserungen." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969065582.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Záň, Stanislav. "SDL model pro Source Specific Multicast." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217545.

Full text
Abstract:
This work deals with questions of IP net communication, with using metod Source-Specific Multicast. It focused on questions of registration, unregistration and administration of clients in multicast group and IGMP protocol, which is made for this communication. Work deals also about problems of signalization between source of data and clients of multicast group.In the introduction of this work questions of communications in multicast are analyse. I tis followed by the chapter focused on the specific metod of multicast – Source Specific Multicast (SSM). Next chapter is based on the protocols in
APA, Harvard, Vancouver, ISO, and other styles
7

Ribeiro, Júlio Resende. "J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste." Instituto Nacional de Pesquisas Espaciais (INPE), 2008. http://urlib.net/sid.inpe.br/mtc-m18@80/2008/12.02.12.01.

Full text
Abstract:
O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática de casos de testes, desde que o comportamento do software esteja representado como uma Máquina de Estados Finitos (MEF). São exemplos desses métodos: T, UIO, D e Switch Cover. Devido a algumas limitações das MEFs, investiga-se a geração automática de casos de teste a partir de técnicas formais de descrição que permitam a representação explícita de hierarquia e paralelismo, características muito necessárias para a representação
APA, Harvard, Vancouver, ISO, and other styles
8

Löwis, of Menar Martin von. "Formale Semantik des Datentypmodells von SDL-2000." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=970263821.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Abdalla, Mohamed Musa. "Automatic generation of SDL specifications from MSCs." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0017/MQ47822.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Figueiredo, Renato Jansen de Oliveira. "Sintese comportamental de circuitos digitais utilizado SDL." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261438.

Full text
Abstract:
Orientador: Ivanil Sebastião Bonatti<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-20T15:34:37Z (GMT). No. of bitstreams: 1 Figueiredo_RenatoJansendeOliveira_M.pdf: 5779228 bytes, checksum: b2fb963a793332e11d4da83c66486ada (MD5) Previous issue date: 1995<br>Resumo: Metodologias de projeto de sistemas digitais em alto nível têm por objetivos principais permitir a descrição de sistemas cada vez mais complexos, mantendo a visão sistêmica do projeto durante todo o seu ciclo de desenvolvimento, e diminuir o t
APA, Harvard, Vancouver, ISO, and other styles
11

Menar, Martin von Löwis of. "Formale Semantik des Datentypmodells von SDL-2000." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. http://dx.doi.org/10.18452/15005.

Full text
Abstract:
Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül der Abstract State Machines (ASMs). Ebenfalls neu definiert wurde das um objekt-orientierte Konzepte erweiterte Datentypsystem. Damit musste eine formale semantische Fundierung für diese neuen Konzepte gefunden werden. Der bisher verwendete Kalkül ACT.ONE sollte nicht mehr verwendet werden, da er schwer verwendbar, nicht implementierbar und nicht auf
APA, Harvard, Vancouver, ISO, and other styles
12

Best, André. "Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL /." Berlin : Logos-Verl, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2997432&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Crutcher, L. A. "A computer architecture for the implementation of SDL." Thesis, University of Bristol, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234938.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Ritthiruangdech, Panitee. "Test suite reduction using SDL and EFSM dependency analysis." Thesis, University of Ottawa (Canada), 2004. http://hdl.handle.net/10393/26758.

Full text
Abstract:
A reduction of a requirement-based test suite can be achieved without significantly reducing the fault-detection capabilities of the original test suite. This is done by eliminating all but one of the equivalent test cases from each class of equivalent test cases of the original test suite. A requirement-based reduction technique proposed in [1] uses EFSM dependency analysis to define classes of equivalent test cases. Two types of dependencies, namely control and data dependencies, are identified in an EFSM/SDL model. In this thesis, based on [1], we have proposed algorithms to generate intera
APA, Harvard, Vancouver, ISO, and other styles
15

Henniger, Olaf [Verfasser]. "Testgenerierung aus Spezifikationen in Estelle und SDL / Olaf Henniger." Aachen : Shaker, 2003. http://d-nb.info/1172611041/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Kolloch, Thomas. "Scheduling with message deadlines for hard real-time SDL systems." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=965601870.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Li, Qing. "SIMPL-T: SDL intended for management and planning of tests." Thesis, University of Ottawa (Canada), 2004. http://hdl.handle.net/10393/26694.

Full text
Abstract:
The correctness and completeness of the requirement specifications are critical in the software lifecycle. Validation of the specifications against the user requirements is essential for ensuring software quality and reducing development cost. SDL (Specification and Description Language) specifications may be validated using TTCN (Testing and Test Control Notation); however TTCN has a much wider scope and broader purpose. For testing SDL specifications, only a small part of TTCN is needed. Therefore, for many projects and organizations, it is not economical or efficient to use TTCN to validate
APA, Harvard, Vancouver, ISO, and other styles
18

Bourduas, Stephan. "Generation of SDL specifications from UML and MSC use cases." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/MQ64058.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Maerz, Peter. "Implementierung einiger OAM-Funktionen zur Evaluation der Sprache SDL und des Frameworks ObjectGEODE." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1997. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783437.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Wörn, Michael. "Spezifikation einer Steuerungssoftware für eine CAN-Bus gesteuerte Kraftfahrzeugtüre in SDL." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1998. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783611.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

le, Clercq Anton, and Kristoffer Almroth. "Comparison of Rendering Performance Between Multimedia Libraries Allegro, SDL and SFML." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-259756.

Full text
Abstract:
In this report the rendering performances of the multimedia libraries Allegro, SDL and SFML have been compared. Highest performance is achieved by writing code directly to the low level graphical APIs, though it requires much more work than using the multimedia libraries graphical functions built on one of these graphical APIs. Thus it is common to use a multimedia library or similar for visualization tasks. The total number of frames rendered in one second was counted for static, alpha blended, rotating, and moving images in each library. Every test was run with few to very many images, and t
APA, Harvard, Vancouver, ISO, and other styles
22

Banys, Povilas. "Difuzijų, turinčių stacionarųjį tankį, parametrų vertinimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2014. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_190707-67965.

Full text
Abstract:
Darbe yra nagrinėjama vienmačių homogeninių difuzinių procesų parametrų, įeinančių į difuzijos ir poslinkio koeficientus, vertinimas. Vertinimui naudojama stacionariųjų tankių išraiškos. Panaudojant skaitinius metodus lygtys yra modeliuojamos kompiuteriu, skaičiavimams naudojant SAS statistikos paketą.<br>We consider the estimation of unknown parameters in the drift and diffusion coefficients of a one-dimension diffusion X when the observation is a discrete sample. For the estimation we use stationary distribution function. Using numerical methods we approximate SDE and realize the algorithm w
APA, Harvard, Vancouver, ISO, and other styles
23

Muth, Annette. "SDL-based design of application specific hardware for hard real-time systems." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=964752905.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Sugeta, Tatiana. "Uma contribuição para o teste de especificações SDL: aspectos teóricos e empíricos." Universidade de São Paulo, 2004. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122014-094349/.

Full text
Abstract:
Atividades sistemáticas e rigorosas no processo de desenvolvimento são fundamentais para a obtenção de produtos de software de qualidade, entre elas a utilização de técnicas formais. Apesar do rigor estabelecido pelo uso dessas técnicas nas fases iniciais de desenvolvimento, a qualidade da especificação pode não ser satisfatória. A condução de atividades de W&T Verificação, Validação e Teste, paralelamente às atividades de desenvolvimento, visa a assegurar a qualidade adequada a cada passo do processo. Este trabalho tem como objetivo contribuir para o teste de especificações SDL. SDL é uma té
APA, Harvard, Vancouver, ISO, and other styles
25

Peng, Yuan. "Modeling of intelligent networks using SDL and an approach for feature interaction detection." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ39490.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Gunnbäck, Johannes, and Helena Mischel. "A situation analysis of the security awareness at Software Vendors and how to best inform them about the Microsoft Security Development Lifecycle." Thesis, Linköping University, Department of Computer and Information Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-53708.

Full text
Abstract:
<p>In January 2002 Bill Gates sent out the renowned "Trustworthy Computing" memo where he announced that the company would shift their focus from adding new features and functionality to security and privacy. This was what led to the formulation of the Security Development Lifecycle (SDL). This process is now mandatoryfor all development at Microsoft with meaningful business risk and/or with accessto sensitive data. The SDL led to great improvements of the number and severityof vulnerabilities in the products that went through the process. When the vulnerabilitiesin the Operation System (OS) w
APA, Harvard, Vancouver, ISO, and other styles
27

Mokkedem, Abdelillah. "Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL." Vandoeuvre-les-Nancy, INPL, 1994. http://www.theses.fr/1994INPL051N.

Full text
Abstract:
Le contexte dans lequel la logique temporelle linéaire (TL) s'est révélée un outil efficace est celui de la vérification a priori. Cela exige la connaissance préalable entière du programme que l'on veut vérifier. Une première partie de notre travail s'inscrit dans ce cadre et consiste a concevoir une méthode interactive de preuves de propriétés d'invariance et de fatalité de programmes parallèles. Cette méthode, basée sur une théorie appelée crocos, est appliquée au langage SDL. La logique temporelle perd rapidement ses atouts des que l'on s'intéresse a la vérification a posteriori ou un progr
APA, Harvard, Vancouver, ISO, and other styles
28

Moreno, Alcerreca Christina. "Services à haute intensité technologique : l'adoption des services de données pour téléphonie mobile en France." Thesis, Evry, Institut national des télécommunications, 2010. http://www.theses.fr/2010TELE0004.

Full text
Abstract:
Face au développement des services à haute intensité technologique, se pose le problème de leur acceptation. En téléphonie mobile, les Français se rallient progressivement à ces services et cette thèse vise à comprendre cette adoption. La revue de littérature fondée sur l’adoption des innovations et son adaptation au domaine des services permet d’identifier les principaux facteurs qui influencent l’adoption des services à haute intensité technologique. Une étude qualitative exploratoire a permis d’enrichir notre cadre conceptuel que nous avons testé dans une seconde phase auprès de 350 utilisa
APA, Harvard, Vancouver, ISO, and other styles
29

Tamura, Roberto Toshiyuki. "Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri." [s.n.], 1988. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259898.

Full text
Abstract:
Orientador: Shusaburo Motoyama<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-17T17:32:48Z (GMT). No. of bitstreams: 1 Tamura_RobertoToshiyuki_M.pdf: 5692280 bytes, checksum: 5060e1cac0598ce84d6c8f7ffee3b0b4 (MD5) Previous issue date: 1988<br>Resumo: Não informado<br>Abstract: Not informed.<br>Mestrado<br>Mestre em Engenharia Elétrica
APA, Harvard, Vancouver, ISO, and other styles
30

Keřka, Marek. "Systém podpory prodeje sportovních dat." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-192386.

Full text
Abstract:
The goal of diploma thesis is disquisition on existing file format intended for data transmission over computer network. Choose one of the compared file format and create a file structure for transmission sports data. Assess the structure of files from existing sports data suppliers and create their own structure. Compare the possible ways of distribution of created data files and give recommendations for services implementers.
APA, Harvard, Vancouver, ISO, and other styles
31

Sarti, Francesca. "Mini-system: un software di calcolo numerico." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8297/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Dumas, Xavier. "Application des méthodes par ordres-partiels à la vérification formelle de systèmes asynchrones clos par un contexte : application à SDL." Télécom Bretagne, 2011. http://www.theses.fr/2011TELB0157.

Full text
Abstract:
Actuellement, les industries engagent tous leurs efforts dans le processus de tests et de simulations à des fins de certification. Néanmoins, ces techniques deviennent rapidement inexploitables pour débusquer des erreurs pouvant conduire à des situations catastrophiques. La couverture des jeux de tests s’amincit au fur et à mesure de la complexification des systèmes, et il devient nécessaire d’utiliser de nouvelles méthodes. Parmi celles-ci, les méthodes formelles ont contribué, depuis plusieurs années, à l’apport de solutions rigoureuses et puissantes pour aider les concepteurs à produire des s
APA, Harvard, Vancouver, ISO, and other styles
33

Chung, Stella Wing Kwan. "Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260161.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004<br>Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo
APA, Harvard, Vancouver, ISO, and other styles
34

Schmitt, Michael. "Automatic Test Generation Based on Formal Specifications." Doctoral thesis, [S.l.] : [s.n.], 2003. http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Guimarães, Rafael Paoliello. "Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java." [s.n.], 2001. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260150.

Full text
Abstract:
Orientador : Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-31T15:19:09Z (GMT). No. of bitstreams: 1 Guimaraes_RafaelPaoliello_M.pdf: 1024865 bytes, checksum: 71e403fc82a4651fb1f0d61fa6da36be (MD5) Previous issue date: 2001<br>Mestrado
APA, Harvard, Vancouver, ISO, and other styles
36

Alkhodre, Ahmad Badreddin. "Développement formel de systèmes temps réel à l'aide de SDL et IF ( Compilation pour système temps réel )." Lyon, INSA, 2004. http://theses.insa-lyon.fr/publication/2004ISAL0052/these.pdf.

Full text
Abstract:
Un système temps réel est un système qui interagit avec un environnement physique en remplissant souvent des missions critiques (une faute du système peut avoir des conséquences graves). Il sera dit correct s'il possède les bonnes fonctionnalités réalisées à temps (contraintes temporelles imposées par l’environnement ou par l’utilisateur). La validation fonctionnelle et temporelle de ces systèmes est une nécessité forte (fournisse des résultats fiables). Dans le cadre des implémentations à base d’exécutifs multitâche temps réel, le travail présenté dans cette thèse tente d’apporter une approch
APA, Harvard, Vancouver, ISO, and other styles
37

Nogueira, Antonia Diana Braga. "Uma proposta de integração das redes UMTS e IEEE 802.11 com suporte a mobilidade." reponame:Repositório Institucional da UFC, 2007. http://www.repositorio.ufc.br/handle/riufc/17234.

Full text
Abstract:
NOGUEIRA, Antonia Diana Braga. Uma proposta de integração das redes UMTS e IEEE 802.11 com suporte a mobilidade. 2007. 91 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007.<br>Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T19:51:57Z No. of bitstreams: 1 2007_dis_adbnogueira.pdf: 13756193 bytes, checksum: bb4a338bd2622ad6f90479ce37824ccd (MD5)<br>Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T19:52:27Z (GMT) No. of bitstreams: 1 2007_dis_adbnogueira.pdf: 137561
APA, Harvard, Vancouver, ISO, and other styles
38

Zaïdi, Fatiha. "Contribution à la génération de tests pour les composants de service. Application aux services de réseau intelligent." Evry-Val d'Essonne, 2001. http://www.theses.fr/2001EVRY0011.

Full text
Abstract:
Le test de conformité est une activité cruciale dans le développement d'une application. Il a pour but de s'assurer que le produit fini correspond bien à la spécification de départ. Devant la complexité croissante des systèmes de télécommunications, il est devenu nécessaire d'assister les différentes phases de développement des systèmes par des méthodes et des outils. Ainsi, les méthodes formelles ont permis l'émergence de méthodes de génération automatique de tests et ainsi la possibilité de soulever un grand nombre d'ambigui͏̈tés dans l'expression de ce que doit réaliser le système. Or, le t
APA, Harvard, Vancouver, ISO, and other styles
39

Dumery, Jean-Jacques. "Un langage de spécification pour la conception structurée de la commande des systèmes à évènements discrets." Châtenay-Malabry, Ecole centrale de Paris, 1999. http://www.theses.fr/1999ECAP0644.

Full text
Abstract:
Dans le cadre de l'ingénierie des systèmes automatisés de production, concevoir une commande de système à évènements discrets est une activité complexe. Elle nécessite souvent l'utilisation de méthodes qui mettent en œuvre un ensemble de langages de spécification. Par ailleurs, on observe que les représentations graphiques sont de plus en plus privilégiées par rapport aux représentations littérales et algébriques du fait de leur aptitude à servir de support de communication entre tous les intervenants. C'est dans cet esprit que le Grafcet a été conçu. Il est aujourd'hui largement enseigné, uti
APA, Harvard, Vancouver, ISO, and other styles
40

Calabretto, Sylvie. "Contribution à la validation des spécifications algébriques et à l’étude des spécifications algébriques avec contraintes." Lyon, INSA, 1993. http://www.theses.fr/1993ISAL0017.

Full text
Abstract:
Le rôle clef joué par la spécification dans le cycle de vie du logiciel est aujourd'hui universellement reconnu. Il est en effet admis que nombre d'erreurs de mise au point et de maintenance pourraient être évitées si le problème de départ avait été spécifié de façon plus précise et plus exacte. Les recherches actuelles sur les spécifications s'accordent toutes à concevoir qu'une spécification doit être formelle. La méthode de spécification algébrique de logiciels constitue actuellement un axe de recherche privilégié. L'objet de la première partie de cette thèse est l'étude de la validation de
APA, Harvard, Vancouver, ISO, and other styles
41

Cansado, Antonio. "Formal specification and verification of distributed component systems." Nice, 2008. http://www.theses.fr/2008NICE4052.

Full text
Abstract:
Les composants sont des blocs logiciels qui communiquent par des interfaces bien définies. Ces interfaces définissent un contrat avec l'environnement. Ce contrat doit garantir la compatibilité comportementale des interfaces. Cette compatibilité est en particulier importante quand des composants sont distribués et communiquent par des méthodes asynchrones. Cette thèse se base sur les spécifications comportementales des composants distribués. Nous développons un cadre formel qui nous permet de construire des modèles comportementaux pour ces composants. Après une phase d'abstraction, ces modèles
APA, Harvard, Vancouver, ISO, and other styles
42

Alfakhri, Demah Hussain. "Exploring the impact of hotel interior design through service dominant logic (SDL) and consumer culture theory (CCT) lenses." Thesis, University of Hull, 2015. http://hydra.hull.ac.uk/resources/hull:13616.

Full text
Abstract:
This study examined the role of interior design in a hotel context. Although the role of interior design is clear in daily life and managerial activities, little consumer research has been conducted to identify the influential elements of interior design and capture their impacts, specifically within the hotel industry. Additionally, there is limited theoretical support for the integration of design and business disciplines, and the integration of consumer culture theory (CCT) and service dominant logic (SDL) theories. Addressing these gaps, this study sought to understand the underpinnings of
APA, Harvard, Vancouver, ISO, and other styles
43

Nogueira, Antonia Diana Braga. "Uma proposta de integraÃÃo das redes UMTS e IEEE 802.11 com suporte a mobilidade." Universidade Federal do CearÃ, 2007. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1354.

Full text
Abstract:
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico<br>As redes locais sem fio (Wireless Local Area Networks - WLANs) IEEE 802.11 atingem taxas de transmissÃo de dados relativamente altas quando comparadas `a outras redes sem fio, por exemplo, Bluetooth. Essas altas taxas de transmissÃao tÃm interessado as operadoras de redes celulares, as quais comeÃam a ver as redes IEEE 802.11 como um complemento as suas redes de acesso. Esta interoperabilidade entre sistemas celulares e WLANs tem sido um tema bastante discutido na literatura. Por exemplo, o 3GPP (Third Generation Partnership Proj
APA, Harvard, Vancouver, ISO, and other styles
44

West, James F. "An examination of the application of design metrics to the development of testing strategies in large-scale SDL models." Virtual Press, 2000. http://liblink.bsu.edu/uhtbin/catkey/1191725.

Full text
Abstract:
There exist a number of well-known and validated design metrics, and the fault prediction available through these metrics has been well documented for systems developed in languages such as C and Ada. However, the mapping and application of these metrics to SDL systems has not been thoroughly explored. The aim of this project is to test the applicability of these metrics in classifying components for testing purposes in a large-scale SDL system. A new model has been developed for this purpose. This research was conducted using a number of SDL systems, most notably actual production models prov
APA, Harvard, Vancouver, ISO, and other styles
45

Barreto, Matheus de Carvalho. "Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio." [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260010.

Full text
Abstract:
Orientador: Walter da Cunha Borelli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-25T11:13:00Z (GMT). No. of bitstreams: 1 Barreto_MatheusdeCarvalho_M.pdf: 5411951 bytes, checksum: 03617380c5b23608e58b09d83a021a4f (MD5) Previous issue date: 1999<br>Resumo: Nessa tese são especificadas formalmente em SDL (Specification and Description Language) e simuladas através do SDT1 (SDL Design Tool), as sinalizações de Registro (Registration) e Conexão (Call Setup) de um terminal em uma rede ATM se
APA, Harvard, Vancouver, ISO, and other styles
46

Pierrot, Adeline. "Combinatoire et algorithmique dans les classes de permutations." Paris 7, 2013. http://www.theses.fr/2013PA077056.

Full text
Abstract:
Cette thèse porte sur l'étude des classes de permutations à motifs exclus. Une analyse combinatoire des permutations via leur décomposition par substitution permet d'obtenir des résultats algorithmiques. La première partie de la thèse étudie la structure des classes de permutations. Plus précisément on donne un algorithme pour calculer une spécification combinatoire pour une classe de permutations données par sa base de motifs exclus. La spécification est obtenue si et seulement si la classe contient un nombre fini de permutations simples, cette condition étant testée par l'algorithme lui-même
APA, Harvard, Vancouver, ISO, and other styles
47

Pavlova, Mariela. "Vérification de programmes en code octet et ses applications." Nice, 2007. http://www.theses.fr/2007NICE4010.

Full text
Abstract:
Les techniques de vérification basées sur les logiques de programmation ainsi que sur les générateurs de conditions de vérification permettent de raisonner de manière efficace sur les programmes. Bien que ces techniques aient souvent été utilisées avec des langages de haut niveau pour bénéficier de leurs structures, il est souvent nécessaire, plus spécifiquement dans le contexte du code mobile, de prouver la correction de programmes déjà compilés. C’est pourquoi il est très intéressant d’avoir un moyen pour utiliser la vérification de code source au niveau de l’utilisateur de code. Nous propos
APA, Harvard, Vancouver, ISO, and other styles
48

Kaiser, Michael. "Bewertung des Simulationsmodells des HiSAP-Werkzeugs zur interaktiven Simulation von Protokollen." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1998. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB7400619.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Christmann, Dennis [Verfasser], and Reinhard [Akademischer Betreuer] Gotzhein. "Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL / Dennis Christmann. Betreuer: Reinhard Gotzhein." Kaiserslautern : Technische Universität Kaiserslautern, 2015. http://d-nb.info/1073868486/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Pettersson, Mattias. "Mjukvarubaserad 3D-renderare." Thesis, Blekinge Tekniska Högskola, Sektionen för teknokultur, humaniora och samhällsbyggnad, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3520.

Full text
Abstract:
Abstrakt Produkten som jag har utvecklat är en mjukvarubaserad 3D-renderare. För att göra en sådan produkt är man tvungen att gå djupt in i området 3D och utföra alla beräkningar på egen hand. Dessa tar annars grafikkortet hand om. Denna rapport förklarar varför jag har valt att göra en egen mjukvarubaserad 3D- renderare och vad den är för något och i vilka områden den används. Här förklaras även min syn på programmering, digitala spel, vad programmering innebär för mig och hur min syn på spel har påverkat mig med tiden. Jag tar även upp mina tankar om spelindustrin och samhällets misstolkade
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'SDL' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography