Formal - Articles - Scientific Research Publishing

Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,259 Downloads 10,829 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8，August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,228 Downloads 8,457 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 206 Downloads 1,172 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,805 Downloads 16,152 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 236 Downloads 765 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,221 Downloads 10,721 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,480 Downloads 7,745 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,454 Downloads 4,455 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,209 Downloads 5,910 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,376 Downloads 2,512 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 739 Downloads 1,376 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,102 Downloads 3,691 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 692 Downloads 2,057 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 395 Downloads 1,294 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 503 Downloads 1,540 Views Citations
Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks (Articles)

Taiwo Akinsola, Hadiza Abubakar Saidu, Taiwo Adewale Muritala, Akeem Adewale Bakare

Open Journal of Social Sciences Vol.11 No.9，September 19, 2023

DOI: 10.4236/jss.2023.119024 483 Downloads 3,813 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A，July 5, 2013

DOI: 10.4236/am.2013.47A004 3,026 Downloads 4,706 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3，March 25, 2021

DOI: 10.4236/jamp.2021.93031 332 Downloads 981 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2，July 15, 2009

DOI: 10.4236/jsea.2009.22012 4,946 Downloads 8,395 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1，January 13, 2010

DOI: 10.4236/wsn.2010.21008 7,788 Downloads 12,317 Views Citations

<12 3 ...>

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies