Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Quantum Software Engineering: Best Practices from Classical to Quantum Approaches (Articles)

Abdullah Ibrahim S. Alsalman

Journal of Quantum Information Science Vol.14 No.4, December 6, 2024

DOI: 10.4236/jqis.2024.144010 274 Downloads 2,253 Views Citations
Software for Acoustic Design (Articles)

Anatoliy Sergeevich Suvorov, Oleg Fedorovich Sevriukov, Evgeniy Mikhailovich Sokov, Mikhail Borisovich Salin, Svetlana Georgievna Zaitseva, Varvara Alekseevna Sharagina

Journal of Applied Mathematics and Physics Vol.11 No.8, August 31, 2023

DOI: 10.4236/jamp.2023.118162 174 Downloads 779 Views Citations
Innovative Techniques Unveiled in Advanced Sheet Pile Curtain Design (Articles)

Peace Sèna Hounkpe, Guy Oyéniran Adéoti, Patrick Oniakitan Mondoté, Éric Adéchina Alamou

Open Journal of Civil Engineering Vol.14 No.1, January 15, 2024

DOI: 10.4236/ojce.2024.141001 1,462 Downloads 2,786 Views Citations
Theory and Application of Numerical Simulation of Chemical Flooding in High Temperature and High Salt Reservoirs (Articles)

Yirang Yuan, Aijie Cheng, Danping Yang, Changfeng Li

International Journal of Geosciences Vol.5 No.9, August 22, 2014

DOI: 10.4236/ijg.2014.59082 2,723 Downloads 3,748 Views Citations
Cyclomatic Complexity-Based Encapsulation, Data Hiding, and Separation of Concerns (Articles)

Charles W. Butler, Thomas J. McCabe

Journal of Software Engineering and Applications Vol.14 No.1, January 21, 2021

DOI: 10.4236/jsea.2021.141004 713 Downloads 2,787 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4, November 9, 2022

DOI: 10.4236/cus.2022.104032 345 Downloads 1,789 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,227 Downloads 17,148 Views Citations
On the Relationship between Software Complexity and Maintenance Costs (Articles)

Edward E. Ogheneovo

Journal of Computer and Communications Vol.2 No.14, November 21, 2014

DOI: 10.4236/jcc.2014.214001 11,996 Downloads 16,529 Views Citations
Software Reuse: Developers’ Experiences and Perceptions (Articles)

William W. Agresti

Journal of Software Engineering and Applications Vol.4 No.1, January 27, 2011

DOI: 10.4236/jsea.2011.41006 10,513 Downloads 19,350 Views Citations
Intelligent Agent Based Mapping of Software Requirement Specification to Design Model (Articles)

Emdad Khan, Mohammed Alawairdhi

Journal of Software Engineering and Applications Vol.6 No.12, December 17, 2013

DOI: 10.4236/jsea.2013.612075 4,508 Downloads 7,184 Views Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5, May 26, 2021

DOI: 10.4236/jamp.2021.95070 356 Downloads 1,272 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,476 Downloads 11,381 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,672 Downloads 5,023 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,424 Downloads 6,903 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,537 Downloads 3,279 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 844 Downloads 1,775 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5, November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,298 Downloads 4,633 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10, October 23, 2020

DOI: 10.4236/ce.2020.1110150 896 Downloads 2,839 Views Citations
Employment Access and Job Search Channels for Young People in Congo (Articles)

Michel Okiemy, Sylvaniste Etsiba

Theoretical Economics Letters Vol.11 No.2, April 15, 2021

DOI: 10.4236/tel.2021.112021 573 Downloads 1,941 Views Citations
A Conceptual Model That Identifies Mathematical Models and Lean Techniques for Problem-Solving at the Different Decision-Making Levels of Service Companies (Articles)

Zaida E. Alarcón Bernal, Ricardo Aceves García, Arturo Fuentes Zenón

Journal of Service Science and Management Vol.14 No.2, April 19, 2021

DOI: 10.4236/jssm.2021.142011 697 Downloads 2,299 Views Citations

First <...567 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies