Relevant bibliographies by topics / Formal methods (Computer science)

Contents

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

Academic literature on the topic 'Formal methods (Computer science)'

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

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 'Formal methods (Computer science).'

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 "Formal methods (Computer science)"

1

Tremblay, G. "Formal methods: mathematics, computer science or software engineering?" IEEE Transactions on Education 43, no. 4 (2000): 377–82. http://dx.doi.org/10.1109/13.883345.

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

Sergienko, I. V., I. N. Parasyuk, and A. I. Provotar. "Formal methods in computer technologies." Cybernetics and Systems Analysis 34, no. 4 (July 1998): 609–15. http://dx.doi.org/10.1007/bf02667006.

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

Berry, Daniel M. "Formal Methods:." Electronic Notes in Theoretical Computer Science 25 (1999): 10–22. http://dx.doi.org/10.1016/s1571-0661(04)00127-6.

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

Skevoulis, Sotiris, and Maria Falidas. "Integrating formal methods tools into undergraduate computer science curriculum." ACM SIGCSE Bulletin 34, no. 3 (September 2002): 232. http://dx.doi.org/10.1145/637610.544500.

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

Fung, P., T. O'Shea, D. Goldson, S. Reeves, and R. Bornat. "Computer science students perceptions of learning formal reasoning methods." International Journal of Mathematical Education in Science and Technology 24, no. 5 (September 1993): 749–59. http://dx.doi.org/10.1080/0020739930240516.

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

Walker, Henry M., H. Conrad Cunningham, Ruth Davis, and Douglas Troeger. "Formal methods in the undergraduate computer science curriculum (abstract)." ACM SIGCSE Bulletin 27, no. 1 (March 15, 1995): 398–99. http://dx.doi.org/10.1145/199691.199899.

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

Polak, Wolfgang. "Formal Methods in Practice." Electronic Notes in Theoretical Computer Science 25 (1999): 62–72. http://dx.doi.org/10.1016/s1571-0661(04)00132-x.

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

BESTAVROS, AZER, ASSAF KFOURY, and ANDREI LAPETS. "Postlude: seamless composition and integration – a perspective on formal methods research." Mathematical Structures in Computer Science 23, no. 4 (July 8, 2013): 934–43. http://dx.doi.org/10.1017/s0960129512000072.

Full text
Abstract:
Have formal methods in computer science come of age? While the contributions to this special issue of Mathematical Structures in Computer Science attest to their importance in the design and analysis of particular software systems, their relevance to the field as a whole is far wider. In recent years, formal methods have become more accessible and easier to use, more directly related to practical problems and more adaptable to imperfect and/or approximate specifications in real-life applications. As a result, they are now a central component of computer-science education and research.
APA, Harvard, Vancouver, ISO, and other styles
9

Parnas, David Lorge. "Really Rethinking 'Formal Methods'." Computer 43, no. 1 (January 2010): 28–34. http://dx.doi.org/10.1109/mc.2010.22.

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

Moller, F. G. "Formal Methods in Computation." Computer Journal 45, no. 1 (January 1, 2002): 1. http://dx.doi.org/10.1093/comjnl/45.1.1.

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

Dissertations / Theses on the topic "Formal methods (Computer science)"

1

Tran, Sang Cong. "Applications of formal methods in engineering." Thesis, University of Warwick, 1991. http://wrap.warwick.ac.uk/60452/.

Full text
Abstract:
The main idea presented in this thesis is to propose and justify a general framework for the development of safety-related systems based on a selection of criticality and the required level of integrity. We show that formal methods can be practically and consistently introduced into the system design lifecycle without incurring excessive development cost. An insight into the process of generating and validating a formal specification from an engineering point of view is illustrated, in conjunction with formal definitions of specification models, safety criteria and risk assessments. Engineering specifications are classified into two main classes of systems, memoryless and memory bearing systems. Heuristic approaches for specification generation and validation of these systems are presented and discussed with a brief summary of currently available formal systems and their supporting tools. It is further shown that to efficiently address different aspects of real-world problems, the concept of embedding one logic within another mechanised logic, in order to provide mechanical support for proofs and reasoning, is practical. A temporal logic framework, which is embedded in Higher Order Logic, is used to verify and validate the design of a real-time system. Formal definitions and properties of temporal operators are defined in HOL and real-time concepts such as timing marker, interrupt and timeout are presented. A second major case study is presented on the specification a solid model for mechanical parts. This work discusses the modelling theory with set theoretic topology and Boolean operations. The theory is used to specify the mechanical properties of large distribution transformers. Associated mechanical properties such as volumetric operations are also discussed.
APA, Harvard, Vancouver, ISO, and other styles
2

Yao, Yow-Wei. "Formal methods for protocol conversion /." The Ohio State University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251.

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

Lu, Yueping. "On the formal methods for protocol conformance testing." Thesis, University of Ottawa (Canada), 1990. http://hdl.handle.net/10393/5824.

Full text
Abstract:
The use of formal methods allows automated generation and optimization of test sequences. Developing formal methods for generating communications protocol conformance tests has drawn considerable attention in recent years. This thesis describes the implementation of five formal methods of protocol conformance test sequence generation proposed in the literature. These methods are: Transition tour (T) method, Distinguishing sequence (D) method, Characterizing sequence (W) method, Unique Input/Output sequence (UIO) method and Multiple UIO-method. Some related graph theoretic optimization techniques for the Chinese Postman Problem (CPP) and Rural Chinese Postman Problem (RCPP) are applied to T-method and UIO-method respectively to determine minimum-cost test sequences. It is shown in this thesis that the solution to the RCPP can also be applied to D-method and W-method to derive minimum-cost test sequences. The application of five formal methods to a real protocol, Transport protocol class 4, is then discussed.
APA, Harvard, Vancouver, ISO, and other styles
4

Ibrahim, Rosziati. "Formal methods applied to component-based systems." Thesis, Queensland University of Technology, 2000.

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

Trafford, Paul Joseph. "The use of formal methods for safety-critical systems." Thesis, Kingston University, 1997. http://eprints.kingston.ac.uk/20609/.

Full text
Abstract:
An investigation is presented into the use of formal methods for the production of safety-critical systems with embedded software. New theory and procedures are tested on an industrial case study, the formal specification and refinement of a communications protocol for medical devices (the Universal Flexport protocol [copyright]). On reviewing the current literature, a strong case emerges for grounding any work within an overall perspective that integrates the experience of safety engineering and the correctness of formal methods. Such a basis, it is argued, is necessary for an effective contribution to the delivery with assurance of life-critical software components. Hence, a safety-oriented framework is proposed which facilitates a natural flow from safety analysis of the entire system through to formal requirements, design, verification and validation for a software model undergoing refinement towards implementation. This framework takes a standard safety lifecycle model and considers where and how formal methods can play apart, resulting in procedures which emphasise the activities most amenable to formal input. Next, details of the framework are instantiated, based upon the provision of a common formal semantics to represent both the safety analysis and software models. A procedure, FTBuild, is provided for deriving formal requirements as part of the process of generating formalised fault trees. Work is then presented on establishing relations between formalised fault trees and models, extending results of other authors. Also given are some notions of (property) conformance with respect to the given requirements. The formal approach itself is supported by the enhancement of the theory of con-formance testing that has been developed for communication systems. The basis of this work is the detailed integration of already established theories: a testing system for process algebra (the Experimental System due to Hennessy and de Nicola) and a more general observation framework (developed by the LOTOSphere consortium). Notions of conformance and robustness are then examined in the context of refinement for the process algebra, (Basic) LOTOS, resulting in the adoption of the commonly accepted 'reduction' relation for which a proof is given that it is testable. Then a new algorithm is developed for a single (canonical) tester for reduction, which is unified in that it tests simultaneously for both con-formance and robustness. It also allows, in certain cases, a straightforward implementation as a Full LOTOS process with the ability to give some diagnostics in the case of failure. The text is supported by examples and some guidelines for use. Finally, having established these foundations, the methodology is demonstrated on the Flexport protocol through two iterations of FTBuild which demonstrate how the activities of specification, safety analysis, validation and refinement are all brought together.
APA, Harvard, Vancouver, ISO, and other styles
6

Joochim, Tossaporn. "Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS." Thesis, University of Southampton, 2010. https://eprints.soton.ac.uk/72396/.

Full text
Abstract:
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification. In order to extend the ability to model graphically requirements for the real-time domain, where timing constraints are essential, we use Timing diagrams for Event-B, UML-B and Knowledge Acquisition in autOmated Specification (KAOS). The Timing diagrams, based on UML 2.0 Timing diagram notation (OMG, 2007), provide an intuitive graphical specification capability for timing constraints and causal dependencies between system events. Translation schemes to Event-B, UML-B and KAOS are proposed and presented. The benefit of our contribution is providing a graphical option to generate timing constraints and causal dependencies of a reactive system to Event-B, UML-B and KAOS Goals. Thus, instead of manually generating these Event-B, UML-B and KAOS Goal models in a textual form, users can use the TD as a graphical front-end, and these target models are created automatically. We compare the three applications of the Timing diagrams in terms of their contribution to formal requirements engineering. A partial case study of a Lift System is used to demonstrate the translation in practice.
APA, Harvard, Vancouver, ISO, and other styles
7

Kim, Soon-Kyeong. "A metamodel-based approach to integrate object-oriented graphical and formal specification techniques /." St. Lucia, Qld, 2001. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe16467.pdf.

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

Topintzi, Ermioni. "System concepts and formal modelling methods for business processes." Thesis, City University London, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.390937.

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

Powell, John D. "A graph theoretic approach to assessing tradeoffs on memory usage for model checking." Morgantown, W. Va. : [West Virginia University Libraries], 2000. http://etd.wvu.edu/templates/showETD.cfm?recnum=1355.

Full text
Abstract:
Thesis (M.S.)--West Virginia University, 2000.
Title from document title page. Document formatted into pages; contains vii, 167 p. : ill. Includes abstract. Includes bibliographical references (p. 107-109).
APA, Harvard, Vancouver, ISO, and other styles
10

Seotsanyana, Motlatsi. "Formal specification and verification of safety interlock systems : a comparative case study /." Thesis, Link to the online version, 2007. http://hdl.handle.net/10019/710.

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

Books on the topic "Formal methods (Computer science)"

1

Wang, Jiacun, and William Tepfenhart. Formal Methods in Computer Science. Boca Raton : Taylor & Francis, a CRC title, part of the Taylor & Francis imprint, a member of the Taylor & Francis Group, the academic division of T&F Informa, plc, 2019.: Chapman and Hall/CRC, 2019. http://dx.doi.org/10.1201/9780429184185.

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

1947-, Ferenczi M., Pataricza András 1954-, Rónyai Lajos, and Veszprémi Akadémiai Bizottság, eds. Formal methods in computing. Budapest: Akadémiai Kiadó, 2005.

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

D, Harrison M., and Thimbleby Harold, eds. Formal methods in human-computer interaction. Cambridge: Cambridge University Press, 1990.

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

1969-, Hinchey Michael G., and Bowen J. P. 1956-, eds. Applications of formal methods. London: Prentice Hall, 1995.

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

Araki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.

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

1966-, Palanque Philippe, and Paternò Fabio 1960-, eds. Formal methods in human-computer interaction. London: Springer, 1998.

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

South-East European Workshop on Formal Methods (4th 2009 Thessaloniki, Greece). Proceedings: 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Services, Formal Methods for Agent-Based Systems, 4-5 December 2009, Thessaloniki, Greece. Los Alamitos, Calif: IEEE Computer Society, 2009.

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

Gnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.

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

Gnesi, Stefania. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley & Sons Inc., 2012.

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

Z: An introduction to formal methods. Chichester [England]: J. Wiley, 1990.

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

Book chapters on the topic "Formal methods (Computer science)"

1

O’Regan, Gerard. "Formal Methods." In Texts in Computer Science, 299–318. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44561-8_18.

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

O’Regan, Gerard. "Formal Methods." In Texts in Computer Science, 327–45. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81588-2_20.

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

O’Regan, Gerard. "Formal Methods." In Undergraduate Topics in Computer Science, 271–93. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-07816-3_16.

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

O’Regan, Gerard. "Formal Methods." In Undergraduate Topics in Computer Science, 185–207. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57750-0_12.

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

Peled, Doron A. "Combining Formal Methods." In Texts in Computer Science, 279–98. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3540-6_10.

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

Moller, Faron, and Liam O’Reilly. "Teaching Discrete Mathematics to Computer Science Students." In Formal Methods Teaching, 150–64. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32441-4_10.

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

Jackson, Daniel. "Lightweight Formal Methods." In Lecture Notes in Computer Science, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45251-6_1.

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

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. "Formal Methods." In Texts in Theoretical Computer Science. An EATCS Series, 1–46. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-38800-3_1.

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

Vickers, Steve. "Geometric Logic in Computer Science." In Theory and Formal Methods 1993, 37–54. London: Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3503-6_4.

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

O’Regan, Gerard. "Overview of Formal Methods." In Texts in Computer Science, 255–76. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-26212-8_16.

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

Conference papers on the topic "Formal methods (Computer science)"

1

Joyce, Dan. "Session details: Formal methods." In ITiCSE05: Innovation and Technology in Computer Science Education. New York, NY, USA: ACM, 2005. http://dx.doi.org/10.1145/3246173.

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

Skevoulis, Sotiris, and Vladimir Makarov. "Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum." In Proceedings. Frontiers in Education. 36th Annual Conference. IEEE, 2006. http://dx.doi.org/10.1109/fie.2006.322570.

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

Walker, Henry M., H. Conrad Cunningham, Ruth Davis, and Douglas Troeger. "Formal methods in the undergraduate computer science curriculum (abstract)." In the twenty-sixth SIGCSE technical symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/199688.199899.

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

Skevoulis, Sotiris, and Maria Falidas. "Integrating formal methods tools into undergraduate computer science curriculum." In the 7th annual conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/544414.544500.

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

Chaudhari, Dipak L., and Om Damani. "Introducing Formal Methods via Program Derivation." In ITICSE '15: Innovation and Technology in Computer Science Education Conference 2015. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2729094.2742628.

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

Duke, Roger. "The design of an experiential component for a formal methods computer science subject." In the first Australasian conference. New York, New York, USA: ACM Press, 1996. http://dx.doi.org/10.1145/369585.369602.

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

Yu, Jun, and Zhi-yi Hu. "Using Formal Methods to Design a Class Scheduling System." In 2008 International Conference on Computer Science and Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/csse.2008.804.

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

Subburaj, Vinitha Hannah, and Joseph E. Urban. "Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems." In 2018 Federated Conference on Computer Science and Information Systems. IEEE, 2018. http://dx.doi.org/10.15439/2018f262.

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

Santolucito, Mark, and Ruzica Piskac. "Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers." In SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3328778.3366957.

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

Schmellenkamp, Marko, Alexandra Latys, and Thomas Zeume. "Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems." In SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education. New York, NY, USA: ACM, 2023. http://dx.doi.org/10.1145/3545945.3569806.

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

Reports on the topic "Formal methods (Computer science)"

1

Proskura, Svitlana L., and Svitlana H. Lytvynova. The approaches to Web-based education of computer science bachelors in higher education institutions. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3892.

Full text
Abstract:
The problem of organizing of Web-based education of bachelors, and the bachelors of computer science in particular, is relevant for higher education institutions. The IT industry puts forward new requirements for future IT professionals training. This, in its turn, requires the educational process modernization: content specification, updating of forms, methods and means of training to meet the demands of socio-economic development of the society in general and bachelors of computer science in particular. The article analyzes and clarifies the notion of Web-based education of bachelors; as well as a line of approaches, such as approaches to the organization of Web-based learning for A La Carte, Station Rotation, Lab Rotation, Individual Rotation, Flipped Learning scenario; the necessity of cloud computing and virtual classroom use as a component of Web-based learning is substantiated. It is established that with the advent of a large number of cloud-based services, augmented and virtual realities, new conditions are created for the development of skills to work with innovative systems. It is noted that the implementation of the approaches to the organization of student Web-based education is carried out on international level, in such projects as Erasmus+ “Curriculum for Blended Learning” and “Blended learning courses for teacher educators between Asia and Europe”. The article features the results of programming students survey on the use of Web-based technologies while learning, namely the results of a new approach to learning organization according to the formula – traditional (30%), distance (50%) and project (20%) training.
APA, Harvard, Vancouver, ISO, and other styles
2

Velychko, Vladyslav Ye, Elena H. Fedorenko, and Darja A. Kassim. Conceptual Bases of Use of Free Software in the Professional Training of Pre-Service Teacher of Mathematics, Physics and Computer Science. [б. в.], November 2018. http://dx.doi.org/10.31812/123456789/2667.

Full text
Abstract:
The development of education is associated primarily with the use of ICT. A significant experience is already gained in how to use educational computer systems while new forms and methods of learning based on modern information technology are being developed and used. In relation to free software, a period when the quantity should translate into quality and an indicator of such translation is development of the concept of the introduction of free software in educational activities of universities. The proposed concept, let’s take Ukraine as an example, determines the main aim of introduction of free software in the training of pre-service of Mathematics, Physics and Computer Science; defines the objectives, measures, principles, the role and value of free software in the informatization process and results of its implementation.
APA, Harvard, Vancouver, ISO, and other styles
3

Heimdahl, Mats P., and Constance L. Heitmeyer. Formal Methods for Developing High Assurance Computer Systems: Working Group Report. Fort Belvoir, VA: Defense Technical Information Center, January 1998. http://dx.doi.org/10.21236/ada464973.

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

Dantzig, George B., and Richard W. Cottle. Mathematical Methods in Operations Research and Computer Science. Fort Belvoir, VA: Defense Technical Information Center, June 1992. http://dx.doi.org/10.21236/ada254782.

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

Luqi. Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,. Fort Belvoir, VA: Defense Technical Information Center, September 1995. http://dx.doi.org/10.21236/ada310438.

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

Shamonia, Volodymyr H., Olena V. Semenikhina, Volodymyr V. Proshkin, Olha V. Lebid, Serhii Ya Kharchenko, and Oksana S. Lytvyn. Using the Proteus virtual environment to train future IT professionals. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3760.

Full text
Abstract:
Based on literature review it was established that the use of augmented reality as an innovative technology of student training occurs in following directions: 3D image rendering; recognition and marking of real objects; interaction of a virtual object with a person in real time. The main advantages of using AR and VR in the educational process are highlighted: clarity, ability to simulate processes and phenomena, integration of educational disciplines, building an open education system, increasing motivation for learning, etc. It has been found that in the field of physical process modelling the Proteus Physics Laboratory is a popular example of augmented reality. Using the Proteus environment allows to visualize the functioning of the functional nodes of the computing system at the micro level. This is especially important for programming systems with limited resources, such as microcontrollers in the process of training future IT professionals. Experiment took place at Borys Grinchenko Kyiv University and Sumy State Pedagogical University named after A. S. Makarenko with students majoring in Computer Science (field of knowledge is Secondary Education (Informatics)). It was found that computer modelling has a positive effect on mastering the basics of microelectronics. The ways of further scientific researches for grounding, development and experimental verification of forms, methods and augmented reality, and can be used in the professional training of future IT specialists are outlined in the article.
APA, Harvard, Vancouver, ISO, and other styles
7

Cottom, T. Investigate Methods to Decrease Compilation Time-AX-Program Code Group Computer Science R& D Project. Office of Scientific and Technical Information (OSTI), June 2003. http://dx.doi.org/10.2172/15004130.

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

Oleksiuk, Vasyl P., and Olesia R. Oleksiuk. Methodology of teaching cloud technologies to future computer science teachers. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3891.

Full text
Abstract:
The article deals with the problem of training future computer science teachers for the use of cloud technologies. The authors analyzed courses from leading universities to study cloud technologies. On this basis the model of application and studying of cloud technologies in the process of training of future teachers of informatics was developed. The basic principles of this model are proposed: systematic, gradual, continuous. It contains target, content, operating and effective component. Therefore, the stages of using cloud computing technology were proposed: as a means of organizing learning activities, as an object of study, as a means of development. The article summarizes the experience of designing a cloud-based learning environment (CBLE). The model is based on such philosophical and pedagogical approaches as systemic, competent, activity, personality-oriented, synergistic. Hybrid cloud is the most appropriate model for this environment. It combines public and private cloud platforms. CBLE also requires the integration of cloud and traditional learning tools. The authors described the most appropriate teaching methods for cloud technologies such as classroom learning, interactive and e-learning, practical methods. The article contains many examples of how to apply the proposed methodology in a real learning process.
APA, Harvard, Vancouver, ISO, and other styles
9

Silbar, R. R. A computer-based ``laboratory`` course in mathematical methods for science and engineering: The Legendre Polynomials module. Final report. Office of Scientific and Technical Information (OSTI), September 1998. http://dx.doi.org/10.2172/314117.

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

Olefirenko, Nadiia V., Ilona I. Kostikova, Nataliia O. Ponomarova, Kateryna O. Lebedieva, Vira M. Andriievska, and Andrey V. Pikilnyak. Training elementary school teachers-to-be at Computer Science lessons to evaluate e-tools. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3890.

Full text
Abstract:
The study purpose is to develop methodological support for students’ training for evaluation e-tools for young learners and to check its effectiveness experimentally. The module “Expert evaluation of the quality of e-tools for young learners” is offered for teachers-to-be. The determination of the weighting factor of each criterion by expert evaluations was organized. Educational principles, correlation e-tool content with the curriculum, interactivity, multimedia, assistance system, ergonomic requirements are mentioned. On the basis of the criterion rank, the significance of each criterion was calculated. The indicators to determine the level of preliminary expert evaluations of e-tools are proposed. The results are calculated with nonparametric methods of mathematical statistics, in particular, Pearson’s criterion χ2. The conclusion is the expert evaluation has different activity stages, gradually becoming a common phenomenon. Training teachers-to-be for e-tool expert evaluation at Computer Science, Mathematics, English is a complex process.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal methods (Computer science)' 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