Bibliografías temáticas / Formal methods (Computer science)

Literatura académica sobre el tema "Formal methods (Computer science)"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 29 de julio de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Índice

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Formal methods (Computer science)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Formal methods (Computer science)"

1

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "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/.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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/.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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).
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Formal methods (Computer science)"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Formal methods (Computer science)"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Formal methods (Computer science)"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Formal methods (Computer science)"

1

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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), junio de 2003. http://dx.doi.org/10.2172/15004130.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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), septiembre de 1998. http://dx.doi.org/10.2172/314117.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Formal methods (Computer science)" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía