Relevant bibliographies by topics / Formal methods (Computer science)

Contents

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

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

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

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal methods (Computer science).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formal methods (Computer science)"

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1

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

Full text
Abstract:
The main idea presented in this thesis is to propose and justify a general framework for the development of safety-related systems based on a selection of criticality and the required level of integrity. We show that formal methods can be practically and consistently introduced into the system design lifecycle without incurring excessive development cost. An insight into the process of generating and validating a formal specification from an engineering point of view is illustrated, in conjunction with formal definitions of specification models, safety criteria and risk assessments. Engineerin
APA, Harvard, Vancouver, ISO, and other styles
2

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

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

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

Full text
Abstract:
The use of formal methods allows automated generation and optimization of test sequences. Developing formal methods for generating communications protocol conformance tests has drawn considerable attention in recent years. This thesis describes the implementation of five formal methods of protocol conformance test sequence generation proposed in the literature. These methods are: Transition tour (T) method, Distinguishing sequence (D) method, Characterizing sequence (W) method, Unique Input/Output sequence (UIO) method and Multiple UIO-method. Some related graph theoretic optimization techniqu
APA, Harvard, Vancouver, ISO, and other styles
4

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

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

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

Full text
Abstract:
An investigation is presented into the use of formal methods for the production of safety-critical systems with embedded software. New theory and procedures are tested on an industrial case study, the formal specification and refinement of a communications protocol for medical devices (the Universal Flexport protocol [copyright]). On reviewing the current literature, a strong case emerges for grounding any work within an overall perspective that integrates the experience of safety engineering and the correctness of formal methods. Such a basis, it is argued, is necessary for an effective contr
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification. In order to extend the ability to model graphically requirements for the real-time domain, where timing constraints are essential, we use Timing diagrams for Event-B, UML-B and Knowledge Acquisition in autOmated Specification (KAOS). The Timing diagrams, based on UML 2.0 Timing diagram notation (OMG, 2007), provide an intuitive graphical specification capability for timing constraints and causal
APA, Harvard, Vancouver, ISO, and other styles
7

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

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

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

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

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

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

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

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

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

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1

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

Full text
Abstract:
The problem of organizing of Web-based education of bachelors, and the bachelors of computer science in particular, is relevant for higher education institutions. The IT industry puts forward new requirements for future IT professionals training. This, in its turn, requires the educational process modernization: content specification, updating of forms, methods and means of training to meet the demands of socio-economic development of the society in general and bachelors of computer science in particular. The article analyzes and clarifies the notion of Web-based education of bachelors; as wel
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
The development of education is associated primarily with the use of ICT. A significant experience is already gained in how to use educational computer systems while new forms and methods of learning based on modern information technology are being developed and used. In relation to free software, a period when the quantity should translate into quality and an indicator of such translation is development of the concept of the introduction of free software in educational activities of universities. The proposed concept, let’s take Ukraine as an example, determines the main aim of introduction o
APA, Harvard, Vancouver, ISO, and other styles
3

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

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

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

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

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

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

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

Full text
Abstract:
Based on literature review it was established that the use of augmented reality as an innovative technology of student training occurs in following directions: 3D image rendering; recognition and marking of real objects; interaction of a virtual object with a person in real time. The main advantages of using AR and VR in the educational process are highlighted: clarity, ability to simulate processes and phenomena, integration of educational disciplines, building an open education system, increasing motivation for learning, etc. It has been found that in the field of physical process modelling
APA, Harvard, Vancouver, ISO, and other styles
7

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

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

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

Full text
Abstract:
The article deals with the problem of training future computer science teachers for the use of cloud technologies. The authors analyzed courses from leading universities to study cloud technologies. On this basis the model of application and studying of cloud technologies in the process of training of future teachers of informatics was developed. The basic principles of this model are proposed: systematic, gradual, continuous. It contains target, content, operating and effective component. Therefore, the stages of using cloud computing technology were proposed: as a means of organizing learnin
APA, Harvard, Vancouver, ISO, and other styles
9

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

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

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

Full text
Abstract:
The study purpose is to develop methodological support for students’ training for evaluation e-tools for young learners and to check its effectiveness experimentally. The module “Expert evaluation of the quality of e-tools for young learners” is offered for teachers-to-be. The determination of the weighting factor of each criterion by expert evaluations was organized. Educational principles, correlation e-tool content with the curriculum, interactivity, multimedia, assistance system, ergonomic requirements are mentioned. On the basis of the criterion rank, the significance of each criterion wa
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal methods (Computer science)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography