Artykuły w czasopismach na temat „Formal methods for software engineering”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Formal methods for software engineering”.
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.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen i Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, nr 9 (wrzesień 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.
Pełny tekst źródłaAichernig, Bernhard, i Bernhard Beckert. "Software engineering and formal methods". Software & Systems Modeling 7, nr 3 (11.06.2008): 255–56. http://dx.doi.org/10.1007/s10270-008-0091-2.
Pełny tekst źródłaBarthe, Gilles, Alberto Pardo i Gerardo Schneider. "SEFM: software engineering and formal methods". Software & Systems Modeling 14, nr 1 (22.02.2014): 3–4. http://dx.doi.org/10.1007/s10270-014-0404-6.
Pełny tekst źródłaPerseil, Isabelle, i Laurent Pautet. "Formal methods integration in software engineering". Innovations in Systems and Software Engineering 6, nr 1-2 (3.02.2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.
Pełny tekst źródłaKing, Trevor. "Introduction to Formal Methods for Software Engineering". Measurement and Control 26, nr 1 (luty 1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.
Pełny tekst źródłaSchaefer, Ina, i Reiner Hahnle. "Formal Methods in Software Product Line Engineering". Computer 44, nr 2 (luty 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.
Pełny tekst źródłade Man, Josef. "Session D2: Software engineering: Formal methods I". Microprocessing and Microprogramming 24, nr 1-5 (sierpień 1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.
Pełny tekst źródłaWordsworth, John. "Education in formal methods for software engineering". Information and Software Technology 29, nr 1 (styczeń 1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.
Pełny tekst źródłaDodani, Mahesh. "Formal methods for object-oriented software engineering". Annals of Software Engineering 2, nr 1 (grudzień 1996): 121–60. http://dx.doi.org/10.1007/bf02063808.
Pełny tekst źródłaLiu, Shaoying. "Formal engineering methods for software quality assurance". Frontiers of Computer Science 6, nr 1 (27.01.2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.
Pełny tekst źródłaWang, Taehyung, Astushi Kitazawa i Phillip Sheu. "Semantic software engineering". Encyclopedia with Semantic Computing and Robotic Intelligence 01, nr 01 (marzec 2017): 1630012. http://dx.doi.org/10.1142/s2425038416300123.
Pełny tekst źródłaMaibaum, Tom. "Formal methods versus engineering". ACM SIGCSE Bulletin 41, nr 2 (25.06.2009): 6–12. http://dx.doi.org/10.1145/1595453.1595455.
Pełny tekst źródłaMartin, John C. "Formal methods software engineering for the CARA system". International Journal on Software Tools for Technology Transfer (STTT) 5, nr 4 (1.05.2004): 301–7. http://dx.doi.org/10.1007/s10009-003-0113-x.
Pełny tekst źródłaBeckert, Bernhard, Tony Hoare, Reiner Hahnle, Douglas Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball i Sriram Rajamani. "Intelligent Systems and Formal Methods in Software Engineering". IEEE Intelligent Systems 21, nr 6 (listopad 2006): 71–81. http://dx.doi.org/10.1109/mis.2006.117.
Pełny tekst źródłaTremblay, 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łaNowotka, Dirk. "Formal add to traditional methods in software engineering". ATZelektronik worldwide 3, nr 4 (lipiec 2008): 14–17. http://dx.doi.org/10.1007/bf03242180.
Pełny tekst źródłaÖlveczky, Peter Csaba, i Gwen Salaün. "Software engineering and formal methods: SEFM 2019 special section". Software and Systems Modeling 20, nr 2 (12.03.2021): 291–92. http://dx.doi.org/10.1007/s10270-021-00874-1.
Pełny tekst źródłaDavis, James F. "The affordable application of formal methods to software engineering". ACM SIGAda Ada Letters XXV, nr 4 (17.11.2005): 57–62. http://dx.doi.org/10.1145/1104011.1103855.
Pełny tekst źródłaLiu, Shaoying, Kazuhiro Takahashi, Toshinori Hayashi i Toshihiro Nakayama. "Teaching formal methods in the context of software engineering". ACM SIGCSE Bulletin 41, nr 2 (25.06.2009): 17–23. http://dx.doi.org/10.1145/1595453.1595457.
Pełny tekst źródłaCuellar, Jorge, i Zhiming Liu. "SoSyM Special Section on Software Engineering and Formal Methods". Software & Systems Modeling 6, nr 1 (17.06.2006): 37–38. http://dx.doi.org/10.1007/s10270-006-0010-3.
Pełny tekst źródłaJasser, Muhammed Basheer. "A Survey on Refinement in Formal Methods and Software Engineering". International Journal of Advanced Trends in Computer Science and Engineering 8, nr 1.4 (15.09.2019): 105–12. http://dx.doi.org/10.30534/ijatcse/2019/1681.42019.
Pełny tekst źródłaTierney, Margaret. "Software engineering standards: the ‘formal methods debate’ in the uk". Technology Analysis & Strategic Management 4, nr 3 (styczeń 1992): 245–78. http://dx.doi.org/10.1080/09537329208524097.
Pełny tekst źródłaSobel, Ann E. Kelley. "Empirical results of a software engineering curriculum incorporating formal methods". ACM SIGCSE Bulletin 32, nr 1 (marzec 2000): 157–61. http://dx.doi.org/10.1145/331795.331846.
Pełny tekst źródłaWARD, M. P., i K. H. BENNETT. "FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE". International Journal of Software Engineering and Knowledge Engineering 05, nr 01 (marzec 1995): 25–47. http://dx.doi.org/10.1142/s0218194095000034.
Pełny tekst źródłaMolnar, B. "Software development with Z: a practical approach to formal methods in software engineering". Information and Software Technology 34, nr 11 (listopad 1992): 763. http://dx.doi.org/10.1016/0950-5849(92)90171-k.
Pełny tekst źródłaBaugh, J. W. "Using formal methods to specify the functional properties of engineering software". Computers & Structures 45, nr 3 (październik 1992): 557–70. http://dx.doi.org/10.1016/0045-7949(92)90440-b.
Pełny tekst źródłaBravetti, Mario, Robert M. Hierons i Mercedes G. Merayo. "Introduction to the Software Engineering and Formal Methods 2013 special issue". Software & Systems Modeling 16, nr 1 (7.05.2015): 5–6. http://dx.doi.org/10.1007/s10270-015-0467-z.
Pełny tekst źródłaSelvaraj, Yuvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt i Martin Fabian. "Automatically Learning Formal Models from Autonomous Driving Software". Electronics 11, nr 4 (18.02.2022): 643. http://dx.doi.org/10.3390/electronics11040643.
Pełny tekst źródłaBolton, Matthew L. "Novel Developments in Formal Methods for Human Factors Engineering". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, nr 1 (wrzesień 2017): 715–17. http://dx.doi.org/10.1177/1541931213601664.
Pełny tekst źródłaKRÄMER, BERND J., i TIZIANA MARGARIA. "A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING". International Journal of Semantic Computing 03, nr 01 (marzec 2009): 5–30. http://dx.doi.org/10.1142/s1793351x09000641.
Pełny tekst źródłaGruner, Stefan, i Bernhard Rumpe. "FormSERA workshop on formal methods in software engineering rigorous and agile approaches". ACM SIGSOFT Software Engineering Notes 37, nr 6 (27.11.2012): 28–30. http://dx.doi.org/10.1145/2382756.2382777.
Pełny tekst źródłaDauphin, Michel. "SPECS: Formal methods and techniques for telecommunications software development". Microprocessing and Microprogramming 35, nr 1-5 (wrzesień 1992): 117–24. http://dx.doi.org/10.1016/0165-6074(92)90304-p.
Pełny tekst źródłaAbbate, A. J., i E. J. Bass. "A formal methods approach to semiotic engineering". International Journal of Human-Computer Studies 115 (lipiec 2018): 20–39. http://dx.doi.org/10.1016/j.ijhcs.2018.02.001.
Pełny tekst źródłaGANNOD, GERALD C., i BETTY H. C. CHENG. "FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS". International Journal of Software Engineering and Knowledge Engineering 04, nr 02 (czerwiec 1994): 183–204. http://dx.doi.org/10.1142/s0218194094000106.
Pełny tekst źródłaPlat, Nico, Jan van Katwijk i Hans Toetenel. "Application and benefits of formal methods in software development". Software Engineering Journal 7, nr 5 (1992): 335. http://dx.doi.org/10.1049/sej.1992.0034.
Pełny tekst źródłaJohnson, Timothy L. "Improving automation software dependability: A role for formal methods?" Control Engineering Practice 15, nr 11 (listopad 2007): 1403–15. http://dx.doi.org/10.1016/j.conengprac.2006.07.005.
Pełny tekst źródłaSantone, Antonella. "Special issue on formal methods for security engineering". Journal of Computer Virology and Hacking Techniques 14, nr 4 (11.09.2018): 251. http://dx.doi.org/10.1007/s11416-018-0326-x.
Pełny tekst źródłaPeña, Joaquin, Christopher A. Rouff, Mike Hinchey i Antonio Ruiz-Cortés. "Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods". Software & Systems Modeling 10, nr 1 (9.10.2009): 55–62. http://dx.doi.org/10.1007/s10270-009-0135-2.
Pełny tekst źródłaBatory, Don. "Foreword to the Special Issue on Formal Methods for Software Product Line Engineering". Journal of Logical and Algebraic Methods in Programming 85, nr 1 (styczeń 2016): 121–22. http://dx.doi.org/10.1016/j.jlamp.2015.09.007.
Pełny tekst źródłaThomas, Martyn. "The role of formal methods in achieving dependable software". Reliability Engineering & System Safety 43, nr 2 (styczeń 1994): 129–34. http://dx.doi.org/10.1016/0951-8320(94)90058-2.
Pełny tekst źródłaGleirscher, Mario, i Diego Marmsoler. "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America". Empirical Software Engineering 25, nr 6 (9.09.2020): 4473–546. http://dx.doi.org/10.1007/s10664-020-09836-5.
Pełny tekst źródłaFukuzaki, Tetsuo, Shaoying Liu i Michael Butler. "DevFemOps: enhancing maintainability based on microservices using formal engineering methods". Connection Science 34, nr 1 (8.08.2022): 2125–38. http://dx.doi.org/10.1080/09540091.2022.2099347.
Pełny tekst źródłaKordon, F., i L. Petrucci. "Toward Formal-Methods Oecumenism?" IEEE Distributed Systems Online 7, nr 7 (lipiec 2006): 2. http://dx.doi.org/10.1109/mdso.2006.47.
Pełny tekst źródłaLi, Shao Feng. "A Study on Network Protocol Validation Based on Timed Automata". Applied Mechanics and Materials 543-547 (marzec 2014): 3386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3386.
Pełny tekst źródłater Beek, Maurice H., Dave Clarke i Ina Schaefer. "Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering". Journal of Logical and Algebraic Methods in Programming 85, nr 1 (styczeń 2016): 123–24. http://dx.doi.org/10.1016/j.jlamp.2015.09.006.
Pełny tekst źródłaStriuk, Andrii. "Formation of software design skills among software engineering students". Educational Dimension 58 (15.06.2022): 1–21. http://dx.doi.org/10.31812/educdim.4519.
Pełny tekst źródłaBloomfield, R. E., P. K. D. Froome i B. Q. Monahan. "Formal methods in the production and assessment of safety critical software". Reliability Engineering & System Safety 32, nr 1-2 (styczeń 1991): 51–66. http://dx.doi.org/10.1016/0951-8320(91)90047-b.
Pełny tekst źródłaFisher, Kathleen, John Launchbury i Raymond Richards. "The HACMS program: using formal methods to eliminate exploitable bugs". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375, nr 2104 (4.09.2017): 20150401. http://dx.doi.org/10.1098/rsta.2015.0401.
Pełny tekst źródłaMadhuri, K., M. Suman, M. Nalini Sri, K. Ravi Kumar i U. Jyothi Kameswari. "A Systematic Approach to Generate and Conduct Destructive Security Test Sets". Advanced Materials Research 403-408 (listopad 2011): 4495–98. http://dx.doi.org/10.4028/www.scientific.net/amr.403-408.4495.
Pełny tekst źródłaHE, XUDONG. "A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING". International Journal of Software Engineering and Knowledge Engineering 23, nr 05 (czerwiec 2013): 589–625. http://dx.doi.org/10.1142/s021819401340010x.
Pełny tekst źródła