Relevant bibliographies by topics / Functional specification

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Functional specification'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Functional specification"

1

Joosten, S. "Functional system specification." Software Engineering Journal 3, no. 4 (1988): 127. http://dx.doi.org/10.1049/sej.1988.0015.

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

Jalila, A., D. Jeya Mala, and M. Eswaran. "Functional Testing Using OCL Predicates to Improve Software Quality." International Journal of Systems and Service-Oriented Engineering 5, no. 2 (April 2015): 56–72. http://dx.doi.org/10.4018/ijssoe.2015040104.

Full text
Abstract:
Formal specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. This research work has proposed an automated fault-based testing framework to test the specification of a system written in OCL (Object Constraint Language). Accordingly, the possible faults in OCL specification of a system have been anticipated by mutating its method based on predicate-based fault classes. Then, test cases are generated by applying Chaotic Simulated Annealing (CSA) algorithm. In this paper, a novel OCL predicate based fitness function is defined to evaluate the generated test data. The experiment results indicate that the OCL specification based testing adopting CSA form an excellent combination for performing functional testing at the earliest to improve software quality.
APA, Harvard, Vancouver, ISO, and other styles
3

LEDERER, EDGAR F. A., and ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS." International Journal of Foundations of Computer Science 12, no. 01 (February 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.

Full text
Abstract:
Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.
APA, Harvard, Vancouver, ISO, and other styles
4

Kusiak, A., and E. Szczerbicki. "A Formal Approach to Specifications in Conceptual Design." Journal of Mechanical Design 114, no. 4 (December 1, 1992): 659–66. http://dx.doi.org/10.1115/1.2917057.

Full text
Abstract:
In this paper, a methodology for the specification stage in conceptual design is presented. The specification stage provides requirements and transforms them into functions of the designed object. It occurs at the highest level of abstraction and it must provide enough information for the synthesis process where functions are transformed into design components that are further synthesized into the designed object. The proposed approach includes the following issues: specification of requirements, specification of functions, incorporation of logic into functional and requirement trees, representation of requirements-functions interaction, and optimization in the functional space. The methodology presented is illustrated with examples. Key words: design requirements, design specifications, conceptual design, design process, artificial intelligence, formal method
APA, Harvard, Vancouver, ISO, and other styles
5

Jacobsen, K., J. Sigurjónsson, and Ø. Jakobsen. "Formalized specification of functional requirements." Design Studies 12, no. 4 (October 1991): 221–24. http://dx.doi.org/10.1016/0142-694x(91)90035-u.

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

Staley, Scott M., and David C. Anderson. "Functional specification for CAD databases." Computer-Aided Design 18, no. 3 (April 1986): 132–38. http://dx.doi.org/10.1016/0010-4485(86)90323-4.

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

Liu, Hui Fen, Mei Fa Huang, Lei Lei Chen, and Bo Shi. "On Generation of the Specification Model for Concentricity Based on Mathematical Modeling." Advanced Materials Research 361-363 (October 2011): 1481–85. http://dx.doi.org/10.4028/www.scientific.net/amr.361-363.1481.

Full text
Abstract:
Feature specifications are important composite parts in the new generation of geometrical product specifications and verification (GPS). According to the theories of specification model of shaft parts, this paper presents a method to generation of specification model of concentricity. Firstly, the mathematical model of concentricity is established in terms of nominal geometrical features of product for the parts the functional requirement are satisfied. Secondly, the simulation points of the model are generated by using the methods of axial stratification and circumferential multi-angles. The concentricity specification model could be generated after these operations of association and collection. Finally, an example is applied to illustrate the new method. The experiment results show the effectiveness of the proposed method.
APA, Harvard, Vancouver, ISO, and other styles
8

Bugni, Federico A. "SPECIFICATION TEST FOR MISSING FUNCTIONAL DATA." Econometric Theory 28, no. 5 (May 21, 2012): 959–1002. http://dx.doi.org/10.1017/s0266466612000023.

Full text
Abstract:
Economic data are frequently generated by stochastic processes that can be modeled as realizations of random functions (functional data). This paper adapts the specification test for functional data developed by Bugni, Hall, Horowitz, and Neumann (2009, Econometrics Journal12, S1–S18) to the presence of missing observations. By using a worst case scenario approach, our method is able to extract the information available in the observed portion of the data while being agnostic about the nature of the missing observations. The presence of missing data implies that our test will not only result in the rejection or lack of rejection of the null hypothesis, but it may also be inconclusive.Under the null hypothesis, our specification test will reject the null hypothesis with a probability that, in the limit, does not exceed the significance level of the test. Moreover, the power of the test converges to one whenever the distribution of the observations conveys that the null hypothesis is false.Monte Carlo evidence shows that the test may produce informative results (either rejection or lack of rejection of the null hypothesis) even under the presence of significant amounts of missing data. The procedure is illustrated by testing whether the Burdett–Mortensen labor market model is the correct framework for wage paths constructed from the National Longitudinal Survery of Youth, 1979 survey.
APA, Harvard, Vancouver, ISO, and other styles
9

Nakagoshi, Hideki. "Functional specification in the Drosophila endoderm." Development, Growth and Differentiation 47, no. 6 (August 2005): 383–92. http://dx.doi.org/10.1111/j.1440-169x.2005.00811.x.

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

Nosov, V. A., and A. E. Pankratiev. "On functional specification of latin squares." Journal of Mathematical Sciences 169, no. 4 (August 20, 2010): 533–40. http://dx.doi.org/10.1007/s10958-010-0059-y.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Functional specification"

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
APA, Harvard, Vancouver, ISO, and other styles
2

Swierstra, Wouter. "A functional specification of effects." Thesis, University of Nottingham, 2009. http://eprints.nottingham.ac.uk/10779/.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

Williams, Dewi L. (Dewi Lloyd) Carleton University Dissertation Engineering Electrical. "A Functional-test specification language." Ottawa, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

Feng, Heng. "Environmental considerations integrated in the functional specification of products." Troyes, 2012. http://www.theses.fr/2012TROY0002.

Full text
Abstract:
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’entreprise
Eco-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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Functional specification"

1

Aas, J. Data exchange in finite element analysis: A functional requirement specification. East Kilbride, Glasgow: NAFEMS, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Carroll, Robert J. Draft functional specification and data item descriptions for FOG-M embedded training subsystem. Alexandria, VA: U.S. Army Research Institute for the Behavioral and Social Sciences, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

MacDougall, Alan. EQLIPSE evaluation and quality in library performance: system for Europe: Final report and final functional specification. S.L: Commission of the European Communities, DG XIII: Telecommunications, Information Market and Exploitation of Research, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

National Bureau of Standards. Guideline on functional specifications for database management systems. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

J, Wales Terence, ed. Demand system specification and estimation. New York: Oxford University Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Montanez-Rivera, Carmelo. Conformance test specifications for COBOL intrinsic function module. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Montanez-Rivera, Carmelo. Conformance test specifications for COBOL intrinsic function module. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kolstad, Charles D. Dynamic specification error in cost function and factor demand estimation. Champaign: University of Illinois at Urbana-Champaign, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Jean-Paul, Lambert. Conflicting specifications for investment functions in rationing models: A reconciliation. Louvain-la-Neuve: Universite Catholique de Louvain, Center for Operations Research & Econometrics, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kawaguchi, Akira. Female labour supply: Sensivity to the specification of labour supply function. Parkville,Vic: Dept. of Economics, University of Melbourne, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Functional specification"

1

Weik, Martin H. "functional specification." In Computer Science and Communications Dictionary, 664. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7801.

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

Escobar, Santiago. "Functional Logic Programming in Maude." In Specification, Algebra, and Software, 315–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54624-2_16.

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

Baxter-Reynolds, Matthew. "Application Architecture and Functional Specification." In Cracking Windows Phone and Blackberry Native Development, 21–37. Berkeley, CA: Apress, 2011. http://dx.doi.org/10.1007/978-1-4302-3375-6_3.

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

Baxter-Reynolds, Matthew. "Application Architecture and Functional Specification." In Multimobile Development, 19–33. Berkeley, CA: Apress, 2010. http://dx.doi.org/10.1007/978-1-4302-3199-8_3.

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

Serre, Philippe, Alain Riviere, and André Clement. "Analysis of functional geometrical specification." In Geometric Product Specification and Verification: Integration of Functionality, 115–25. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-1691-8_12.

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

Bojanowski, Jakub, Michal Iglewski, Jan Madey, and Abdellatif Obaid. "Functional Approach to Protocols Specification." In IFIP Advances in Information and Communication Technology, 395–402. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34867-4_30.

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

Broy, Manfred. "A functional solution to the RPC-memory specification problem." In Formal Systems Specification, 183–211. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0024430.

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

Kaufmann, F., D. Schillinger, and U. Schult. "Functional Specification of Process-Control Software." In Computer Systems for Process Control, 287–303. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2237-5_13.

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

O'Donnell, John. "Teaching functional circuit specification in Hydra." In Funtional Programming Languages in Education, 195–214. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60675-0_46.

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

Meier, Horst, Friedrich Morlock, and Thomas Dorka. "Functional Specification for IPS²-Execution Systems." In Lecture Notes in Production Engineering, 507–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-30820-8_43.

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

