Gotowe bibliografie tematyczne / Formal methods (Computer science)

Gotowa bibliografia na temat „Formal methods (Computer science)”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 29 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Formal methods (Computer science)”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Formal methods (Computer science)"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Formal methods (Computer science)"

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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).

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Formal methods (Computer science)"

Wang, Jiacun, i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

1947-, Ferenczi M., Pataricza András 1954-, Rónyai Lajos i Veszprémi Akadémiai Bizottság, red. Formal methods in computing. Budapest: Akadémiai Kiadó, 2005.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

1966-, Palanque Philippe, i Paternò Fabio 1960-, red. Formal methods in human-computer interaction. London: Springer, 1998.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Formal methods (Computer science)"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Peled, Doron A. "Combining Formal Methods". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider i Siraj Ahmed Shaikh. "Formal Methods". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Formal methods (Computer science)"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chaudhari, Dipak L., i Om Damani. "Introducing Formal Methods via Program Derivation". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Santolucito, Mark, i Ruzica Piskac. "Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schmellenkamp, Marko, Alexandra Latys i Thomas Zeume. "Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Formal methods (Computer science)"

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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), wrzesień 1998. http://dx.doi.org/10.2172/314117.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!