To see the other types of publications on this topic, follow the link: Functional specification.
Dissertations / Theses on the topic 'Functional specification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Functional specification.'
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
Gipp, Torsten. "Functional web site specification." Berlin Logos-Verl, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2837856&prov=M&dok_var=1&dok_ext=htm.
Full text
2
Swierstra, Wouter. "A functional specification of effects." Thesis, University of Nottingham, 2009. http://eprints.nottingham.ac.uk/10779/.
Full textAbstract:
This dissertation is about effects and type theory. Functional programming languages such as Haskell illustrate how to encapsulate side effects using monads. Haskell compilers provide a handful of primitive effectful functions. Programmers can construct larger computations using the monadic return and bind operations. These primitive effectful functions, however, have no associated definition. At best, their semantics are specified separately on paper. This can make it difficult to test, debug, verify, or even predict the behaviour of effectful computations. This dissertation provides pure, functional specifications in Haskell of several different effects. Using these specifications, programmers can test and debug effectful programs. This is particularly useful in tandem with automatic testing tools such as QuickCheck. The specifications in Haskell are not total. This makes them unsuitable for the formal verification of effectful functions. This dissertation overcomes this limitation, by presenting total functional specifications in Agda, a programming language with dependent types. There have been alternative approaches to incorporating effects in a dependently typed programming language. Most notably, recent work on Hoare Type Theory proposes to extend type theory with axioms that postulate the existence of primitive effectful functions. This dissertation shows how the functional specifications implement these axioms, unifying the two approaches. The results presented in this dissertation may be used to write and verify effectful programs in the framework of type theory.
3
Williams, Dewi L. (Dewi Lloyd) Carleton University Dissertation Engineering Electrical. "A Functional-test specification language." Ottawa, 1988.
Find full text
4
Anderson, Steven E. "Functional specification for a Generic C3I Workstation." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA241377.
Full textAbstract:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 1990.Thesis Advisor(s): Luqi. Second Reader:Shimeall, Tomothy. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Communications intelligence, work stations, command control communications, embedded systems, models, combat readiness, specifications, tools, computers, theses, prototypes, costs, evolution(general), fleets(ships), naval operations, budgets, economic impact, combat effectiveness, requirements, computer programs, software engineering Author(s) subject terms: Software specification, hard real time software, embedded systems, generic C3I workstation, next generation computer resources. Includes bibliographical references (p. 253-255). Also available in print.
5
Payer, Bernhard. "Functional analysis of germ cell specification in mice." Thesis, University of Cambridge, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613760.
Full text
6
JUNIOR, EDUARDO AUTRAN DE ALMEIDA. "FUNCTIONAL SPECIFICATION AND IMPLEMENTATION OF A VOICE EDITOR." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1990. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14500@1.
Full textAbstract:
Este trabalho analisa projetos que oferecem serviços integrados, com um enfoque maior sobre edição de voz, tendo como objetivo identificar as características específicas do tratamento de voz como meio de representação da informação, fornecendo assim subsídios conceituais para a especificação apresentada de um editor de voz. A seguir, é descrita a implementação de um protótipo de editor de voz proposto, desenvolvido para microcomputadores do tipo PC providos da placa de codificação de voz desenvolvida nos laboratórios da PUC-RJ.This work analyses projects that offer integrated services, specially those which provide voice edition, in order to identify the particular characteristics of voice as a medium of representation of information, providing conceptual subsidies to the presented specification of a voice editor. After this, implementation of a prototype of the voice editor, which was developed to PC compatibles provided with the board of voice codification developed at the laboartories of PUC-RJ, is described.
7
Szydlowski, Barbara. "Complexity analysis and monadic specification of memoized functional parsers." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape16/PQDD_0009/MQ31006.pdf.
Full text
8
Son, Chang Won. "Functional description and formal specification of a generic gateway." Diss., The University of Arizona, 1988. http://hdl.handle.net/10150/184534.
Full textAbstract:
This dissertation is concerned with the design of a generic gateway which provides an interoperability between dissimilar computer networks. The generic gateway is decomposed with subnetwork dependent blocks and subnetwork independent blocks. The subnetwork dependent block is responsible to communicate with subnetwork nodes. The subnetwork independent block is responsible to interconnect the subnetwork dependent blocks. The communications between subnetwork dependent and independent blocks are done by service access points which defined independently to any specific subnetworks. Formal specification of a generic gateway is provided by LOTOS. The generic gateway specification is tested by a verifiable test method which is proposed in this dissertation. The correctness of the specification has been verified while the specified model is simulated. The major difference between conventional simulation and the verifiable test is in the objective of simulation. In the verifiable test method, the semantical properties are examined during the simulation process. The tester can be either human observer or other process.
9
Feng, Heng. "Environmental considerations integrated in the functional specification of products." Troyes, 2012. http://www.theses.fr/2012TROY0002.
Full textAbstract:
Dans un contexte de changement global économique et environnemental, l’écoconception constitue un axe majeur de prévention et de réduction des impacts environnementaux. Souvent utilisée pour reconcevoir un produit après en avoir mesuré les impacts environnementaux, les méthodologies actuelles apportent peu de réponse pour la conception de nouveaux produits pour lesquels il n’existe pas de retour d’expériences environnementales. Dans un contexte industriel de type PME, ce mémoire a pour but de proposer un guide méthodologique aux concepteurs de produits pour mieux spécifier les performances de leurs produits selon une approche fonctionnelle et environnementale. Une première étape décrit le cycle de vie selon une décomposition par phases liées par des conditions de transitions. Une seconde étape permet de mettre en relief l’ensemble des éléments en interaction avec le produit selon une catégorisation par leur rôle, leur nature et leur temporalité. Un processus fonctionnel permet ensuite de traduire les interactions du produit avec son environnement par un référentiel fonctionnel constitué de 16 primitives. Cette traduction fonctionnelle est un processus servant à la fois à mieux cerner les exigences fonctionnelles mais aussi à prendre conscience des objectifs environnementaux pour chaque phase du cycle de vie. Finalement, l’approche fonctionnelle est appliquée à un système mécanique développé par une PME dans le secteur du rotomoulage. Celle application permet de mettre en avant le caractère pragmatique de la méthode qui est un facteur de dynamisation et de créativité pour l’entrepriseEco-design represents a fundamental issue to prevent and reduce environmental impacts in a global change context. Most of the time, eco-design give answers for the redesign of existing products depending on their environmental impact assessment, unfortunately few answers are given to designers in the case of a brand new product. This thesis proposes a methodological approach to help small and medium sized enterprises in specifying the performances of their new products by integrating functional and environmental considerations. A first step describes the life cycle based on phases’ subdivision connected with transition conditions. A second step highlights the components that interact with the product by identifying their role, form and temporality. Then, the use of 16 functional primitives helps the designer in translating the functions for a better specification of the technical performances and the environmental goals. In order to support the method-ology, a study is presented on a product that integrates rotomolded components
10
Bergeron, Vincent. "Cognitive architecture and the brain : beyond domain-specific functional specification." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/2711.
Full textAbstract:
My dissertation applies philosophical analysis to the problem of how we should cognitively characterize brain activity. Let us distinguish between high-level cognitive functions—e.g. decision-making, face recognition—and the lower-level computational operations that are carried out by discrete regions of the brain. One can assume that cognitive functions are assembled from interactions between relatively autonomous computational operations carried out by discrete brain regions. My thesis, stated very broadly, is that in order to be effective, the decomposition of a cognitive function into a set of interactions between localized computational operations may need to be specified domain-neutrally, and not in terms of a particular informational domain or stimulus class.
Jerry Fodor’s influential work on modularity has sparked an industry of research that is based on the idea that the mind is, to a large extent, a configuration of domain-specific and relatively autonomous cognitive mechanisms, or modules. My treatment indicates how this modular approach must be modified in order successfully to decompose domain-specific cognitive functions into localizable computational operations. I proceed in two steps. First, I provide an analysis of the kinds of inferences that are used by cognitive scientists to postulate the existence of cognitive modules; I call these the modularity inferences. I offer a new characterization of these inferences, and argue that they can, and do, operate in three distinct modes in cognitive scientific research. Second, I present a general approach to the decomposition of a cognitive function into localizable computational operations. According to this approach, which I call the working zone approach, the contribution of a distinct brain region to a cognitive function is specified in terms of the type of operations that this region performs, and not in terms of a particular informational domain. I demonstrate the value of this approach in several research contexts within the cognitive sciences.
11
Matthews, John Robert. "Algebraic specification and verification of processor microarchitectures /." Full text open access at:, 2000. http://content.ohsu.edu/u?/etd,212.
Full text
12
Lee, Jinho. "Architecture for a low-level functional specification language supporting multimodeling and simulation." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0011609.
Full text
13
Hamilton, William. "Functional and biochemical analysis of ERK2 in mouse embryonic stem cells." Thesis, University of Edinburgh, 2011. http://hdl.handle.net/1842/5774.
Full textAbstract:
The ERK-MAPK pathway is a dynamic signaling module, conserved across Eukarya, and capable of processing a myriad of environmental and cellular signals. It has been implicated in controlling important cell fate decisions in many cell types and species. In mES cells, growth factor activation of the ERK-MAPK pathway is involved in the earliest stages of lineage segregation, however very little is currently known about the mechanism by which this is accomplished. Taking a loss-of-function gene targeting approach I have reexamined the relative contribution of ERK2 activity to FGF-ERK signaling. Although ERK2 depletion results in an attenuation of the combined ERK1/2 activity, this is compensated for by the hyperactivation of the remaining ERK1 isozyme. Normal ERK1/2 function can be restored to ERK2 deficient cells by transgenic expression of either ERK1 or ERK2, indicating a degree of functional redundancy between both isoforms. When subjected to the appropriate cues, lineage commitment proceeded normally in ERK2 deficient cells, however increased self-renewal was observed under standard culture conditions. Several attempts were made to further probe ERK1/2 function by siRNA depletion, and dominant negative inhibition of ERK1 in Erk2 knockout cells, however both approaches failed to provide further insight. Furthermore, taking a candidate approach, the role of Srf, a canonical target of ERK1/2 signaling, was examined. Initial experiments indicated a role for SRK in neural differentiation, however due to issues of culture adaptation and instability in several cell lines it was not possible to conclude this line of research within the time frame of this thesis. IP-MS/MS analysis identified several proteins known to interact with ERK2 and indicated an involvement in nuclear pore function through TPR as well as transcriptional and translational regulation through RSK proteins. Moreover, this study identified DUSP6 and DUSP9 as the primary induced dual specificity phosphatases that regulate ERK2 activity in mES cells. To further probe the functional significance of the ERK:p90RSK interaction I examined a mES cell line genetically depleted for PDK1, a crucial regulator of p90RSK function. This cell line exhibits no detectable p90RSK activity, however in contrast to studies in other cell lines, p90RSK activity is dispensable for mitogen-induced cFos expression in mES cells. Subsequent experiments demonstrated a requirement for PDK1 activity in either the specification or maintenance of mES cell derived neurons. Further analysis indicated that p90RSK may be involved in a negative feedback loop regulating ERK1/2 activity, and if so may represent a point whereby ERK1/2 activity can be manipulated. To examine this I determined the effect pharmacological inhibition of p90RSK has on ERK1/2 activity and self-renewal using a novel p90Rsk inhibitor, BI-D1870. Although treatment with BI-D1870 correlated with enhanced ERK1/2 phosphorylation, the offtarget effects this molecule exhibits made it impossible to draw any firm conclusions from these experiments. Overall this study has demonstrated a degree of redundancy between ERK1/2 isozymes in mES cells. It has highlighted the complex nature of ERK1/2 regulation as well as the robustness of this pathway to perturbations in ERK dose. Furthermore, it has underscored some of the common pitfalls encountered when studying differentiation phenotypes in mES cells. Although this study failed to highlight anything more than a coincidental relationship between ERK1/2 activity and self-renewal capacity of mES cells, it has helped to highlight some important behavioral characteristics of the FGF-MAPK pathway in mES cells and provide a platform for further study.
14
Višinskaitė, Asta. "Interpretation of Lithuanian folk dreams and narrations on dreams: composition, functional specification, meanings." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2007. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2007~D_20071228_121542-55763.
Full textAbstract:
In this work estimation and interpretation of dreams in traditional Lithuanian culture were investigated. The object of the work is dream interpretations, statements on the fulfilment of dreams and individual narrations about them, spreading orally and with the help of popular publications. In the work, dreams are investigated images of which are understood in the figurative sense and need some explanation.
It was set out that dream interpretations can be ascribed to category of beliefs. A dream image is related to specific meanings according to the principles of analogy, antithesis, identity and similarity of words. People single out concrete objects from the whole dream and interpret them: 1) identify dream images recognized in certain cultural environment, with specific mythical implications ascribed; 2) link images to some event supposed or already happened on the ground of intuition and /or personal experience.
In dream interpretations and narratives on dreams, a dream image and its meaning are defined. Between the parts of interpretation and narration there exists a connection “sign - event / implied event”. An image seen in a dream does not cause a certain result but only inform a person about it. There is no one-sided approach to dreams. Some people estimate them rationally and some do belief in their prognostic power. Certain dreams have an effect on a dreamer: a person seeks to avoid a negative event and is more attentive while controlling his behaviour, looks for... [to full text]Darbe tyrinėti sakytiniu būdu ir populiarių leidinėlių pavidalu plintantys sapnų aiškinimai, teiginiai apie sapnų pildymąsi ir individualūs pasakojimai apie sapnus. Analizuoti sapnai, kurių vaizdai suprantami perkeltine prasme ir reikalauja aiškinimo. Išsikeltas tikslas – remiantis archyviniais, paskelbtais spaudoje ir autorės surinktais duomenimis ištirti tekstų apie sapnus savitumus bei atskleisti žmonių požiūrį į sapnus ir jų interpretavimą. Buvo nustatyta, kad sapnų aiškinimai priskirtini tikėjimų kategorijai. Sapno vaizdas su konkrečiomis reikšmėmis siejamas analogijos, priešpriešos, tapatumo, žodžių panašumo principais. Žmonės išskiria konkrečius regėtus objektus iš viso sapno ir juos aiškina: 1) atpažįsta tam tikroje kultūros aplinkoje pripažintus sapnų vaizdus, kuriems yra priskirti konkretūs mitiniai įprasminimai, 2) regėtus vaizdus susieja su kokiu nors numatomu arba jau buvusiu įvykiu remdamiesi intuicija ir / ar asmeniniu patyrimu. Sapnų aiškinimuose ir pasakojimuose apie sapnus nusakomas sapno vaizdas ir jo reikšmė. Tarp aiškinimo ir pasakojimo dalių egzistuoja „ženklo – įvykio / numanomo įvykio“ ryšys. Susapnuotas reginys nesukelia tam tikros pasekmės, bet žmogų apie ją informuoja. Požiūris į sapnus nevienodas. Dalis žmonių juos vertina racionalistiškai, o dalis tiki prognozine galia. Kai kurie sapnai paveikia sapnuotoją: jis siekia išvengti negatyvaus įvykio ir atidžiau kontroliuoja savo poelgius, laukia pozityvių permainų ar skuba įsitikinti sapne regėtų... [toliau žr. visą tekstą]
15
Trindade, Margarida. "Functional analysis of a homeobox-containing gene expressed during early Xenopus development." Thesis, University College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340646.
Full text
16
Alreshidi, Abdulrahman Nassar. "A generic high-level specification language for non-functional properties of component-based systems." Thesis, King's College London (University of London), 2016. https://kclpure.kcl.ac.uk/portal/en/theses/a-generic-highlevel-specification-language-for-nonfunctional-properties-of-componentbased-systems(c818019a-5483-4a69-b3c3-d37d74f6851e).html.
Full textAbstract:
The component-based software development is helpful in providing reuse of the components and reducing complexity of software systems. Different components work together to produce a complete system that needs a good understanding of the way the components interact with each other. The components' reuse requires a high level specification, among other things for non-functional properties (NFPs) as these properties control the way these components co-ordinate with each other. The complexity of modern software systems demands a generic and flexible language for formal specification of the functional and NFPs of the system so that the different components in a system can have a well-defined behaviour expectation. The non-functional properties of component-based system are important part of specification because they highlight the non-functional perspective of the system. They also help in implementation of functional elements with constraints on the NFPs in consideration. The absence of specification of NFPs can render the system not usable because the functional implementation may not have considered the constraints for working environment of the system. This is because the component developer will have no clearly defined non-functional objectives of the system. The formal specification of NFPs for components and their interaction with each other can help implement reliable systems. Incorporating these design concepts in the language specification would describe the usage context of language features in clear and precise manner. In this thesis, we developed a novel generic specification language (QML/CS) for NFPs of component-based systems. Defining such a high level specication language using a standard meta-modelling approach is challenging because its definition requires multi levels modelling. We employed deep meta-modelling technique to address this complex problem. We begin by discussing the key concepts used, then show how our meta-model is defined. In addition, we show how our meta-model for QML/CS overcame the issues of the standard meta-modelling language like UML and the mapping of a measurement to a concrete application. Finally, we show a prototype for QML/CS and discuss how the mapping of QML/CS expressions into TLA+ specications can dene the QML/CS semantics.
17
Charaf, Eddin Mohammad. "Contribution to dynamic reconfiguration in component-based systems : consistency and non-functional properties specification." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30045/document.
Full textAbstract:
Le travail réalisé dans le cadre de cette thèse a deux objectifs principaux. Le premier est de contribuer `à la spécification de la reconfiguration dynamique des systèmes à base de composants. Le deuxième objectif est de s´sélectionner la configuration optimale parmi un ensemble de configurations qui fournissent des fonctionnalités identiques ou similaires. Le processus de sélection dépend des propriétés non-fonctionnelles du système. La propriété de reconfigurabilité est essentielle pour de nombreux systèmes à base de composants contemporains. En effet, cette propriété améliore la disponibilité, l'adaptabilité, l'évolutivité, la maintenabilité et la performance des systèmes tels que les systèmes avioniques, les commutateurs de télécommunications et les systèmes commerciaux. Pour ces systèmes, l'arrêt de longue durée n'est pas admissible pour des raisons s´sécuritaires ou économiques. L'adaptabilité et l'evolvabilité sont également des caractéristiques importantes pour ces systèmes qui ont besoin d'inclure des changements de l'environnement ou des nouvelles exigences des utilisateurs dans le logiciel. Toutes ces motivations plus montrent l'importance de permettre, dès la conception, la reconfiguration dynamique de systèmes. La reconfiguration est la capacité de modifier la structure ou le comportement d'un système à l'exécution et sans l'arrêter complétement. Le travail présenté dans cette thèse étudie les mécanismes et les techniques pour fournir la reconfigurabilité aux systèmes à base de composants. La fourniture de reconfigurabilité nécessite la prise en considération de la cohérence du système pendant et après la reconfiguration. Il y a deux sortes de cohérence : cohérence globale et cohérence locale. Dans cette thèse, nous proposons une approche pour préserver la cohérence globale d'un système à base de composants reconfigurable en utilisant un langage formel déclaratif, Alloy. Une autre approche est proposée pour préserver la cohérence locale en analysant la relation entre la dépendance indirecte et la reconfiguration dynamique. Enfin, la sélection de configuration consiste à choisir la configuration la plus optimale à partir d'un ensemble de choix dans le but de maximiser la satisfaction de l'utilisateur. Une approche proposée pour faire le meilleur choix en fonction des préférences de l'utilisateur exprimées sur des métriques non-fonctionnellesThe research of this thesis has two main goals. The first goal is to provide the reconfigurability feature to the component-based systems. The second goal is to select the optimal configuration from a set of configurations, which provide similar functionality. The selection process depends on the non-functional properties of the system. Reconfigurability is essential feature for many contemporary component-based systems. Reconfigurability enhances the continuous availability, the adaptability, the evolvability, the maintainability, and the performance. Avionics systems, telecommunications switches and some commercial systems require the high availability. For these systems, long shutting down is not allowable due to economical or safety reasons. The adaptability and the evolvability are also important features for those systems which need to accommodate the environmental changes or the new requirements of software users. The maintainability and the performance are important requirements for a large category of systems. All the previous motivations and more show the importance of having the reconfigurability. Reconfigurability is the ability to change the system structure or the system behavior at running time without stopping it. The work presented in this thesis investigates the required mechanisms and techniques in order to provide the reconfigurability feature to a component-based system. The provision of the reconfigurability feature requires preserving the system consistency during and after the reconfiguration. The consistency has two kinds: global consistency and local consistency. In this thesis, we propose an approach to preserve the global consistency of a reconfigurable component-based system using declarative formal language. Another approach is proposed to preserve the local consistency during the reconfiguration. The second approach investigates the relationship between the indirect dependency and the dynamic reconfiguration. Configuration selection is to select the most optimal configuration from a set of alternatives in order to maximize the end user satisfaction. The thesis proposes an approach to make the best selection depending on the user preferences
18
Ocean, Michael James. "The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems." Boston University Computer Science Department, 2009. https://hdl.handle.net/2144/1713.
Full textAbstract:
As the commoditization of sensing, actuation and communication hardware increases, so does the potential for dynamically tasked sense and respond networked systems (i.e., Sensor Networks or SNs) to replace existing disjoint and inflexible special-purpose deployments (closed-circuit security video, anti-theft sensors, etc.). While various solutions have emerged to many individual SN-centric challenges (e.g., power management, communication protocols, role assignment), perhaps the largest remaining obstacle to widespread SN deployment is that those who wish to deploy, utilize, and maintain a programmable Sensor Network lack the programming and systems expertise to do so.
The contributions of this thesis centers on the design, development and deployment of the SN Workbench (snBench). snBench embodies an accessible, modular programming platform coupled with a flexible and extensible run-time system that, together, support the entire life-cycle of distributed sensory services. As it is impossible to find a one-size-fits-all programming interface, this work advocates the use of tiered layers of abstraction that enable a variety of high-level, domain specific languages to be compiled to a common (thin-waist) tasking language; this common tasking language is statically verified and can be subsequently re-translated, if needed, for execution on a wide variety of hardware platforms.
snBench provides: (1) a common sensory tasking language (Instruction Set Architecture) powerful enough to express complex SN services, yet simple enough to be executed by highly constrained resources with soft, real-time constraints, (2) a prototype high-level language (and corresponding compiler) to illustrate the utility of the common tasking language and the tiered programming approach in this domain, (3) an execution environment and a run-time support infrastructure that abstract a collection of heterogeneous resources into a single virtual Sensor Network, tasked via this common tasking language, and (4) novel formal methods (i.e., static analysis techniques) that verify safety properties and infer implicit resource constraints to facilitate resource allocation for new services. This thesis presents these components in detail, as well as two specific case-studies: the use of snBench to integrate physical and wireless network security, and the use of snBench as the foundation for semester-long student projects in a graduate-level Software Engineering course.
19
Nelson, Paul M. "A requirements specification of modifications to the Functional Description of the Mission Space Resource Center." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2001. http://handle.dtic.mil/100.2/ADA393372.
Full text
20
Steinitz, Dominic. "Formal specification to functional implementation : an application of mathematical techniques for the development of correct programs." Thesis, Kingston University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340508.
Full text
21
Layal, Vibhu. "Analysis and Specification of an AUTOSAR based ECU in compliance with ISO 26262 Functional Safety Standard." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-212572.
Full textAbstract:
Safety has been always been an important part, irrespective of the field of work that it accounts for. The functional safety standard that is currently being used in the automotive domain is the ISO 26262. This is an adaptation of the IEC 61508 safety standard. It is directed as a basic functional safety standard for a variety of industries. The version of ISO 26262 that is used in this thesis is the final draft released in January, 2011.
In this thesis, various parts of the ISO 26262 functional safety standard are considered in order to understand the differences and interdependencies between them. The parts of ISO 26262 that are treated are as follows; Part 1: Vocabulary, Part 3: Concept phase, Part 4: Product development at the system level, Part 6: Product development at the software level and Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analysis. During the entire course of this thesis the ISO 26262 standard is evaluated and the experience gained from it is jotted down.
The understanding gained during this thesis about the ISO 26262 can be applied to ongoing or new development processes. As safety can never be overlooked, the wisdom that belongs to the ISO 26262 can be generously used into embedded systems that demand certain levels of safety.
22
Webel, Rike [Verfasser], and Andreas [Akademischer Betreuer] Burkovski. "Protein kinase pUL97 of human cytomegalovirus - functional specification of three individual isoforms / Rike Webel. Gutachter: Andreas Burkovski." Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2014. http://d-nb.info/1075742889/34.
Full text
23
Tsietsi, Mosiuoa Jeremia. "A structural and functional specification of a SCIM for service interaction management and personalisation in the IMS." Thesis, Rhodes University, 2012. http://hdl.handle.net/10962/d1004864.
Full textAbstract:
The Internet Protocol Multimedia Subsystem (IMS) is a component of the 3G mobile network that has been specified by standards development organisations such as the 3GPP (3rd Generation Partnership Project) and ETSI (European Telecommunication Standards Institute). IMS seeks to guarantee that the telecommunication network of the future provides subscribers with seamless access to services across disparate networks. In order to achieve this, it defines a service architecture that hosts application servers that provide subscribers with value added services. Typically, an application server bundles all the functionality it needs to execute the services it delivers, however this view is currently being challenged. It is now thought that services should be synthesised from simple building blocks called service capabilities. This decomposition would facilitate the re-use of service capabilities across multiple services and would support the creation of new services that could not have originally been conceived. The shift from monolithic services to those built from service capabilities poses a challenge to the current service model in IMS. To accommodate this, the 3GPP has defined an entity known as a service capability interaction manager (SCIM) that would be responsible for managing the interactions between service capabilities in order to realise complex services. Some of these interactions could potentially lead to undesirable results, which the SCIM must work to avoid. As an added requirement, it is believed that the network should allow policies to be applied to network services which the SCIM should be responsible for enforcing. At the time of writing, the functional and structural architecture of the SCIM has not yet been standardised. This thesis explores the current serv ice architecture of the IMS in detail. Proposals that address the structure and functions of the SCIM are carefully compared and contrasted. This investigation leads to the presentation of key aspects of the SCIM, and provides solutions that explain how it should interact with service capabilities, manage undesirable interactions and factor user and network operator policies into its execution model. A modified design of the IMS service layer that embeds the SCIM is subsequently presented and described. The design uses existing IMS protocols and requires no change in the behaviour of the standard IMS entities. In order to develop a testbed for experimental verification of the design, the identification of suitable software platforms was required. This thesis presents some of the most popular platforms currently used by developers such as the Open IMS Core and OpenSER, as well as an open source, Java-based, multimedia communication platform called Mobicents. As a precursor to the development of the SCIM, a converged multimedia service is presented that describes how a video streaming application that is leveraged by a web portal was implemented for an IMS testbed using Mobicents components. The Mobicents SIP Servlets container was subsequently used to model an initial prototype of the SCIM, using a mUlti-component telephony service to illustrate the proposed service execution model. The design focuses on SIP-based services only, but should also work for other types of IMS application servers as well.
24
Kornilova, Olga. "Visual Framework for Cross-Disciplinary Specification of Digital Products." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285917.
Full textAbstract:
A more integrated collaboration between different disciplines and stakeholders in the process of software development affects the quality of the end product and its user experience. The diversity of methodologies across the disciplines creates a need for an aligned set of practices, such as Agile User-Centered Design (AUCD), which is a cross-disciplinary integration of the Agile and User-Centered Design (UCD) methodologies. The initial research part of this work focuses on identifying the main challenges and needs of cross-disciplinary teams, particularly in AUCD. The research methodology is based on a systematic review of the latest academic publications in the area, complemented by surveying the digital industry practitioners from multiple disciplines. The identified challenges and needs are then addressed by proposing a solution: Digital Product Mapping Framework for the documentation of a holistic digital product specification in a visual way. The framework outcome is a design artifact that can be used as a communication medium for both designers, developers, and other stakeholders. The validation of design artifacts showcased its high readability rate among first-time users. Additionally, empirical user tests proved that such documentation of the digital product specification can facilitate the collaboration of cross-disciplinary teams and support such software development activities as maintaining a shared vision and estimation of project cost and scope. This research work presents the following methodologies that can be valuable for both further academic research and for industry practitioners: synthesis and validation of the challenges and needs of cross-disciplinary teams; a set of recommendations for the specification documentation practices for AUCD; design principles for a solution to address the identified challenges and meet the needs of the cross-disciplinary teams. Moreover, an improved version of the proposed framework can potentially lead to a form of documentation that can be applied in AUCD practices.Ett mer integrerat samarbete mellan olika discipliner och intressenter i programvaruutvecklingen påverkar slutproduktens kvalitet och användarupplevelse. Mångfalden av metoder inom disciplinerna skapar ett behov av en anpassad uppsättning metoder, såsom Agile User-Centered Design (AUCD), vilket är en tvärvetenskaplig integration av Agile och User-Centered Design (UCD) -metoderna. Den inledande forskningsdelen av detta arbete fokuserar på att identifiera de största utmaningarna och behoven hos tvärvetenskapliga team, särskilt i AUCD. Forskningsmetoden bygger på en systematisk genomgång av de senaste akademiska publikationerna inom området, kompletterat med kartläggning av utövare inom den digitala industrin från flera discipliner. De identifierade utmaningarna och behoven hanteras sedan genom att föreslå en lösning: Digital Product Mapping Framework för dokumentation av en holistisk digital produktspecifikation på ett visuellt sätt. Ramresultatet är en designartefakt som kan användas som ett kommunikationsmedium för både designers, utvecklare och andra intressenter. Valideringen av designartefakter visade sin höga läsbarhetsgrad bland förstagångsanvändare. Dessutom bevisade empiriska användartester att sådan dokumentation av den digitala produktspecifikationen kan underlätta samarbete mellan tvärvetenskapliga team och stödja sådana programvaruutvecklingsaktiviteter som att upprätthålla en delad vision och uppskatta projektets kostnad och omfattning. Detta forskningsarbete presenterar följande metoder som kan vara värdefulla för både vidare akademisk forskning och för branschutövare: syntes och validering av tvärvetenskapliga teams utmaningar och behov; en uppsättning rekommendationer för specifikationsdokumentationspraxis för AUCD; utforma principer för en lösning för att hantera de identifierade utmaningarna och tillgodose behoven hos de tvärvetenskapliga teamen. Dessutom kan en förbättrad version av det föreslagna ramverket potentiellt leda till en form av dokumentation som kan användas i AUCD-praxis.
25
Al-Sarayreh, Khalid. "Identification, specification and measurement, using international standards, of the system non functional requirements allocated to realtime embedded software." Mémoire, École de technologie supérieure, 2011. http://espace.etsmtl.ca/923/1/AL%2DSARAYREH_Khalid.pdf.
Full textAbstract:
Au cours de la phase de l’analyse des besoins pour le développement d’un système, l’accent
est souvent porté sur les besoins fonctionnels, tandis que les besoins non fonctionnels (Non
Functional Requirements - NFR) sont capturés par les analystes systèmes seulement à un
niveau très global : au cours de cette phase, les NFR sont décrits typiquement au niveau du
système et non au niveau du logiciel. Le détail de ces besoins non fonctionnels est souvent
précisé (c'est à dire défini au niveau de détail nécessaire) par les concepteurs du système à la
phase de l’architecture et à la phase de conception du système.
Pour le moment, il n’y a pas de consensus sur la manière de décrire et de mesurer les besoins
non fonctionnels des systèmes (system-NFR) : c’est donc un défi de les prendre en compte
dans l’estimation des efforts pour le développement des logiciels qui feront partie de ces
systèmes et dans l’évaluation de la productivité des projets de développement de ces
logiciels.
Durant la phase de l’analyse des besoins pour les logiciel, les besoins non fonctionnels des
systèmes peuvent être décrits et spécifiés comme étant les besoins fonctionnels alloués au
logiciel : ceci permet alors aux ingénieurs logiciels de développer, tester et configurer les
livrables finaux aux utilisateurs du système.
La motivation de cette recherche est de contribuer à l’effort d’amélioration des modèles
d’estimation des projets de développement logiciel en introduisant les exigences non
fonctionnelles des systèmes au sein du processus d’estimation du projet logiciel et ce au
travers d’une vue quantitative.
Le but de cette recherche est d’aider les chefs de projets, les organisations ainsi que les
chercheurs, à prendre des décisions éclairées sur les plannings des projets et sur le
développement des logiciels et ce pendant la phase initiale d’identification des besoins, des
spécifications et d’estimation des besoins non fonctionnels d’un système incluant du logiciel
embarqué. Plus précisément, cette étude a comme but de contribuer à une meilleure
définition, description et estimation de certains entrants, qui sont les besoins non fonctionnels
du système, nécessaire pour réaliser une estimation préalable des couts.
Dans les standards internationaux, un certain nombre de concepts sont utilisés afin de décrire
différents types de besoins non fonctionnels des systèmes, que ces besoins soient au niveau
du système, du logiciel ou du matériel. L’objectif de cette recherche est d’effectuer, le plus
en amont possible, les spécifications et la quantification des besoins fonctionnel pour le
logiciel, dérivés des besoins non fonctionnels au niveau système, en utilisant comme base les
standards de l’ingénierie du logiciel.
Pour atteindre cet objectif de recherche les deux sous-objectifs de recherche spécifiques
suivants doivent être atteints:
• Conceptions de modèles standards pour l’identification et la spécification des besoins
fonctionnels de l'utilisateur (FUR) alloués au logiciel pour répondre aux besoins non
fonctionnels du système (system-NFR).
• Mesure de la taille fonctionnelle, en utilisant le standard COSMIC ISO 19761.
des besoins fonctionnels alloués au logiciel pour répondre aux besoins non fonctionnels du
système les résultats de cette recherche sont à un ensemble de quatorze (14) modèles de
spécifications et de mesure, basés sur des standards, pour les besoins non-fonctionnels du
système qui peuvent être alloués à du logiciel embarqué temps réel.
La contribution principale de cette recherche est cet ensemble de quatorze modèles des
besoins fonctionnels des utilisateurs du logiciel basés sur des standards pour l’identification,
la spécification et la mesure des besoins non fonctionnels du système.
26
Botha, Yolande Vanessa. "Specification in the English nominal group with reference to student writing / Yolande Vanessa Botha." Thesis, North-West University, 2012. http://hdl.handle.net/10394/8242.
Full textAbstract:
In this thesis the structure of the nominal group in Black South African English (BSAfE)
is investigated by means of a comparison of data from the Tswana Learner English
Corpus (TLEC) and the Louvain Corpus of Native English Essays (LOCNESS). Both
corpora consist of student essays and are sub-corpora of the International Corpus of
Learner English (ICLE). The TLEC represents a non-native variety of English, namely
BSAfE, while LOCNESS represents native English from the United States and the
United Kingdom.
In the existing literature there are observations about and examples of (non-standard)
characterizing features of BSAfE pertaining to nouns, determiners and quantifiers (e.g.
Gough 1996), but until now, no in-depth study of the grammar of the nominal group in
BSAfE has been undertaken. This study is an attempt to fill that gap. I present a
description of the grammatical features of BSAfE observed in the corpus data in terms
of linguistic functions and without assuming that they are errors or evidence of
deficiencies. Though the approach is comparative (in the sense that a control corpus is
used), it is primarily descriptive and non-normative, and as such, function-based. This
study is conducted within the theoretical framework of functional linguistics, drawing on
systemic functional linguistics as well as other functional and cognitive approaches to
language.
The specifying functions that the nominal group and its elements may fulfill form the
basis of the descriptive framework. These functions are (1) the type-specifying function
of the noun, (2) the (referent-)specifying function of the determiner, (3) quantification
and (4) quality specification by modifiers and complements. The type-specifying
function of the noun is particularly relevant in Chapter 4, which deals with the
grammatical patterns of the noun people, although it also informs analyses in Chapters
5 and 6 which deal with determiners and quantification respectively. Quality
specification is especially relevant in the description of the grammatical patterns of the
noun people.
The noun people is the most frequent noun in each of the corpora, but is at the same
time a positive keyword in the TLEC, which means that it occurs much more frequently
in the TLEC than in LOCNESS. Analysis of the full corpus concordances of this noun
provides much evidence of anti-deletion in BSAfE (as first postulated by Mesthrie, 2006) and also sheds some light on left dislocation patterns involving the noun people
(cf. Mesthrie, 1997). This analysis also reveals unique uses of the definite article and
certain quantifying constructions in the TLEC data, which are investigated in the next
two analysis chapters.
A comparison of concordance samples of the articles indicates that the
definite/indefinite distinction is made in both corpora and that there is not enough
corpus evidence to postulate that there is a different system underlying the choice of
article in BSAfE, such as a system based principally on the specific/non-specific
distinction, as postulated by Platt, Weber and Ho (1984) for New Englishes in general.
Analysis of the concordances of demonstrative and possessive determiners indicate
that these determiners are used proportionally more frequently in the TLEC than in
LOCNESS. Concordances of the words that are normally classified as quantifiers
indicate that there are many more partitive-of quantifying constructions in the TLEC
than in LOCNESS. The words some and most are positive keywords in the TLEC.
After analyses of their concordances, it is concluded that their relative frequency can
be attributed to the fact that some is often used merely as an indefinite marker and that
most is often used as a synonym for many.
The study shows that BSAfE largely shares its general grammar of the nominal group
with other (including native) varieties of English, but at a finer level of analysis, some
characteristic constructions and uses are detected. The corpus data indicate that the
unique constructions in the TLEC data are mostly functionally motivated. These
constructions represent conventionalized innovations in the sense used by Van Rooy
(2010), rather than mere language learning errors.Thesis (PhD (Linguistics and Literary Theory))--North-West University, Potchefstroom Campus, 2012
27
Vedin, Viktoria. "Molecular and functional anatomy of the mouse olfactory epithelium." Doctoral thesis, Umeå : Umeå universitet, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-868.
Full text
28
Cherukuri, Pitchaiah [Verfasser], Till [Akademischer Betreuer] Marquardt, Klaus-Armin [Akademischer Betreuer] Nave, and Ernst A. [Akademischer Betreuer] Wimmer. "Molecular correlates of spinal motor neuron functional specification and plasticity / Pitchaiah Cherukuri. Gutachter: Klaus-Armin Nave ; Ernst A. Wimmer. Betreuer: Till Marquardt." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013. http://d-nb.info/1044425326/34.
Full text
29
Kriouile, Abderahman. "Formal methods for functional verification of cache-coherent systems-on-chip." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM041/document.
Full textAbstract:
Les architectures des systèmes sur puce (System-on-Chip, SoC) actuelles intègrent de nombreux composants différents tels que les processeurs, les accélérateurs, les mémoires et les blocs d'entrée/sortie, certains pouvant contenir des caches. Vu que l'effort de validation basée sur la simulation, actuellement utilisée dans l'industrie, croît de façon exponentielle avec la complexité des SoCs, nous nous intéressons à des techniques de vérification formelle. Nous utilisons la boîte à outils CADP pour développer et valider un modèle formel d'un SoC générique conforme à la spécification AMBA 4 ACE récemment proposée par ARM dans le but de mettre en œuvre la cohérence de cache au niveau système. Nous utilisons une spécification orientée contraintes pour modéliser les exigences générales de cette spécification. Les propriétés du système sont vérifié à la fois sur le modèle avec contraintes et le modèle sans contraintes pour détecter les cas intéressants pour la cohérence de cache. La paramétrisation du modèle proposé a permis de produire l'ensemble complet des contre-exemples qui ne satisfont pas une certaine propriété dans le modèle non contraint. Notre approche améliore les techniques industrielles de vérification basées sur la simulation en deux aspects. D'une part, nous suggérons l'utilisation du modèle formel pour évaluer la bonne construction d'une unité de vérification d'interface. D'autre part, dans l'objectif de générer des cas de test semi-dirigés intelligents à partir des propriétés de logique temporelle, nous proposons une approche en deux étapes. La première étape consiste à générer des cas de tests abstraits au niveau système en utilisant des outils de test basé sur modèle de la boîte à outils CADP. La seconde étape consiste à affiner ces tests en cas de tests concrets au niveau de l'interface qui peuvent être exécutés en RTL grâce aux services d'un outil commercial de génération de tests dirigés par les mesures de couverture. Nous avons constaté que notre approche participe dans la transition entre la vérification du niveau interface, classiquement pratiquée dans l'industrie du matériel, et la vérification au niveau système. Notre approche facilite aussi la validation des propriétés globales du système, et permet une détection précoce des bugs, tant dans le SoC que dans les bancs de test commercialesState-of-the-art System-on-Chip (SoC) architectures integrate many different components, such as processors, accelerators, memories, and I/O blocks. Some of those components, but not all, may have caches. Because the effort of validation with simulation-based techniques, currently used in industry, grows exponentially with the complexity of the SoC, this thesis investigates the use of formal verification techniques in this context. More precisely, we use the CADP toolbox to develop and validate a generic formal model of a heterogeneous cache-coherent SoC compliant with the recent AMBA 4 ACE specification proposed by ARM. We use a constraint-oriented specification style to model the general requirements of the specification. We verify system properties on both the constrained and unconstrained model to detect the cache coherency corner cases. We take advantage of the parametrization of the proposed model to produce a comprehensive set of counterexamples of non-satisfied properties in the unconstrained model. The results of formal verification are then used to improve the industrial simulation-based verification techniques in two aspects. On the one hand, we suggest using the formal model to assess the sanity of an interface verification unit. On the other hand, in order to generate clever semi-directed test cases from temporal logic properties, we propose a two-step approach. One step consists in generating system-level abstract test cases using model-based testing tools of the CADP toolbox. The other step consists in refining those tests into interface-level concrete test cases that can be executed at RTL level with a commercial Coverage-Directed Test Generation tool. We found that our approach helps in the transition between interface-level and system-level verification, facilitates the validation of system-level properties, and enables early detection of bugs in both the SoC and the commercial test-bench
30
Lee, Tsung-I. [Verfasser], Till [Akademischer Betreuer] Marquardt, Swen [Akademischer Betreuer] Hülsmann, and Klaus-Armin [Akademischer Betreuer] Nave. "Genetic factors driving the functional specification of spinal motor neurons / Tsung-I Lee. Gutachter: Till Marquardt ; Swen Hülsmann ; Klaus-Armin Nave. Betreuer: Till Marquardt." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2012. http://d-nb.info/104302848X/34.
Full text
31
Goubali, Olga. "Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2017. http://www.theses.fr/2017ESMA0003/document.
Full textAbstract:
Pour la conception d’un système contrôle-commande, les spécifications fonctionnelles sont à la charge des concepteurs car ce sont eux qui en maîtrisent le fonctionnement. Ces experts n’ont pourtant généralement pas les connaissances en programmation de ceux qui conçoivent le système de pilotage. Ils écrivent alors ces spécifications fonctionnelles en langage naturel, les communiquent ensuite aux concepteurs de l’interface de supervision et du programme de commande qui sont en charge de les implémenter et de les intégrer au système. Les erreurs qui découlent de l’interprétation des spécifications émanent de la différence de culture technique entre les différents intervenants du projet. De plus, suivant la complexité du système, la définition des spécifications fonctionnelles peut être fastidieuse. Nous proposons une approche de conception basée d’une part sur l’analyse de la tâche et sur les techniques du End User Development pour l’obtention de spécifications fonctionnelles validées par les experts métiers. Les techniques de l’ingénierie dirigée par les modèles sont mises en oeuvre pour générer automatiquement l’interface de spécification (qui intègre un Enregistreur, un Généralisateur, un Rejoueur, et un Correcteur), l’interface de supervision du système à piloter et son programme de commande. La démarche proposée a fait l’objet d’une preuve de concept démontrant sa faisabilité technique. Cette preuve de concept a fait l’objet d’évaluations qui ont démontré son intérêt dans le cadre de la conception de système de supervisionFor designing complex and sociotechnical systems, business experts are responsible for writing the functional specifications because of their operational expert knowledge. However, these experts do not usually own the programming knowledge of those who design supervision systems. The task of the system design expert is then to define the functional specifications. S/he writes them in natural language, and then provides them to the designers of the supervision interface and the control-command code. The designers’ job is then to implement and integrate the specifications into the system. Errors from the specification interpretation come from the difference of technical knowledge between the various partners involved in the project. Moreover, depending on the complexity of the system, the definition of functional specifications can be tedious.We propose a design approach based on task modelling and End User Development in order to obtain functional specifications validated by the business experts (mechanical engineer for example).Model-driven engineering techniques are implemented to automatically generate the specification interface (that integrates Recorder, Generalizer, Replayer, and Corrector), the system supervision interface to be piloted and its control program.The technical feasibility of the proposed approach was demonstrated through a proof of concept. This proof of concept was evaluated to demonstrate the interest of the approach in the design of supervision systems
32
Čekanauskaitė, Jūratė, and Jolanta Čekanauskaitė. "Reikalavimų specifikacijos integralumo užtikrinimo metodas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20110831_145319-12912.
Full textAbstract:
Darbo tikslas yra sukurti reikalavimų specifikavimo integralumą užtikrinantį metodą. Šiam tikslui įgyvendinti sukurtas procesų modelis, kurį sudaro trys pagrindiniai uždaviniai: reikalavimų identifikavimas, specifikavimas ir komponavimas. Pirmi du uždaviniai padeda identifikuoti besikertančius reikalavimus taip sumažinamas reikalavimų išsibarstymas specifikacijoje, nustatomos priklausomybės ir būtini reikalavimai. Komponavimo etapo tikslas yra sukomponuoti reikalavimus ir suteikti kūrėjams visą sistemos vaizdą bei nustatyti ir valdyti konfliktus tarp reikalavimų. Reikalavimų integralumas užtikrinamas visus reikalavimus, laikant vienoje formoje.
Darbe išnagrinėti reikalavimų specifikavimo šablonai, klasifikavimo standartų bei reikalavimų valdymo įrankiai. Analizuojami besikertančių reikalavimų identifikavimo ir išgavimo strategijos. Atlikta funkcinių ir nefunkcinių reikalavimų integralumo metodų ir būdų analizė.
Sukurtas šablonas reikalavimams specifikuoti, kuris apima funkcinius ir nefunkcinius reikalavimus, funkcinius ir nefunkcinius besikertančius reikalavimus. Reikalavimų valdymui sudarytas šablonas RequisitePro aplinkoje.
Sukurtas MagicDraw paketo profilis, siekiant pateikti kūrėjams pilną sistemos vaizdą, atvaizduojant reikalavimų rinkinius panaudos atvejų diagramomis.
Metodas patikrintas sudarant ATM sistemos reikalavimų specifikaciją, reikalavimai specifikuojami apimant funkcinius ir nefunkcinius reikalavimus, būtinus reikalavimus, funkcinius ir... [toliau žr. visą tekstą]The aim of this work is to create A method for integrity support of requirements specification. For this purpose a process model is developed, which consists of three main tasks: the identification of requirements, specification and composition. The first two tasks helps to identify the crosscutting requirements of the following reduction the requirements dispersal in requirements specification, also identify responsibilities of requirements and identify required requirements. The goal of composition task is to compose the requirements to give the developer a view of the whole system and to identify and manage conflicts between requirements. Integrity of requirements are ensured keeping all requirements in a unique form. The paper analyzes the identification of crosscutting requirements and gathering strategies. The templates of requirements specification, standards of requirements classification and requirements management tools were analyzed. The methods and techniques of functional and non-functional requirements for the integrity were analyzed. The unique template for requirements specification was created, which includes functional and non-functional requirements, functional and non-functional crosscutting requirements. The template for requirements management was consisted in RequisitePro environment. The MagicDraw profile package was created, which provide the developer a view of the whole system, representing set of requirements for use case diagrams. The method... [to full text]
33
Simons, A. J. H., and Raluca Lefticaru. "A verified and optimized Stream X-Machine testing method, with application to cloud service certification." Wiley, 2019. http://hdl.handle.net/10454/17608.
Full textAbstract:
YesThe Stream X-Machine (SXM) testing method provides strong and repeatable guarantees of functional correctness, up to a specification. These qualities make the method attractive for software certification, especially in the domain of brokered cloud services, where arbitrage seeks to substitute functionally equivalent services from alternative providers. However, practical obstacles include: the difficulty in providing a correct specification, the translation of abstract paths into feasible concrete tests, and the large size of generated test suites. We describe a novel SXM verification and testing method, which automatically checks specifications for completeness and determinism, prior to generating complete test suites with full grounding information. Three optimisation steps achieve up to a ten-fold reduction in the size of the test suite, removing infeasible and redundant tests. The method is backed by a set of tools to validate and verify the SXM specification, generate technology-agnostic test suites and ground these in SOAP, REST or rich-client service implementations. The method was initially validated using seven specifications, three cloud platforms and five grounding strategies.
European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement no. 328392, the Broker@Cloud project [11].
34
Müller, Daniel [Verfasser], Till [Akademischer Betreuer] Marquardt, Thomas [Akademischer Betreuer] Pieler, and Andreas [Akademischer Betreuer] Wodarz. "Identification and characterization of molecular mechanisms driving the functional specification of motor neurons : the Delta like homolog 1 protein / Daniel Müller. Gutachter: Thomas Pieler ; Andreas Wodarz. Betreuer: Till Marquardt." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2012. http://d-nb.info/1042305420/34.
Full text
35
Mohammed, Yehia. "Öka kapaciteten i tillverkningsprocessen." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33039.
Full textAbstract:
This report includes a thesis in an advanced level and includes 30 credits in the subject product development. The work consist of a case study performed at Gnutti Carlo AB in Kungsör. The work has been carried out by a student from Mälardalen University spring term in 2016.In the manufacturing process in cell 1, there is a bottleneck problem due to various factors, which disrupt production that resulted in a loss of time. Gnutti Carlo AB Company has started a project where the goal is to let the manufacturing process work at full capacity, which it does not do today.The goal of the project work is to develop a solution that increases the capacity of the manufacturing process by raising the OEE value from 78,33% to more than 95%. The project is carried out by following the product development process as presented by Ulrich & Eppinger's book. Various tools were used in this process to help the author obtain the final solution.A case study was conducted to solve the research question; how can the capacity of the manufacturing process be increased where the bottleneck problems arise? Based on the guidelines that have been assigned by the supervisor, various interviews and own investigations, a basis for the formulation of the problem was formed.The main problem was divided into four problems with the aim to be resolved through the development and evaluation of ideas in every area of concern to then combine the various ideas to several concepts, which in turn were examined and evaluated in order to select the concept that became a useful solution.Based on the main issue, a concept has been developed which in theory answers how the capacity of the manufacturing process was increased. Through eliminating the time losses in the process, the capacity in the manufacturing process increased by 98.5% of a continuous OEE, which is both higher than the target of OEE 95% and the present 78.33%. The solution consists of a 3D Camera that analyses all the details in the pallet while it is moved by a cylinder. These are mounted in a frame that is made with square pipes.To ensure that the final solution could cope the stresses of the construction it was tested by examining the sustainability of the solution. FEM analysis was performed in SolidWorks that showed where the highest stresses are, to ensure that it can cope with the forces that are weighing on the solution. The components that were investigated got safety factors 64 and 114.
36
Freitas, Edison Pignaton de. "Metodologia orientada a aspectos para a especificação de sistemas tempo-real embarcados distribuídos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2007. http://hdl.handle.net/10183/10268.
Full textAbstract:
Sistemas de tempo-real embarcados distribuídos se caracterizam pela complexidade e especificidade de seus projetos. Tanto a complexidade quanto a especificidade apresentam forte influência dos diversos requisitos ligados às restrições advindas das três características que distinguem tais sistemas, i.e. presença de fortes restrições temporais, restrições de sistemas embarcados e distribuição de processamento. Estes requisitos, chamados de requisitos não-funcionais, afetam diversas partes do sistema de maneira não uniforme, tornando-se por esta razão difícil o seu gerenciamento. Metodologias orientadas a objetos não apresentam mecanismos específicos para tratar tais requisitos, o que implica na aplicação de um significativo esforço ao se realizar o reuso ou a manutenção de componentes afetados por requisitos de natureza nãofuncional. Novas tecnologias têm surgido com o objetivo de contornar este problema, notadamente a orientação a aspectos. Este paradigma propõe a separação no tratamento dos requisitos não-funcionais contribuindo com a modularização do sistema. Esta dissertação propõe a aplicação de orientação a aspectos para a especificação de sistemas tempo-real embarcados distribuídos. Para isto realizou-se a adaptação de uma metodologia de desenvolvimento de sistemas orientada a aspectos, a FRIDA (From RequIrements to Design using Aspects), contextualizando-a para o domínio de interesse. A utilização desta metodologia provê suporte ao mapeamento de requisitos em elementos de projeto de modo a promover a rastreabilidade entre as fases de análise e projeto. Na fase de projeto é proposta a utilização de aspectos em conjunto com elementos do perfil RT-UML para o tratamento dos requisitos identificados e especificados na fase de análise.Distributed real-time embedded systems generally have complex and very specific projects. Those characteristics are influenced by several requirements that have relation with constraints about the time, embedded and distribution restrictions. Those requirements, called non-functional requirements, can affect the whole system in a nonuniform way, what makes it difficult to handle with this kind of requirement. Objectoriented methodologies do not present specific mechanisms to handle those requirements, what imply in a significant effort to perform reuse and maintainability tasks in those components affected by non-functional requirements. New technologies are emerging to fulfill this gap, noteworthy the aspect orientation. This paradigm proposes the separation in handling functional and non-functional requirements, giving a contribution to the system modularity. This dissertation proposes the use of aspect orientation to specify distributed realtime embedded systems. To support this proposal, it was performed an adaptation of an aspect-oriented method called FRIDA (From RequIrements to Design using Aspects). The use of this method supports the mapping of requirements in design model elements, in order to promote traceability between analysis and design phases. The presented approach proposes the use of RT-UML together with aspect oriented elements in design phase aiming to improve the handling of those requirements specified in the analysis phase.
37
Sargeant, Roland B. (Roland Basil) 1974. "Functional specifications of a manufacturing execution system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/84352.
Full textAbstract:
Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; in conjunction with the Leaders for Manufacturing Program at MIT, 2003.Includes bibliographical references (p. 129-130).
by Roland B. Sargeant.
S.M.
M.B.A.
38
Bondue, Antoine. "Mesp1 functions in multipotent cardiovascular progenitor specification." Doctoral thesis, Universite Libre de Bruxelles, 2009. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210319.
Full textAbstract:
During embryonic development, multipotent cardiovascular progenitor cells (MCPs) are specified from early mesoderm. Although the core cardiac transcriptional machinery acting during cardiac cell differentiation is relatively well known, the molecular mechanism acting upstream of these cardiac transcriptional factors, and promoting cardiac progenitor specification from early mesoderm remains poorly understood. We used embryonic stem cell (ESC) differentiation as a model to dissect the molecular mechanisms implicated in cardiovascular progenitor specification. Using ESCs, in which gene expression can be temporally regulated, we showed that transient expression of Mesp1 dramatically accelerates and enhances multipotent cardiovascular progenitor specification through an intrinsic and cellular autonomous mechanism. Using genome wide transcriptional analysis, we found that Mesp1 rapidly activates and represses a discrete set of genes. Using chromatin immunoprecipitation, we showed that Mesp1 directly binds to regulatory DNA sequences located in the promoter of many key genes belonging to the core cardiac transcriptional machinery, resulting in their rapid upregulation. Mesp1 also directly and strongly represses the expression of key genes regulating other early mesoderm and endoderm cell fates. Using engineered ESC expressing the green fluorescent protein under the control of the Mesp1 promoter, we isolated Mesp1 expressing cells in differentiating ESCs allowing characterization of the cellular and molecular mechanisms underlying cardiovascular specification. Our results demonstrate that Mesp1 acts as a key regulatory switch during cardiovascular specification, residing at the top of the hierarchy of the gene network responsible for cardiovascular cell fate determination. Moreover our results place Mesp1 upstream of the specification of both first and second heart fields and provide novel and important insights into the molecular mechanisms underlying the earliest step of cardiovascular specification. We identified cell surface markers expressed allowing the isolation of early cardiovascular progenitors and provide potentially novel methods for dramatically increasing the number of cardiovascular cells for cellular therapy in humans.Doctorat en sciences médicales
info:eu-repo/semantics/nonPublished
39
Fraser, Steven D. "Graphics function standard specification validation with GKS." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75355.
Full textAbstract:
A validation methodology is proposed for natural language software specifications of standard graphics functions. Checks are made for consistency, completeness and lack of ambiguity in data element and function descriptions. Functions and data elements are maintained in a relational database representation. The appropriate checks are performed by sequences of database operations. The relational database manager INGRES was used to support a prototype implementation of the proposed technique.The methodology supports the development of a scenario-based prototype from the information available in the specification. This permits various function sequences to be checked without implementation of the environment specified.
The application of a prototype implementation of the proposed methodology, to the specification of the GKS software package, demonstrates the practicability of the method. Several inconsistencies in GKS, related to the definition of data elements, have been identified.
40
Lenk, Barbara. "Bibliographien an der Sächsischen Landesbibliothek - Staats- und Universitätsbibliothek Dresden." Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-24763.
Full textAbstract:
An der SLUB Dresden werden die Sächsische Bibliographie und die Bibliographie Geschichte der Technik bearbeitet. Beide Werke liegen bis zum Berichtsjahr 1991 nur in gedruckter Form vor. Diese Bände werden als Teil eines Projektes aus dem Europäischen Fonds für regionale Entwicklung (EFRE) retrospektiv konvertiert. Praktisches Ziel dieser Diplomarbeit ist die Erstellung einer katalogbezogenen Aufgabenbeschreibung für das Vorhaben. Die katalogbezogene Aufgabenbeschreibung basiert auf einer Datenanalyse, in deren Rahmen das verzeichnete Titelmaterial in den zu konvertierenden Bibliographiebänden untersucht wird.
In einem theoretischen Teil der Diplomarbeit werden beide Bibliographien vorgestellt. Des weiteren erfolgt eine Marktuntersuchung zu Anbietern von Retrokonversionsdienstleistern in Deutschland.
41
Hawkins, John. "A framework for refining functional specifications into parallel reconfigurable hardware implementations." Thesis, University of Reading, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436612.
Full text
42
Hoffman, Dustin Hunter Hoffman. "Techniques for the Specification and Verification of Enterprise Applications." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1469142306.
Full text
43
Lundström, Adam. "Verification of CEVT Steering System Specification." Thesis, Luleå tekniska universitet, Institutionen för teknikvetenskap och matematik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74374.
Full textAbstract:
This thesis covers the development of a component specification for the steering system of vehicles engineered by CEVT. This includes the components steering column, intermediate shaft, steering gear and tie rods. Due to the reuse of requirements on the component specification from previous projects it now lacks connection to customer needs. A verification of the component specification is necessary to ensure that no redundant or unnecessary requirements are present. The verification was performed through a comparison between a newly established specification and the current one. Identified customer needs were gathered on complete vehicle level and classified according to customer satisfaction with respect to implementation according to the Kano model. The subjective customer needs were translated into objective, quantifiable metrics on complete vehicle level that was then decomposed onto component level. Customer needs and metrics were then correlated against each other and visualized through the House of Quality matrix. Numeric targets for the metrics were based on its impact on customer satisfaction. This resulted in 50 identified metrics connected to the steering column and 58 metrics connected to the steering gear. The comparison resulted in 22 deviations between the new and current specification where 8 metrics was identified for further investigation. Further development would include investigation of these 8 identified metrics and relate targets to competitors’ performance.
44
Butler, Jennifer E. F. "Specification of enhancer function by DPE or TATA core promoter motifs /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2001. http://wwwlib.umi.com/cr/ucsd/fullcit?p3013711.
Full text
45
Brackin, Margueritte Patricia Dodd. "Translating the voice of the customer into preliminary design specifications." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/17936.
Full text
46
Carbone, Enrica. "Preference functionals and stochastic specifications : investigations into individual decision making under risk." Thesis, University of York, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288067.
Full text
47
Molana, H. "The aggregate consumption function : Theoretical formulation, econometric specification and the UK evidence." Thesis, University of Southampton, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380555.
Full text
48
Maiorano, Picone Pasquale Carlo. "A QoS Controller Framework Compliant with the ETSI Network Function Virtualization Specification." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10406/.
Full textAbstract:
The 5th generation of mobile networking introduces the concept of “Network slicing”, the network will be “sliced” horizontally, each slice will be compliant with different requirements in terms of network parameters such as bandwidth, latency. This technology is built on logical instead of physical resources, relies on virtual network as main concept to retrieve a logical resource. The Network Function Virtualisation provides the concept of logical resources for a virtual network function, enabling the concept virtual network; it relies on the Software Defined Networking as main technology to realize the virtual network as resource, it also define the concept of virtual network infrastructure with all components needed to enable the network slicing requirements. SDN itself uses cloud computing technology to realize the virtual network infrastructure, NFV uses also the virtual computing resources to enable the deployment of virtual network function instead of having custom hardware and software for each network function.
The key of network slicing is the differentiation of slice in terms of Quality of Services parameters, which relies on the possibility to enable QoS management in cloud computing environment.
The QoS in cloud computing denotes level of performances, reliability and
availability offered. QoS is fundamental for cloud users, who expect providers to deliver the advertised quality characteristics, and for cloud providers, who need to find the right tradeoff between QoS levels that has possible to offer and operational costs.
While QoS properties has received constant attention before the advent of cloud computing, performance heterogeneity and resource isolation mechanisms of cloud platforms have significantly complicated QoS analysis and deploying, prediction, and assurance. This is prompting several researchers to investigate automated QoS management methods that can leverage the high programmability of hardware and software resources in the cloud.
49
Dombrowski, Francis J. "Functional specifications to an automated retinal scanner for use in plotting the vascular map." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/23243.
Full textAbstract:
Approved for public release; distribution is unlimitedThe connection between eye disease and diabetes is proven and is no longer a point of conjecture. In focusing attention on the retina, profound inroads have been made in the fight against this dreaded disorder of the blood. By carefully imaging the blood vessels in the eye, medical professionals can make accurate diagnoses based upon the changes and abnormalities observed. In addition, because the vasculature in the retina is extremely sensitive to fluctuations in normal bodily processes, often the first indication of diabetes and many other diseases manifest themselves here and are found during routine eye examinations. This thesis will explore the possibilities of a new method of retinal imaging by the blending and application of existing technologies. With the use of an automated, infrared-based imaging system, problems related to human error and the limitations of existing methods can be readily resolved and the groundwork can be laid for a new standard of accuracy in retinal imaging. Most importantly, it will automate the entire procedure providing medical specialists heretofore unavailable accuracy in their diagnoses.
http://archive.org/details/functionalspecif00domb
Lieutenant, United States Navy
50
Alhagi, Nouraddin. "Synthesis of Reversible Functions Using Various Gate Libraries and Design Specifications." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/366.
Full textAbstract:
This dissertation is devoted to efficient automated logic synthesis of reversible circuits using various gate types and initial specifications. These Reversible circuits are of interest to several modern technologies, including Nanotechnology, Quantum computing, Quantum Dot Cellular Automata, Optical computing and low power adiabatic CMOS, but so far the most important practical application of reversible circuits is in quantum computing. Logic synthesis methodologies for reversible circuits are very different than those for classical CMOS or other technologies. The focus of this dissertation is on synthesis of reversible (permutative) binary circuits. It is not related to general unitary circuits that are used in quantum computing and which exhibit quantum mechanical phenomena such as superposition and entanglement. The interest in this dissertation is only in logic synthesis aspects and not in physical (technological) design aspects of reversible circuits. Permutative quantum circuits are important because they include the class of oracles and blocks that are parts of oracles, such as comparators or arithmetic blocks, counters of ones, etc. Every practical quantum algorithm, such as the Grover Algorithm, has many permutative circuits. These circuits are also used in Shor Algorithm (integer factorization), simulation of quantum systems, communication and many other quantum algorithms. Designing permutative circuits is therefore the major engineering task that must be solved to practically realize a quantum algorithm. The dissertation presents the theory that leads to MP (Multi-Path) algorithm, which is currently the top minimizer of reversible circuits with no ancilla bits. Comparison of MP with other 2 leading software tools is done. This software allows to minimize functions of more variables and with smaller quantum cost that other CAD tools. Other software developed in this dissertation allows to synthesize reversible circuits for functions with "don't cares" in their initial specifications. Theory to realize functions from relational representations is also given. Our yet other software tool allows to synthesize reversible circuits for new types of reversible logic, for which no algorithm was ever created, using the so-called "pseudo-reversible" gates called Y-switches.