Conference papers on the topic "Functional specification"

1

O’Donnell, John B., and Gudula Rünger. "Formal Specification of Interconnection Networks." In Proceedings of the 1995 Glasgow Workshop on Functional Programming. BCS Learning & Development, 1995. http://dx.doi.org/10.14236/ewic/fp1995.15.

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

Brettschneider, M., and T. Häberlein. "Functional abstractions for UML activity diagrams." In 2010 Forum on Specification & Design Languages (FDL 2010). IET, 2010. http://dx.doi.org/10.1049/ic.2010.0151.

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

Vinco, Sara, Michele Lora, Enrico Macii, and Massimo Poncino. "IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models." In 2016 Forum on Specification and Design Languages (FDL). IEEE, 2016. http://dx.doi.org/10.1109/fdl.2016.7880379.

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

Hassan, Muhammad, Daniel Grobe, Thilo Vortler, Karsten Einwich, and Rolf Drechsler. "Functional Coverage-Driven Characterization of RF Amplifiers." In 2019 Forum for Specification and Design Languages (FDL). IEEE, 2019. http://dx.doi.org/10.1109/fdl.2019.8876957.

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

Li, Mo, and Shaoying Liu. "Automated Functional Scenarios-Based Formal Specification Animation." In 2012 19th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2012. http://dx.doi.org/10.1109/apsec.2012.115.

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

Qin, Wei, Asa Ben-Tzur, and Boris Gutkovich. "An ADL for Functional Specification of IA32." In 2007 IEEE International Workshop on Microprocessor Test and Verification (MTV). IEEE, 2007. http://dx.doi.org/10.1109/mtv.2007.12.

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

Dufourd, Jean-François. "An OBJ3 functional specification for boundary representation." In the first ACM symposium. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/112515.112529.

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

Blackburn, Patrick, and Claire Gardent. "A specification language for lexical functional grammars." In the seventh conference. Morristown, NJ, USA: Association for Computational Linguistics, 1995. http://dx.doi.org/10.3115/976973.976980.

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

Centomo, Stefano, Michele Lora, and Franco Fummi. "Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms." In 2018 Forum on specification & Design Languages (FDL). IEEE, 2018. http://dx.doi.org/10.1109/fdl.2018.8524083.

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

Sérot, Jocelyn. "HoCL: High level specification of dataflow graphs." In IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3462172.3462185.

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

Reports on the topic "Functional specification"

1

Malis, A. G. PSN End-to-End functional specification. RFC Editor, March 1986. http://dx.doi.org/10.17487/rfc0979.

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

Edgar, Carol A., and Alper A. Kerman. OSINET test & registration service functional specification. Gaithersburg, MD: National Institute of Standards and Technology, 1991. http://dx.doi.org/10.6028/nist.ir.4668.

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

Meyers, B. C., and Nelson H. Weiderman. Functional Performance Specification for an Inertial Navigation System. Fort Belvoir, VA: Defense Technical Information Center, October 1988. http://dx.doi.org/10.21236/ada204850.

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

Zhang, L., S. Berson, S. Herzog, and S. Jamin. Resource ReSerVation Protocol (RSVP) -- Version 1 Functional Specification. Edited by R. Braden. RFC Editor, September 1997. http://dx.doi.org/10.17487/rfc2205.

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

Braden, R. T/TCP -- TCP Extensions for Transactions Functional Specification. RFC Editor, July 1994. http://dx.doi.org/10.17487/rfc1644.

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

Miller, T. Internet Reliable Transaction Protocol functional and interface specification. RFC Editor, February 1985. http://dx.doi.org/10.17487/rfc0938.

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

Lang, J., B. Rajagopalan, and D. Papadimitriou, eds. Generalized Multi-Protocol Label Switching (GMPLS) Recovery Functional Specification. RFC Editor, March 2006. http://dx.doi.org/10.17487/rfc4426.

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

Habib, T., C. Koksal, T. Moskal, G. Rush, and J. Gloudemans. Multiloop Integral System Test (MIST): MIST Facility Functional Specification. Office of Scientific and Technical Information (OSTI), April 1991. http://dx.doi.org/10.2172/5681659.

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

GEORGIA INST OF TECH ATLANTA. Functional Description and Formal Specification of a Generic Gateway. Fort Belvoir, VA: Defense Technical Information Center, August 1988. http://dx.doi.org/10.21236/ada206581.

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

Maitan, Jacek. Constraints-Based Specification and Synthesis of Functional Analog Modules. Fort Belvoir, VA: Defense Technical Information Center, April 1989. http://dx.doi.org/10.21236/ada207426.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Functional specification' for particular source types:
Journal articles Dissertations / Theses 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