Bibliografie tematiche / Formal methods (Computer science)

Letteratura scientifica selezionata sul tema "Formal methods (Computer science)"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 29 luglio 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Formal methods (Computer science)".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Formal methods (Computer science)"

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Formal methods (Computer science)"

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Formal methods (Computer science)"

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

D, Harrison M., e Thimbleby Harold, a cura di. Formal methods in human-computer interaction. Cambridge: Cambridge University Press, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

1969-, Hinchey Michael G., e Bowen J. P. 1956-, a cura di. Applications of formal methods. London: Prentice Hall, 1995.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

1966-, Palanque Philippe, e Paternò Fabio 1960-, a cura di. Formal methods in human-computer interaction. London: Springer, 1998.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Formal methods (Computer science)"

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Moller, Faron, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Roggenbach, Markus, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Formal methods (Computer science)"

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Skevoulis, Sotiris, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Walker, Henry M., H. Conrad Cunningham, Ruth Davis e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Skevoulis, Sotiris, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Chaudhari, Dipak L., e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Yu, Jun, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Subburaj, Vinitha Hannah, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Santolucito, Mark, e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Schmellenkamp, Marko, Alexandra Latys e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Formal methods (Computer science)"

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!