Artigos de revistas sobre o tema "Formal methods for software engineering"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Formal methods for software engineering".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Hinchey, Mike, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen e Tiziana Margaria. "Software engineering and formal methods". Communications of the ACM 51, n.º 9 (setembro de 2008): 54–59. http://dx.doi.org/10.1145/1378727.1378742.
Texto completo da fonteAichernig, Bernhard, e Bernhard Beckert. "Software engineering and formal methods". Software & Systems Modeling 7, n.º 3 (11 de junho de 2008): 255–56. http://dx.doi.org/10.1007/s10270-008-0091-2.
Texto completo da fonteBarthe, Gilles, Alberto Pardo e Gerardo Schneider. "SEFM: software engineering and formal methods". Software & Systems Modeling 14, n.º 1 (22 de fevereiro de 2014): 3–4. http://dx.doi.org/10.1007/s10270-014-0404-6.
Texto completo da fontePerseil, Isabelle, e Laurent Pautet. "Formal methods integration in software engineering". Innovations in Systems and Software Engineering 6, n.º 1-2 (3 de fevereiro de 2010): 5–11. http://dx.doi.org/10.1007/s11334-009-0115-2.
Texto completo da fonteKing, Trevor. "Introduction to Formal Methods for Software Engineering". Measurement and Control 26, n.º 1 (fevereiro de 1993): 19–21. http://dx.doi.org/10.1177/002029409302600105.
Texto completo da fonteSchaefer, Ina, e Reiner Hahnle. "Formal Methods in Software Product Line Engineering". Computer 44, n.º 2 (fevereiro de 2011): 82–85. http://dx.doi.org/10.1109/mc.2011.47.
Texto completo da fontede Man, Josef. "Session D2: Software engineering: Formal methods I". Microprocessing and Microprogramming 24, n.º 1-5 (agosto de 1988): 361. http://dx.doi.org/10.1016/0165-6074(88)90079-8.
Texto completo da fonteWordsworth, John. "Education in formal methods for software engineering". Information and Software Technology 29, n.º 1 (janeiro de 1987): 27–32. http://dx.doi.org/10.1016/0950-5849(87)90017-6.
Texto completo da fonteDodani, Mahesh. "Formal methods for object-oriented software engineering". Annals of Software Engineering 2, n.º 1 (dezembro de 1996): 121–60. http://dx.doi.org/10.1007/bf02063808.
Texto completo da fonteLiu, Shaoying. "Formal engineering methods for software quality assurance". Frontiers of Computer Science 6, n.º 1 (27 de janeiro de 2012): 1–2. http://dx.doi.org/10.1007/s11704-012-2900-6.
Texto completo da fonteWang, Taehyung, Astushi Kitazawa e Phillip Sheu. "Semantic software engineering". Encyclopedia with Semantic Computing and Robotic Intelligence 01, n.º 01 (março de 2017): 1630012. http://dx.doi.org/10.1142/s2425038416300123.
Texto completo da fonteMaibaum, Tom. "Formal methods versus engineering". ACM SIGCSE Bulletin 41, n.º 2 (25 de junho de 2009): 6–12. http://dx.doi.org/10.1145/1595453.1595455.
Texto completo da fonteMartin, John C. "Formal methods software engineering for the CARA system". International Journal on Software Tools for Technology Transfer (STTT) 5, n.º 4 (1 de maio de 2004): 301–7. http://dx.doi.org/10.1007/s10009-003-0113-x.
Texto completo da fonteBeckert, Bernhard, Tony Hoare, Reiner Hahnle, Douglas Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball e Sriram Rajamani. "Intelligent Systems and Formal Methods in Software Engineering". IEEE Intelligent Systems 21, n.º 6 (novembro de 2006): 71–81. http://dx.doi.org/10.1109/mis.2006.117.
Texto completo da fonteTremblay, 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 da fonteNowotka, Dirk. "Formal add to traditional methods in software engineering". ATZelektronik worldwide 3, n.º 4 (julho de 2008): 14–17. http://dx.doi.org/10.1007/bf03242180.
Texto completo da fonteÖlveczky, Peter Csaba, e Gwen Salaün. "Software engineering and formal methods: SEFM 2019 special section". Software and Systems Modeling 20, n.º 2 (12 de março de 2021): 291–92. http://dx.doi.org/10.1007/s10270-021-00874-1.
Texto completo da fonteDavis, James F. "The affordable application of formal methods to software engineering". ACM SIGAda Ada Letters XXV, n.º 4 (17 de novembro de 2005): 57–62. http://dx.doi.org/10.1145/1104011.1103855.
Texto completo da fonteLiu, Shaoying, Kazuhiro Takahashi, Toshinori Hayashi e Toshihiro Nakayama. "Teaching formal methods in the context of software engineering". ACM SIGCSE Bulletin 41, n.º 2 (25 de junho de 2009): 17–23. http://dx.doi.org/10.1145/1595453.1595457.
Texto completo da fonteCuellar, Jorge, e Zhiming Liu. "SoSyM Special Section on Software Engineering and Formal Methods". Software & Systems Modeling 6, n.º 1 (17 de junho de 2006): 37–38. http://dx.doi.org/10.1007/s10270-006-0010-3.
Texto completo da fonteJasser, Muhammed Basheer. "A Survey on Refinement in Formal Methods and Software Engineering". International Journal of Advanced Trends in Computer Science and Engineering 8, n.º 1.4 (15 de setembro de 2019): 105–12. http://dx.doi.org/10.30534/ijatcse/2019/1681.42019.
Texto completo da fonteTierney, Margaret. "Software engineering standards: the ‘formal methods debate’ in the uk". Technology Analysis & Strategic Management 4, n.º 3 (janeiro de 1992): 245–78. http://dx.doi.org/10.1080/09537329208524097.
Texto completo da fonteSobel, Ann E. Kelley. "Empirical results of a software engineering curriculum incorporating formal methods". ACM SIGCSE Bulletin 32, n.º 1 (março de 2000): 157–61. http://dx.doi.org/10.1145/331795.331846.
Texto completo da fonteWARD, M. P., e K. H. BENNETT. "FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE". International Journal of Software Engineering and Knowledge Engineering 05, n.º 01 (março de 1995): 25–47. http://dx.doi.org/10.1142/s0218194095000034.
Texto completo da fonteMolnar, B. "Software development with Z: a practical approach to formal methods in software engineering". Information and Software Technology 34, n.º 11 (novembro de 1992): 763. http://dx.doi.org/10.1016/0950-5849(92)90171-k.
Texto completo da fonteBaugh, J. W. "Using formal methods to specify the functional properties of engineering software". Computers & Structures 45, n.º 3 (outubro de 1992): 557–70. http://dx.doi.org/10.1016/0045-7949(92)90440-b.
Texto completo da fonteBravetti, Mario, Robert M. Hierons e Mercedes G. Merayo. "Introduction to the Software Engineering and Formal Methods 2013 special issue". Software & Systems Modeling 16, n.º 1 (7 de maio de 2015): 5–6. http://dx.doi.org/10.1007/s10270-015-0467-z.
Texto completo da fonteSelvaraj, Yuvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt e Martin Fabian. "Automatically Learning Formal Models from Autonomous Driving Software". Electronics 11, n.º 4 (18 de fevereiro de 2022): 643. http://dx.doi.org/10.3390/electronics11040643.
Texto completo da fonteBolton, Matthew L. "Novel Developments in Formal Methods for Human Factors Engineering". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, n.º 1 (setembro de 2017): 715–17. http://dx.doi.org/10.1177/1541931213601664.
Texto completo da fonteKRÄMER, BERND J., e TIZIANA MARGARIA. "A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING". International Journal of Semantic Computing 03, n.º 01 (março de 2009): 5–30. http://dx.doi.org/10.1142/s1793351x09000641.
Texto completo da fonteGruner, Stefan, e Bernhard Rumpe. "FormSERA workshop on formal methods in software engineering rigorous and agile approaches". ACM SIGSOFT Software Engineering Notes 37, n.º 6 (27 de novembro de 2012): 28–30. http://dx.doi.org/10.1145/2382756.2382777.
Texto completo da fonteDauphin, Michel. "SPECS: Formal methods and techniques for telecommunications software development". Microprocessing and Microprogramming 35, n.º 1-5 (setembro de 1992): 117–24. http://dx.doi.org/10.1016/0165-6074(92)90304-p.
Texto completo da fonteAbbate, A. J., e E. J. Bass. "A formal methods approach to semiotic engineering". International Journal of Human-Computer Studies 115 (julho de 2018): 20–39. http://dx.doi.org/10.1016/j.ijhcs.2018.02.001.
Texto completo da fonteGANNOD, GERALD C., e BETTY H. C. CHENG. "FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS". International Journal of Software Engineering and Knowledge Engineering 04, n.º 02 (junho de 1994): 183–204. http://dx.doi.org/10.1142/s0218194094000106.
Texto completo da fontePlat, Nico, Jan van Katwijk e Hans Toetenel. "Application and benefits of formal methods in software development". Software Engineering Journal 7, n.º 5 (1992): 335. http://dx.doi.org/10.1049/sej.1992.0034.
Texto completo da fonteJohnson, Timothy L. "Improving automation software dependability: A role for formal methods?" Control Engineering Practice 15, n.º 11 (novembro de 2007): 1403–15. http://dx.doi.org/10.1016/j.conengprac.2006.07.005.
Texto completo da fonteSantone, Antonella. "Special issue on formal methods for security engineering". Journal of Computer Virology and Hacking Techniques 14, n.º 4 (11 de setembro de 2018): 251. http://dx.doi.org/10.1007/s11416-018-0326-x.
Texto completo da fontePeña, Joaquin, Christopher A. Rouff, Mike Hinchey e Antonio Ruiz-Cortés. "Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods". Software & Systems Modeling 10, n.º 1 (9 de outubro de 2009): 55–62. http://dx.doi.org/10.1007/s10270-009-0135-2.
Texto completo da fonteBatory, Don. "Foreword to the Special Issue on Formal Methods for Software Product Line Engineering". Journal of Logical and Algebraic Methods in Programming 85, n.º 1 (janeiro de 2016): 121–22. http://dx.doi.org/10.1016/j.jlamp.2015.09.007.
Texto completo da fonteThomas, Martyn. "The role of formal methods in achieving dependable software". Reliability Engineering & System Safety 43, n.º 2 (janeiro de 1994): 129–34. http://dx.doi.org/10.1016/0951-8320(94)90058-2.
Texto completo da fonteGleirscher, Mario, e Diego Marmsoler. "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America". Empirical Software Engineering 25, n.º 6 (9 de setembro de 2020): 4473–546. http://dx.doi.org/10.1007/s10664-020-09836-5.
Texto completo da fonteFukuzaki, Tetsuo, Shaoying Liu e Michael Butler. "DevFemOps: enhancing maintainability based on microservices using formal engineering methods". Connection Science 34, n.º 1 (8 de agosto de 2022): 2125–38. http://dx.doi.org/10.1080/09540091.2022.2099347.
Texto completo da fonteKordon, F., e L. Petrucci. "Toward Formal-Methods Oecumenism?" IEEE Distributed Systems Online 7, n.º 7 (julho de 2006): 2. http://dx.doi.org/10.1109/mdso.2006.47.
Texto completo da fonteLi, Shao Feng. "A Study on Network Protocol Validation Based on Timed Automata". Applied Mechanics and Materials 543-547 (março de 2014): 3386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3386.
Texto completo da fonteter Beek, Maurice H., Dave Clarke e 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, n.º 1 (janeiro de 2016): 123–24. http://dx.doi.org/10.1016/j.jlamp.2015.09.006.
Texto completo da fonteStriuk, Andrii. "Formation of software design skills among software engineering students". Educational Dimension 58 (15 de junho de 2022): 1–21. http://dx.doi.org/10.31812/educdim.4519.
Texto completo da fonteBloomfield, R. E., P. K. D. Froome e B. Q. Monahan. "Formal methods in the production and assessment of safety critical software". Reliability Engineering & System Safety 32, n.º 1-2 (janeiro de 1991): 51–66. http://dx.doi.org/10.1016/0951-8320(91)90047-b.
Texto completo da fonteFisher, Kathleen, John Launchbury e 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, n.º 2104 (4 de setembro de 2017): 20150401. http://dx.doi.org/10.1098/rsta.2015.0401.
Texto completo da fonteMadhuri, K., M. Suman, M. Nalini Sri, K. Ravi Kumar e U. Jyothi Kameswari. "A Systematic Approach to Generate and Conduct Destructive Security Test Sets". Advanced Materials Research 403-408 (novembro de 2011): 4495–98. http://dx.doi.org/10.4028/www.scientific.net/amr.403-408.4495.
Texto completo da fonteHE, XUDONG. "A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING". International Journal of Software Engineering and Knowledge Engineering 23, n.º 05 (junho de 2013): 589–625. http://dx.doi.org/10.1142/s021819401340010x.
Texto completo da fonte