Relevant bibliographies by topics / Z (Computer program language)

Academic literature on the topic 'Z (Computer program language)'

Author: Grafiati
Published: 4 June 2021
Last updated: 31 July 2024

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Z (Computer program language).'

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 "Z (Computer program language)"

1

Sarsekeyeva, A. T., M. S. Serik, and ZH M. Baigozhina. "INTEGRATING MULTIMEDIA AND DIGITAL TECHNOLOGY IN SECONDARY SCHOOL ENGLISH LANGUAGE TEACHING (ELT) PROGRAM." Bulletin of Shokan Ualikhanov Kokshetau University. Philological Series 2022, no. 2 (June 30, 2022): 111–19. http://dx.doi.org/10.59102/kufil/2022/iss2pp111-119.

Full text
Abstract:
Computer technology has been used in teaching foreign languages since the 1980s, which led to the emergence of a special direction in the methodology of teaching foreign languages, which examines the theoretical and practical aspects of the use of these technologies in the course of teaching a foreign language. In Kazakhstan, this direction is called "computer linguodidactics", the most common term used abroad is CALL (Computer-assisted language learning). With the technological progress, more and more advanced technical devices appeared with significant linguodidactic potential. Today, in the practice of teaching foreign languages, a wide range of technical devices are used, both stationary (for example, a computer, interactive whiteboard) and mobile (tablet computers, smartphones), which are combined under the concept of "digital technology". The appearance of these technical tools also influenced the ways of presenting information, which today is most often given in a multimedia format, that is, in several forms simultaneously: text, graphic, video, audio, interactive. Key words: digital technologies, self-development, active learning, generations Z and α, ICT.
APA, Harvard, Vancouver, ISO, and other styles
2

Farthing, I., G. Love, VD Scott, and CT Walker. "A new and versatile computer program for correcting EPMA data." Proceedings, annual meeting, Electron Microscopy Society of America 50, no. 2 (August 1992): 1658–59. http://dx.doi.org/10.1017/s0424820100132923.

Full text
Abstract:
A new computer program has been developed to convert electron probe microanalysis data into accurate measurements of chemical composition. It is menu-based and designed to operate off-line using any IBM PC compatible computer. As shown in the flowchart, fig. 1, the architecture is modular and the programming language adopted is a compilable version of BASIC which possesses much of the processing speed associated with FORTRAN or C. Specimens containing up to fifteen elements, with 4 ≤ Z ≤ 96, can be handled and all the major x-ray lines (Kα, Kβ, Lα, L(β, Mα and Mβ) are available for analysis purposes.The procedure itself is based upon the classical ZAF approach in which corrections for atomic number (Z), x-ray absorption (A), characteristic fluorescence (Fl) and continuum fluorescence (F2) are treated independently. The factors dealing with fluorescence are essentially those of Reed (characteristic) and Springer (continuum) although both contain minor updates. However, the atomic number and absorption factors are the authors' own and the latter, developed from a quadrilateral representation of the x-ray distribution with depth in a solid, distinguishes this program from others.
APA, Harvard, Vancouver, ISO, and other styles
3

Barendregt, Henk. "Theoretical Pearls: Self-interpretation in lambda calculus." Journal of Functional Programming 1, no. 2 (April 1991): 229–33. http://dx.doi.org/10.1017/s0956796800020062.

Full text
Abstract:
Programming languages which are capable of interpreting themselves have been fascinating computer scientists. Indeed, if this is possible then a ‘strange loop’ (in the sense of Hofstadter, 1979) is involved. Nevertheless, the phenomenon is a direct consequence of the existence of universal languages. Indeed, if all computable functions can be captured by a language, then so can the particular job of interpreting the code of a program of that language. Self-interpretation will be shown here to be possible in lambda calculus.The set of λ-terms, notation Λ, is defined by the following abstract syntaxwhereis the set {v, v′, v″, v′″,…} of variables. Arbitrary variables are usually denoted by x, y,z,… and λ-terms by M,N,L,…. A redex is a λ-term of the formthat is, the result of substituting N for (the free occurrences of) x in M. Stylistically, it can be said that λ-terms represent functional programs including their input. A reduction machine executes such terms by trying to reduce them to normal form; that is, redexes are continuously replaced by their contracta until hopefully no more redexes are present. If such a normal form can be reached, then this is the output of the functional program; otherwise, the program diverges.
APA, Harvard, Vancouver, ISO, and other styles
4

Pełka, Marcin, and Aneta Rybicka. "Pomiar i analiza preferencji wyrażonych z wykorzystaniem pakietu conjoint programu R." Przegląd Statystyczny. Statistical Review 2012, no. 3 (September 30, 2012): 302–15. http://dx.doi.org/10.59139/ps.2012.03.7.

Full text
Abstract:
Conjoint analysis is a statistical method in which consumer preferences are decomposed in order to evaluate: utility function for each attribute, importance of each attribute, market shares simulations and segmentation of consumers. There are many different computer programs that can be applied for conjoint analysis research. The paper presents conjoint package of R software which are useful to evaluate empirical preferences. The R program is more and more popular and many researchers are applying it. The conjoint package of R software is a response to a fact, that not all steps of conjoint analysis were programmed in R. In particular it concerns evaluation of attributes’ importance, market share simulations and interpretation of results. The article presents also results of the evaluation of wine consumers’ preferences with application of conjoint package, market share simulations and segmentation of consumers.
APA, Harvard, Vancouver, ISO, and other styles
5

Górska-Olesińska, Monika, and Mariusz Pisarski. "Wróżenie z tekstonów. Przekład dystrybutywny na przykładzie generatora Sea and Spar Between (2010) Stephanie Strickland i Nicka Montforta." Przekładaniec, no. 43 (December 31, 2021): 55–72. http://dx.doi.org/10.4467/16891864pc.21.029.15143.

Full text
Abstract:
Texton Telling. Distributed Translation Based on Stephanie Strickland and Nick Montfort’s Sea and Spar Between Generator (2010) The article presents challenges of translating poetry generators in multi-authorial, creative collaboration and within the context of understanding text as process. Stephanie Strickland and Nick Montfort’s Sea and Spar Between is in many respects a translational challenge that in some languages might seem an impossible task. Polish, our target language, imposes some serious constraints: one-syllable words become disyllabic or multisyllabic; kennings have different morphological, lexical, and grammatical arrangement, and most of the generative rhetoric of the original (like anaphors) must take into consideration the grammatical gender of Polish words. As a result, the JavaScript code, instructions that accompany the JavaScript file, and arrays of words that this poetry generator draws from, needed to be expanded and rewritten. Moreover, in several crucial points of this rule-driven work, natural language forced us to modify the code. In translating Sea and Spar Between, the process of negotiation between the source language and the target language involves more factors than in the case of traditional translation. Strickland and Montfort read Dickinson and Melville and parse their readings into a computer program (in itself a translation, or port, from Python to JavaScript) which combines them in almost countless ways. This collision of cultures, languages, and tools becomes amplified if one wants to transpose it into a different language. This transposition involves the original authors of Sea and Spar Between, the four original translators of Dickinson and Melville into Polish, and us, turning into a multilayered translational challenge, something we propose to call a distributed translation. While testing the language and the potential of poetry translation in the digital age, the experiment – we hope – has produced some fascinating and thought-provoking poetry.
APA, Harvard, Vancouver, ISO, and other styles
6

Woolbright, David, Vladimir Zanev, and Neal Rogers. "VisibleZ: A Mainframe Architecture Emulator for Computing Education." Serdica Journal of Computing 8, no. 4 (October 2, 2015): 389–408. http://dx.doi.org/10.55630/sjc.2014.8.389-408.

Full text
Abstract:
This paper describes a PC-based mainframe computer emulatorcalled VisibleZ and its use in teaching mainframe Computer Organizationand Assembly Programming classes. VisibleZ models IBM’s z/Architectureand allows direct interpretation of mainframe assembly language objectcode in a graphical user interface environment that was developed in Java.The VisibleZ emulator acts as an interactive visualization tool to simulateenterprise computer architecture. The provided architectural componentsinclude main storage, CPU, registers, Program Status Word (PSW), andI/O Channels. Particular attention is given to providing visual clues tothe user by color-coding screen components, machine instruction execution,and animation of the machine architecture components. Students interact with VisibleZ by executing machine instructions in a step-by-stepmode, simultaneously observing the contents of memory, registers, and changes inthe PSW during the fetch-decode-execute machine instruction cycle. Theobject-oriented design and implementation of VisibleZ allows students todevelop their own instruction semantics by coding Java for existing specificz/Architecture machine instructions or design and implement new machineinstructions. The use of VisibleZ in lectures, labs, and assignments is describedin the paper and supported by a website that hosts an extensivecollection of related materials. VisibleZ has been proven a useful tool inmainframe Assembly Language Programming and Computer Organizationclasses. Using VisibleZ, students develop a better understanding of mainframe concepts, components, and how the mainframe computer works.ACM Computing Classification System (1998): C.0, K.3.2.
APA, Harvard, Vancouver, ISO, and other styles
7

Demenko, Grażyna, Agnieszka Wagner, and Natalia Cylwik. "The Use of Speech Technology in Foreign Language Pronunciation Training." Archives of Acoustics 35, no. 3 (September 30, 2010): 309–29. http://dx.doi.org/10.2478/v10168-010-0027-z.

Full text
Abstract:
AbstractIn recent years the application of computer software to the learning process has been found to be an indisputably effective tool supporting the traditional teaching methods. Particular focus has been put on the application of techniques based on speech and language processing to the second language learning. Most of the commercial self-study programs, however, do not allow for introduction of an individualized learning course by the teacher and to concentrate on segmental features only. The paper discusses the use of speech technology in the training of foreign languages' pronunciation and prosody and defines pedagogical requirements for an effective training with CAPT systems. In this context, steps taken in the development of the intelligent tutoring system AzAR3.0 (German‘Automat for accent reduction’) in the scope of the Euronounce project (Cylwiket al., 2008) are described with the focus on creation of the linguistic content. In response to the European Union's call for promoting less widely spoken languages, the project focuses on German as a target language for native speakers of Polish, Slovak, Czech, and Russian, andvice versa. The paper presents the design of the speech corpus for the purpose of the tutoring system and the analysis of pronunciation errors. The results of the latter provide information which is important for Automatic Speech Recognition (ASR) training on the one hand, and for automatic error detection and feedback generation on the other hand. In the end, Pitch Line software for implementation in the prosody visualization and training module of AzAR3.0 tutoring system is described.
APA, Harvard, Vancouver, ISO, and other styles
8

Ahmad, Wan Noor Afifah Wan, Suliadi Firdaus Sufahani, Alan Zinober, Azila M. Sudin, Muhaimin Ismoen, Norafiz Maselan, and Naufal Ishartono. "Nonstandard optimal control problem: case study in an economical application of royalty problem." International Journal of Advances in Intelligent Informatics 5, no. 3 (October 29, 2019): 206. http://dx.doi.org/10.26555/ijain.v5i3.357.

Full text
Abstract:
This paper's focal point is on the nonstandard Optimal Control (OC) problem. In this matter, the value of the final state variable, y(T) is said to be unknown. Moreover, the Lagrangian integrand in the function is in the form of a piecewise constant integrand function of the unknown state value y(T). In addition, the Lagrangian integrand depends on the y(T) value. Thus, this case is considered as the nonstandard OC problem where the problem cannot be resolved by using Pontryagin’s Minimum Principle along with the normal boundary conditions at the final time in the classical setting. Furthermore, the free final state value, y(T) in the nonstandard OC problem yields a necessary boundary condition of final costate value, p(T) which is not equal to zero. Therefore, the new necessary condition of final state value, y(T) should be equal to a certain continuous integral function of y(T)=z since the integrand is a component of y(T). In this study, the 3-stage piecewise constant integrand system will be approximated by utilizing the continuous approximation of the hyperbolic tangent (tanh) procedure. This paper presents the solution by using the computer software of C++ programming and AMPL program language. The Two-Point Boundary Value Problem will be solved by applying the indirect method which will involve the shooting method where it is a combination of the Newton and the minimization algorithm (Golden Section Search and Brent methods). Finally, the results will be compared with the direct methods (Euler, Runge-Kutta, Trapezoidal and Hermite-Simpson approximations) as a validation process.
APA, Harvard, Vancouver, ISO, and other styles
9

Litvinov, V. N., N. B. Rudenko, and N. N. Gracheva. "Model of a Parallel-Pipeline Computational Process for Solving a System of Grid Equations." Advanced Engineering Research (Rostov-on-Don) 23, no. 3 (September 29, 2023): 329–39. http://dx.doi.org/10.23947/2687-1653-2023-23-3-329-339.

Full text
Abstract:
Introduction. Environmental problems arising in shallow waters and caused by both natural and man-made factors annually do significant damage to aquatic systems and coastal territories. It is possible to identify these problems in a timely manner, as well as ways to eliminate them, using modern computing systems. But earlier studies have shown that the resources of computing systems using only a central processor are not enough to solve large scientific problems, in particular, to predict major environmental accidents, assess the damage caused by them, and determine the possibilities of their elimination. For these purposes, it is proposed to use models of the computing system and decomposition of the computational domain to develop an algorithm for parallel-pipeline calculations. The research objective was to create a model of a parallel-conveyor computational process for solving a system of grid equations by a modified alternating-triangular iterative method using the decomposition of a three-dimensional uniform computational grid that takes into account technical characteristics of the equipment used for calculations.Materials and Methods. Mathematical models of the computer system and computational grid were developed. The decomposition model of the computational domain was made taking into account the characteristics of a heterogeneous system. A parallel-pipeline method for solving a system of grid equations by a modified alternating-triangular iterative method was proposed.Results. A program was written in the CUDA C language that implemented a parallel-pipeline method for solving a system of grid equations by a modified alternating-triangular iterative method. The experiments performed showed that with an increase in the number of threads, the computation time decreased, and when decomposing the computational grid, it was rational to split into fragments along coordinate z by a value not exceeding 10. The results of the experiments proved the efficiency of the developed parallel-pipeline method.Discussion and Conclusion. As a result of the research, a model of a parallel-pipeline computing process was developed using the example of one of the most time-consuming stages of solving a system of grid equations by a modified alternating-triangular iterative method. Its construction was based on decomposition models of a three-dimensional uniform computational grid, which took into account the technical characteristics of the equipment used in the calculations. This program can provide you for the acceleration of the calculation process and even loading of program flows in time. The conducted numerical experiments validated the mathematical model of decomposition of the computational domain.
APA, Harvard, Vancouver, ISO, and other styles
10

Тарабань, Роман, Кодуру Лакшмоджі, Марк ЛаКур, and Філіп Маршалл. "Finding a Common Ground in Human and Machine-Based Text Processing." East European Journal of Psycholinguistics 5, no. 1 (June 30, 2018): 83–91. http://dx.doi.org/10.29038/eejpl.2018.5.1.tar.

Full text
Abstract:
Language makes human communication possible. Apart from everyday applications, language can provide insights into individuals’ thinking and reasoning. Machine-based analyses of text are becoming widespread in business applications, but their utility in learning contexts are a neglected area of research. Therefore, the goal of the present work is to explore machine-assisted approaches to aid in the analysis of students’ written compositions. A method for extracting common topics from written text is applied to 78 student papers on technology and ethics. The primary tool for analysis is the Latent Dirichlet Allocation algorithm. The results suggest that this machine-based topic extraction method is effective and supports a promising prospect for enhancing classroom learning and instruction. The method may also prove beneficial in other applied applications, like those in clinical and counseling practice. References Blei, D. M., Ng, A. Y., & Jordan, M. I. (2003). Latent Dirichlet Allocation. Journal of Machine Learning Research 3, 993-1022. Bruner, J. (1990). Acts of meaning. Cambridge, MA: Harvard University Press. Chen, K. Y. M., & Wang, Y. (2007). Latent dirichlet allocation. http://acsweb.ucsd.edu/~yuw176/ report/lda.pdf. Chung, C. K., & Pennebaker, J. W. (2008). Revealing dimensions of thinking in open-ended self-descriptions: An automated meaning extraction method for natural language. Journal of research in personality, 42(1), 96-132. Feldman, S. (1999). NLP meets the Jabberwocky: Natural language processing in information retrieval. Online Magazine, 23, 62-73. Retrieved from: http://www.onlinemag.net/OL1999/ feldmann5.html Mishlove, J. (2010). https://www.youtube.com/watch?v=0XTDLq34M18 (Accessed June 12, 2018). Ostrowski, D. A. (2015). Using latent dirichlet allocation for topic modelling in twitter. In Semantic Computing (ICSC), 2015 IEEE International Conference (pp. 493-497). IEEE. Pennebaker, J. W. (2004). Theories, therapies, and taxpayers: On the complexities of the expressive writing paradigm. Clinical Psychology: Science and Practice, 11(2), 138-142. Pennebaker, J.W., Boyd, R.L., Jordan, K., & Blackburn, K. (2015). The development and psychometric properties of LIWC 2015. Austin, TX: University of Texas at Austin. Pennebaker, J. W., Chung, C. K., Frazee, J., Lavergne, G. M., & Beaver, D. I. (2014). When small words foretell academic success: The case of college admissions essays. PLoS ONE, 9(12), e115844. Pennebaker, J. W., & King, L. A. (1999). Linguistic styles: Language use as an individual difference. Journal of Personality and Social Psychology, 77(6), 1296-1312. Recchia, G., Sahlgren, M., Kanerva, P., & Jones, M. N. (2015). Encoding sequential information in semantic space models: Comparing holographic reduced representation and random permutation. Computational intelligence and neuroscience, 2015, 1-18. Salzmann, Z. (2004). Language, Culture, and Society: An Introduction to Linguistic Anthropology (3rd ed). Westview Press. Schank, R. C., Goldman, N. M., Rieger III, C. J., & Riesbeck, C. (1973). MARGIE: Memory analysis response generation, and inference on English. In IJCAI, 3, 255-261. Taraban, R., Marcy, W. M., LaCour Jr., M. S., & Burgess II, R. A. (2017). Developing machine-assisted analysis of engineering students’ ethics course assignments. Proceedings of the American Society of Engineering Education (ASEE) Annual Conference, Columbus, OH. https://www.asee.org/public/conferences/78/papers/19234/view. Taraban, R., Marcy, W. M., LaCour, M. S., Pashley, D., & Keim, K. (2018). Do engineering students learn ethics from an ethics course? Proceedings of the American Society of Engineering Education – Gulf Southwest (ASEE-GSW) Annual Conference, Austin, TX. http://www.aseegsw18.com/papers.html. Taraban, R., & Marshall, P. H. (2017). Deep learning and competition in psycholinguistic research. East European Journal of Psycholinguistics, 4(2), 67-74. Weizenbaum, J. (1966). ELIZA—a computer program for the study of natural language communication between man and machine. Communications of the ACM, 9(1), 36-45. Winograd, T. (1972). Understanding natural language. New York: Academic Press.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Z (Computer program language)"

1

Matthews, Chris, and mikewood@deakin edu au. "Fuzzy concepts and formal methods." Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.

Full text
Abstract:
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representation scheme for this imprecision or approximation. A fuzzy logic toolkit that defines the operators, measures and modifiers necessary for the manipulation of fuzzy sets and relations is developed. The toolkit contains a detailed set of laws that demonstrate the properties of the definitions when applied to partial set membership. It also provides a set of laws that establishes an isomorphism between the toolkit notation and that of conventional Z when applied to boolean sets and relations. The thesis also illustrates how the fuzzy logic toolkit can be applied in the problem domains of interest. Several examples are presented and discussed including the representation of imprecise concepts as fuzzy sets and relations, system requirements as a series of linguistically quantified propositions, the modelling of conflict and agreement in terms of fuzzy sets and the partial specification of a fuzzy expert system. The thesis concludes with a consideration of potential areas for future research arising from the work presented here.
APA, Harvard, Vancouver, ISO, and other styles
2

Ravalli, Gilbert, and gravalli@swin edu au. "Translation of on object role model schema into the formal language Z." Swinburne University of Technology, 2005. http://adt.lib.swin.edu.au./public/adt-VSWT20060502.130326.

Full text
Abstract:
In the development of information systems for business, structured approaches are widely used in practice. Structured approaches provide a prescription and guidelines for how to go about the process of developing an information system, are relatively easy to learn and provide tools which are well suited to their task. However, the products of structured approaches are sometimes seen to be vague and imprecise since requirements are written using natural language or represented in the form of models which do not have a formal foundation. This vagueness or ambiguity can be the source of problems later in development of the information system. A possible solution to this is to represent requirements using formal methods since these are seen as precise and unambiguous. However, formal methods are typically only a mathematical language for representing requirements. They are often regarded as difficult to learn and use. Even though formal methods of one sort or another have been in existence for many years they are not popular and appear unlikely to become popular in the future. One possible approach to providing the advantages of structured approaches and formal methods is to provide translation procedures from the products of structured approaches to a formal description in a suitable formal language. The work in this thesis follows this theme and is aimed at the creation of a translation procedure from an Object Role Model (ORM) schema to a Z specification. An object role model schema is the end product of a process called the Natural Language Information Analysis Method (NIAM) which is used to produce an information model for an information system. NIAM is a method which has been used successfully in industry since the mid 1970s and continues to be used today. This thesis provides a translation procedure from ORM to Z which is less arbitrary and more comprehensive than previous conversion procedures in the literature. It establishes a systematic method for (i) choosing suitable types and variables for a Z specification and (ii) predicates that express all the standard constraints available in ORM modelling. The style of representation in Z preserves ORM�s concepts in a way that aids traceability and validation. The natural language basis of ORM, namely the use of elementary facts, is preserved. Furthermore, an ORM schema differentiates between abstract concepts and the means by which these concepts are represented symbolically and this thesis provides a representation in Z that maintains the distinction between conceptual objects and their symbolic representation. Identification schemes of entity types are also translated into the Z specification but it is left as an option in the translation procedure. Guiding and evaluating the work conducted here are a published set of criteria for the evaluation of a conceptual schema. These have helped in making decisions regarding the translation procedure and for assessing my work and that of others.
APA, Harvard, Vancouver, ISO, and other styles
3

Stratton, David. "A program visualisation meta language." Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.

Full text
Abstract:
The principle motivation of this work is to define an open PV architecture that will enable a variety of visualisation schemes to interoperate and that will encourage the generation of PV systems and research into their efficacy. Ultimately this may lead to more effective pedagogy in the field of computer programming and hence remove a barrier to students entering the profession.
Doctorate of Philosophy
APA, Harvard, Vancouver, ISO, and other styles
4

Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.

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

Chou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.

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

Beaumont, Helen Marie. "Investigations of learning Z with computer support." Thesis, De Montfort University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.390982.

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

Richardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

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

Gordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.

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

Martin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.

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

Leoutsarakos, Nikolaos. "A context sensitive command language /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.

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

Books on the topic "Z (Computer program language)"

1

International Conference of B and Z Users (1st 2000 York, England). ZB 2000: Formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings. Berlin: Springer, 2000.

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

International Conference of B and Z Users (1st 2000 York, England). ZB 2000: Formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings. Berlin: Springer, 2000.

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

Jacky, Jonathan. The way of Z: Practical programming with formal methods. Cambridge: Cambridge University Press, 1997.

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

Smith, Graeme. The Object-Z Specification Language. Boston, MA: Springer US, 2000.

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

Z User Workshop (8th 1994 Cambridge, England). Z User Workshop, Cambridge, 1994: Proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994. London: Springer-Verlag, 1994.

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

Steele, Peter W. Z80 assembly language programming. Rockville, Md: Computer Science Press, 1987.

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

Z, User Meeting (5th 1990 Oxford England). Z user workshop, Oxford, 1990: Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford. London: Springer-Verlag, 1991.

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

Z User Workshop. (5th 1990 Oxford, England). Z User Workshop, Oxford, 1990: Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford. London: Springer-Verlag, 1991.

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

Z User Workshop. (6th 1991 York, England). Z User Workshop, York, 1991: Proceedings of the Sixth Annual Z User Meeting, York, 16-17 December 1991. London: Springer-Verlag, 1992.

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

Michael, Grobe, and University of Kansas. Academic Computing Services., eds. Learning Z-BASIC on the Heath/Zenith Z-100. Bowie, Md: Brady Communications Co., 1985.

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

Book chapters on the topic "Z (Computer program language)"

1

Weik, Martin H. "language program." In Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.

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

Weik, Martin H. "program design language." In Computer Science and Communications Dictionary, 1347. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.

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

O’Regan, Gerard. "Z Specification Language." In Undergraduate Topics in Computer Science, 295–311. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-07816-3_17.

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

Craven, Paul Vincent. "What Is a Computer Language?" In Program Arcade Games, 33–40. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.

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

O’Regan, Gerard. "Z Formal Specification Language." In Texts in Computer Science, 319–34. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44561-8_19.

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

O’Regan, Gerard. "Z Formal Specification Language." In Texts in Computer Science, 347–62. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81588-2_21.

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

O’Regan, Gerard. "Z Formal Specification Language." In Texts in Computer Science, 277–93. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-26212-8_17.

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

Freudenstein, Reinhold. "In the Beginning was Lado. The European Certificate Program." In Scientific and Humanistic Dimensions of Language, 137. Amsterdam: John Benjamins Publishing Company, 1985. http://dx.doi.org/10.1075/z.22.23fre.

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

O’Regan, Gerard. "Z Formal Specification Language." In Undergraduate Topics in Computer Science, 155–71. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-64021-1_8.

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

O’Regan, Gerard. "Z Formal Specification Language." In Undergraduate Topics in Computer Science, 209–24. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57750-0_13.

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

Conference papers on the topic "Z (Computer program language)"

1

Suta, Lizia ioana, Doru vlad Popovici, Vicol eduard Suta, and Vasile Marinela. "PARTICULARITES OF USING EDUCATIONAL SOFTWARE IN SPEECH THERAPY INTERVENTION FOR PUPILS WITH MENTAL DISABILITY." In eLSE 2014. Editura Universitatii Nationale de Aparare "Carol I", 2014. http://dx.doi.org/10.12753/2066-026x-14-198.

Full text
Abstract:
PARTICULARITES OF USING EDUCATIONAL SOFTWARE IN SPEECH THERAPY INTERVENTION FOR PUPILS WITH MENTAL DISABILITY Authors Popovici, D., University of Bucharest (Bucharest, Romania), stelutadoru@yahoo.com;?u?? L.I., Special School ,,Constantin P?unescu" (Bucharest, Romania), liziasuta@yahoo.com ?u??, V.E., Special School ,,Constantin P?unescu" (Bucharest, Romania), vicol79@yahoo.com, Vasile, M., ., Special School ,,Constantin P?unescu" (Bucharest, Romania), marinela.vasile@yahoo.com Presentation In order to achieve and implement a useful educational software for speech therapy intervention for pupils with mental deficiency , it is necessary first to identify the most common existing language disorders in this population of students. Therefore, the first objective of the research was done by conducting a cross-section, constantative study. After evaluating a number of 91 students with mental disability from Special School "Constantin P?unescu ", we found that the most damage sounds for the students mentioned above are those from sigmatism and parasigmatism group . Educational software developed after obtaining these results, it is intended to correct the sounds that were highlighted as having the highest frequency damage, namely the sounds s, t and z and can be used successfully in the stages of consolidation and automation of the sounds. The second research of the paper was an experimental one and we intend to verify the assumption that the introduction in a program for computer-assisted speech and language intervention will lead to a faster correction of spelling disorders. Were selected two groups of students consisting of 10 subjects each (symmetric in terms of number and type of errors identified pronunciation), whose diagnosis was the damage of S sound. After applying differentiated speech therapy programs for the two groups (experimental group received speech therapy aided educational software and the control group received traditional speech therapy) we found that computer-aided speech therapy activities lead to achieving therapeutic goals in a shorter time and with better results . Research methods included tests of language assessment, observation, conversation, case study and students files verification. Tests for assessment of language followed measurement of sound articulation of the language, for independent speech and for the reflected speech, being extracted from a set of samples used in speech therapy practice. At the end of the research were conducted two case studies for two students from different research groups , in order to formulate some qualitative results of our research.
APA, Harvard, Vancouver, ISO, and other styles
2

Chang, Chao-Hwa. "3D-to-2D Mapping of Cutter Paths in NC Programming of Complex Engineering Parts." In ASME 1993 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/cie1993-0081.

Full text
Abstract:
Abstract The concept of mapping a three dimensional (3D) contouring cutter path with major motion in a plane parallel to the Z axis onto the X-Y plane or one perpendicular to the Z axis is introduced. A systematic method is developed that can be used to program, in APT or other high-level languages, complex contouring cutter motion based on the concept introduced. As a result, NC programming of contouring motion for many complex engineering parts on a 3-axis numerically controlled (NC) milling machine, which is often considered difficult, can be greatly simplified. Part examples are discussed; and the APT programs defining the cutter path based on the 3D-to-2D mapping concept, are also analyzed in detail. The concept and method introduced proved to be a powerful tool for programming the NC machining process for many parts, particularly dies and molds.
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Fangjun. "Generalized Program Slicing Applied to Z Specifications." In 2009 International Conference on Computer Engineering and Technology (ICCET). IEEE, 2009. http://dx.doi.org/10.1109/iccet.2009.123.

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

Wu, Fangjun. "A Formal Mapping between Program Slicing and Z Specifications." In 2009 International Conference on Computer Engineering and Technology (ICCET). IEEE, 2009. http://dx.doi.org/10.1109/iccet.2009.122.

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

Yang, Xiaoli, Rong Ge, and Charles Tseng. "Visualizing genetic recombination with interactive computer program." In 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.

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

Singh, Sukhpal, Inderveer Chana, and Maninder Singh. "Z language based an algorithm for event detection, analysis and classification in machine vision." In 2013 International Conference on Human Computer Interactions (ICHCI). IEEE, 2013. http://dx.doi.org/10.1109/ichci-ieee.2013.6887803.

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

Kim, Sung-Hun, Jin-Tak Choi, and Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf." In Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.

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

Ling, Xiang, Guoqing Wu, and Bo Huang. "Comparing program to requirement and design using language acceptance." In 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.

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

Qin, Yi, and Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners." In 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.

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

Menotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes, and Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures." In 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2009. http://dx.doi.org/10.1109/sbac-pad.2009.23.

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

Reports on the topic "Z (Computer program language)"

1

Ponce, Juan, Mercedes Onofa, and Paul E. Carrillo. Information Technology and Student Achievement: Evidence from a Randomized Experiment in Ecuador. Inter-American Development Bank, December 2010. http://dx.doi.org/10.18235/0011199.

Full text
Abstract:
This paper studies the effects of information and communication technologies (ICT) in the school environment on educational achievement. To quantify these effects, the impact is evaluated of a project run by the municipality of Guayaquil, Ecuador, which provides computer-aided instruction in mathematics and language to students in primary schools. Using an experimental design, it is found that the program had a positive impact on mathematics test scores (about 0. 30 of a standard deviation) and a negative but statistically insignificant effect on language test scores. The impact is heterogeneous and is much larger for those students at the top of the achievement distribution.
APA, Harvard, Vancouver, ISO, and other styles
2

Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3864.

Full text
Abstract:
The article deals with the technology of visualizing fictional text (poetry) with the help of emoji symbols in the Emoji Maker platform that not only activates students’ thinking, but also develops creative attention, makes it possible to reproduce the meaning of poetry in a succinct way. The application of this technology has yielded the significance of introducing a computer being emoji in the study and mastering of literature is absolutely logical: an emoji, phenomenologically, logically and eidologically installed in the digital continuum, is separated from the natural language provided by (ethno)logy, and is implicitly embedded into (cosmo)logy. The technology application object is the text of the twentieth century Cuban poet José Ángel Buesa. The choice of poetry was dictated by the appeal to the most important function of emoji – the expression of feelings, emotions, and mood. It has been discovered that sensuality can reconstructed with the help of this type of meta-linguistic digital continuum. It is noted that during the emoji design in the Emoji Maker program, due to the technical limitations of the platform, it is possible to phenomenologize one’s own essential-empirical reconstruction of the lyrical image. Creating the image of the lyrical protagonist sign, it was sensible to apply knowledge in linguistics, philosophy of language, psychology, psycholinguistics, literary criticism. By constructing the sign, a special emphasis was placed on the facial emogram, which also plays an essential role in the transmission of a wide range of emotions, moods, feelings of the lyrical protagonist. Consequently, the Emoji Maker digital platform allowed to create a new model of digital presentation of fiction, especially considering the psychophysiological characteristics of the lyrical protagonist. Thus, the interpreting reader, using a specific digital toolkit – a visual iconic sign (smile) – reproduces the polylaterial metalinguistic multimodality of the sign meaning in fiction. The effectiveness of this approach is verified by the poly-functional emoji ousia, tested on texts of fiction.
APA, Harvard, Vancouver, ISO, and other styles
3

Striuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3671.

Full text
Abstract:
Designing a mobile-oriented environment for professional and practical training requires determining the stable (fundamental) and mobile (technological) components of its content and determining the appropriate model for specialist training. In order to determine the ratio of fundamental and technological in the content of software engineers’ training, a retrospective analysis of the first model of training software engineers developed in the early 1970s was carried out and its compliance with the current state of software engineering development as a field of knowledge and a new the standard of higher education in Ukraine, specialty 121 “Software Engineering”. It is determined that the consistency and scalability inherent in the historically first training program are largely consistent with the ideas of evolutionary software design. An analysis of its content also provided an opportunity to identify the links between the training for software engineers and training for computer science, computer engineering, cybersecurity, information systems and technologies. It has been established that the fundamental core of software engineers’ training should ensure that students achieve such leading learning outcomes: to know and put into practice the fundamental concepts, paradigms and basic principles of the functioning of language, instrumental and computational tools for software engineering; know and apply the appropriate mathematical concepts, domain methods, system and object-oriented analysis and mathematical modeling for software development; put into practice the software tools for domain analysis, design, testing, visualization, measurement and documentation of software. It is shown that the formation of the relevant competencies of future software engineers must be carried out in the training of all disciplines of professional and practical training.
APA, Harvard, Vancouver, ISO, and other styles
4

Markova, Oksana, Serhiy Semerikov, and Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, May 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the special course “Foundations of Mathematic Informatics” are shown. The program code was presented in a CofeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network`s weights, etc. The features of the Kolmogorov–Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Z (Computer program language)' 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