Relevant bibliographies by topics / Esterel (Computer program language)

Contents

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

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

Author: Grafiati
Published: 4 June 2021
Last updated: 30 January 2023

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

1

SHYAMASUNDAR, R. K., and S. RAMESH. "LANGUAGES FOR REACTIVE SPECIFICATIONS: SYNCHRONY VS ASYNCHRONY." International Journal of Foundations of Computer Science 11, no. 02 (June 2000): 283–314. http://dx.doi.org/10.1142/s012905410000017x.

Full text
Abstract:
Asynchronous and Synchronous languages have been in use for the specification of reactive systems. One of the main distinguishing features of these two classes lies in the way nondeterminism is used for the specification of programs. From this viewpoint, we analyze CSP (a typical asynchronous language) and ESTEREL (a synchronous language). The synchronous language Esterel is based on the notions of determinism, input nondeterminacy and parallelism whereas CSP is built on the notions of nondeterminism, concurrency and distribution. The main objectives of the study are to assess: • The role of nondeterminism in the specification of the behaviour and realization of programs: A clear distinction between local and global nondeterminism enables us to distinguish between implementational nondeterminism and environmental/input nondeterminism. The results in this direction would enable one to achieve observable determinism where the implementational choices can be hidden and thus, analyze the program behaviour with reference to the real environmental nondeterminism in the specification. This leads to a proper refinement of specifications and aids in deriving distributed implementations of finite state transition systems that are not necessarily deterministic. • The implementability of asynchronous languages through synchronous languages. The implementability of asynchronous languages in synchronous languages not only provides a realistic implementation but also provides higher level abstractions (such as multi-process interactions) for reactive specifications using features such as broadcast, interrupts, exception handling mechanisms etc.
APA, Harvard, Vancouver, ISO, and other styles
2

Ramesh, S., and Chandrashekhar M. Shetty. "Impossibility of Synchronization in the Presence of Preemption." Parallel Processing Letters 08, no. 01 (March 1998): 111–20. http://dx.doi.org/10.1142/s0129626498000134.

Full text
Abstract:
This paper is concerned with implementation of Communicating Reactive Processes(CRP), a new paradigm unifying capabilities of synchronous and asynchronous approaches to parallel programming. Synchronous languages like Esterel, Statecharts have features like instantaneous broadcasts, logical concurrency and determinism. Asynchronous languages, like ADA and CSP, allow physical concurrency and rendezvous communication mechanisms. CRP is designed for complex real-time process control applications requiring both forms of concurrency. CRP programs can be compiled into reactive nodes that communicate using rendezvous mechanism. Implementation of rendezvous is non trivial as the following constraints are to be satisfied: 1) mutual agreement over selection of a rendezvous required between the concerned processes, 2) the implementation has to be distributed with no single process knowing instantaneously global state. This problem has been solved for Hoare's CSP, but none of these solutions can be extended to CRP. The reason is that in CRP, an enabled rendezvous can be preempted by a local reaction. In this paper, we establish that there can not exist fully distributed implementation of CRP that allows complete autonomy to reactive nodes.
APA, Harvard, Vancouver, ISO, and other styles
3

Karn, Helen E., and MacEnglish. "Pronunciation Plus (Computer Program)." TESOL Quarterly 30, no. 1 (1996): 176. http://dx.doi.org/10.2307/3587618.

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

Solomon, Gabriela R., and Ford Language Institute. "The American Accent Program (Computer Program, Version 4.0)." TESOL Quarterly 27, no. 4 (1993): 774. http://dx.doi.org/10.2307/3587425.

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

McMinn, Mark R., and James D. Foster. "A Computer Program to Teach Nonsexist Language." Teaching of Psychology 18, no. 2 (April 1991): 115–17. http://dx.doi.org/10.1207/s15328023top1802_16.

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

Reps and Teitelbaum. "Language Processing in Program Editors." Computer 20, no. 11 (November 1987): 29–40. http://dx.doi.org/10.1109/mc.1987.1663414.

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

Yalcin, Hatice, and Murat Demirekin. "Training Program Supporting Language Acquisition." International Journal of Modern Education and Computer Science 13, no. 3 (June 8, 2021): 1–12. http://dx.doi.org/10.5815/ijmecs.2021.03.01.

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

Baniassad, Elisa, and Clayton Myers. "An exploration of program as language." ACM SIGPLAN Notices 44, no. 10 (October 25, 2009): 547–56. http://dx.doi.org/10.1145/1639949.1640132.

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

Underwood, John, Keith Cameron, Theo Bongaerts, Pieter de Haan, Sylvia Lobbe, and Herman Wekker. "Computer Assisted Language Learning: Program Structure and Principles." Modern Language Journal 74, no. 4 (1990): 511. http://dx.doi.org/10.2307/328534.

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

Walczyk, Jeffrey J. "A computer program for constructing language comprehension tests." Computers in Human Behavior 9, no. 1 (March 1993): 113–16. http://dx.doi.org/10.1016/0747-5632(93)90026-o.

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

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

1

Chan, Robin Isaac Man-Hang. "An Estelle-C compiler for automatic protocol implementation." Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26184.

Full text
Abstract:
Over the past few years, much experience has been gained in semi-automatic protocol implementation using an existing Estelle-C compiler developed at the University of British Columbia. However, with the continual evolution of the Estelle language, that compiler is now obsolete. The present study found substantial syntactic and semantic differences between the Estelle language as implemented by the existing compiler and that specified in the latest ISO document to warrant the construction of a new Estelle-C compiler. The result is a new compiler which translates Estelle as defined in the second version of the ISO Draft Proposal 9074 into the programming language C. The new Estelle-C compiler addresses issues such as dynamic reconfiguration of modules and maintenance of priority relationships among nested modules. A run-time environment capable of supporting the new Estelle features is also presented. The implementation strategy used in the new Estelle-C compiler is illustrated by using the alternating bit protocol found in the ISO Draft Proposal 9074 document.
Science, Faculty of
Computer Science, Department of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
2

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
3

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
4

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
5

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
6

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
7

Yessenov, Kuat T. "A lightweight specification language for bounded program verification." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 63-64).
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.
by Kuat T. Yessenov.
M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
8

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
9

Gibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.

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

Ouren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.

Full text
Abstract:
This project was created for third grade teachers who use the Houghton Mifflin Language Arts series and want to integrate computer software into their writing curriculum. The website created includes all the writing assignments that the students are to complete and the required software used to complete the assignment.
APA, Harvard, Vancouver, ISO, and other styles
More sources

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

1

Olga, Pekelny, ed. Computer language C. San Diego: Harcourt Brace Jovanovich, 1989.

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

Reid, Glenn C. PostScript language program design. Reading, Mass: Addison-Wesley, 1988.

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

Systems, Adobe, ed. PostScript language reference. 3rd ed. Reading, Mass: Addison-Wesley, 1999.

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

Inc, Apple Computer, ed. HyperCard script language guide: The HyperTalk language. Reading, Mass: Addison-Wesley, 1988.

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

Deitel, Harvey M. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.

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

1945-, Deitel Harvey M., and Deitel Abbey, eds. C: How to program. Upper Saddle River: Pearson, 2012.

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

C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.

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

Johnston, Howard. Learning to program. Englewood Cliffs, NJ: Prentice/Hall International, 1985.

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

1945-, Deitel Harvey M., and Deitel Harvey M. 1945-, eds. C++: How to program. 7th ed. Upper Saddle River, NJ: Pearson Prentice Hall, 2010.

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

1945-, Deitel Harvey M., ed. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.

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

Book chapters on the topic "Esterel (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

Berry, Gérard, and Laurent Cosserat. "The ESTEREL synchronous programming language and its mathematical semantics." In Lecture Notes in Computer Science, 389–448. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15670-4_19.

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

Richard, Martin, and Olivier Roux. "An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language." In Lecture Notes in Computer Science, 429–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55092-5_24.

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

Volpano, Dennis, and Geoffrey Smith. "Language Issues in Mobile Program Security." In Lecture Notes in Computer Science, 25–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.

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

Harf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas, and Enn Tyugu. "Automated Program Synthesis for Java Programming Language." In Lecture Notes in Computer Science, 157–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.

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

Roșu, Grigore. "From Rewriting Logic, to Programming Language Semantics, to Program Verification." In Lecture Notes in Computer Science, 598–616. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23165-5_28.

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

Kobayashi, Naoki. "Higher-Order Program Verification and Language-Based Security." In Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 17–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10622-4_2.

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

Dimock, Allyn, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, and Jeffrey Considine. "Program Representation Size in an Intermediate Language with Intersection and Union Types." In Lecture Notes in Computer Science, 27–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45332-6_2.

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

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

1

"Increasing Intrinsic Motivation of Programming Students: Towards Fix and Play Educational Games." In InSITE 2018: Informing Science + IT Education Conferences: La Verne California. Informing Science Institute, 2018. http://dx.doi.org/10.28945/3996.

Full text
Abstract:
Aim/Purpose: [This Proceedings paper was revised and published in the 2018 issue of the journal Issues in Informing Science and Information Technology, Volume 15] The objective of this research is to investigate the effectiveness of educational games on learning computer programming. In particular, we are focusing on examining whether allowing the players to manipulate the underlying code of the educational game will increase the intrinsic motivation of the programming students. Background: Traditionally, learning computer programming is considered challenging. Educational games can be used as a tool to motivate students to learn challenging subjects such as programming. Young students are fond of playing digital games. Moreover, they are also interested in creating game applications. Methodology: We created a prototype for a casual game to teach the fundamentals of conditional structures. Casual games, compared to other genres, are easy to learn and play. A number of errors were intentionally included in the game at different stages. Whenever an error is encountered, students have to stop the game and fix the bug before proceeding. In order to fix a bug, a student should understand the underlying program of the game. In this strategy, we believe that the self-esteem of the students will be built as they fix the bugs. This in turn will intrinsically motivate the students to actively engage in learning while playing. Contribution: Learning first programming language is considered very challenging. This research, investigates a novel approach to teach programming using educational games. Findings: A pilot study was conducted using the prototype to evaluate our claim. The outcome of the evaluation is encouraging. Allowing the gamers, who use educational games for learning programming, to manipulate the underlying code of the educational game will increase the intrinsic motivation of the programming students. This paper will describe the problem statement, research methodologies, preliminary results, and future directions of the research. Recommendations for Practitioners: Creating industry level educational games to teach programming will be beneficial to the society. Recommendation for Researchers: Learning first computer programming language is considered challenging. This research investigates a novel approach to teach programming. we focused on examining whether allowing the players to manipulate the underlying code of the educational game will increase the intrinsic motivation of the programming students. We used casual games for investigation. This research may be extended for other genres. Comparing this approach with other approaches such as Algorithm Animation techniques will be another potential research topic. Impact on Society: Today, digital technology plays a key role in our daily lives. Even the kids’ toys are becoming more and more digital and some of which are programmable. The future generations of students should be able to use digital technologies proficiently. In addition, they should also be able to understand and modify the underlying computer programs. Nevertheless, learning computer programming is considered challenging, and beginning students are easily frustrated and become bored. This research investigate a novel approach to alleviate this disenchantment. Future Research: In future, different types of casual games will be developed to learn different topics in computer programming, and a full scale evaluation (including objective evaluation using game scores) will be conducted. This research will follow the principles outlined in the US Department of Education’s Common Guidelines for Education and Research The reliability of the questionnaire will be measured using Cronbach’s alpha. One-way MANOVA will analyze the efficacy of the proposed intervention on the students’ performance, and their intrinsic motivation and flow experience. The sample sizes may be different. A priori analysis will be conducted to verify existence of multivariate outliers, normality condition, and homogeneity of covariance. Power and Effect size analysis will be reported
APA, Harvard, Vancouver, ISO, and other styles
2

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
3

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
4

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
5

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
6

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
7

Qin, Weida, Yinhu Wei, and Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language." In 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.

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

Dovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS." In THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.

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

Jin, Yuqiang, Yuliang Chen, Zijian Lin, and Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program." In 2nd International Conference on Electronics, Network and Computer Engineering (ICENCE 2016). Paris, France: Atlantis Press, 2016. http://dx.doi.org/10.2991/icence-16.2016.98.

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

Yu-ping Yang, Li-yan Zhang, Chun-ying Wu, and Lie Cao. "Teaching method and practice about the course of program language design in college." In 2010 2nd International Conference on Education Technology and Computer (ICETC). IEEE, 2010. http://dx.doi.org/10.1109/icetc.2010.5529385.

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

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

1

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
2

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
3

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 'Esterel (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