Formal Specification - Articles - Scientific Research Publishing

Emotion Work and Scale in Sociocultural Bicycle Advocacy and Transportation Literature (Articles)

Rebecca van Stokkum

Open Journal of Social Sciences Vol.10 No.12, November 29, 2022

DOI: 10.4236/jss.2022.1012039 261 Downloads 1,181 Views Citations
On Some Problems of Extracting the Root from a Given Finite Language (Articles)

Boris F. Melnikov, Aleksandra A. Melnikova

Journal of Applied Mathematics and Physics Vol.11 No.5, May 31, 2023

DOI: 10.4236/jamp.2023.115096 246 Downloads 727 Views Citations
Systematic Method for Constructing Lewis Representations (Articles)

Lahbib Abbas, Lahcen Bih, Khalid Yamni, Abderrahim Elyahyaouy, Abdelmalik El Attaoui, Zahra Ramzi

Open Journal of Inorganic Chemistry Vol.14 No.1, January 31, 2024

DOI: 10.4236/ojic.2024.141001 242 Downloads 940 Views Citations
Two Competing Views on Formal Principles (Articles)

Alexandre Travessoni Gomes Trivisonno, Júlio Aguiar de Oliveira

Beijing Law Review Vol.15 No.3, September 26, 2024

DOI: 10.4236/blr.2024.153091 129 Downloads 1,023 Views Citations
Formal Logical Arguments in Islamic Law (Articles)

Rehan Rafique

Open Journal of Philosophy Vol.15 No.1, February 13, 2025

DOI: 10.4236/ojpp.2025.151010 162 Downloads 992 Views Citations
Pathways to Formalization: Exploring Support Systems for Informal Micro-Entrepreneurs in the Metal Manufacturing Sector in Zimbabwe (Articles)

Onias Sanangura, Bupe Getrude Mutono-Mwanza

Open Journal of Business and Management Vol.13 No.3, May 14, 2025

DOI: 10.4236/ojbm.2025.133086 108 Downloads 643 Views Citations
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem” (Articles)

Corrado Giannantoni

Journal of Applied Mathematics and Physics Vol.11 No.10, October 31, 2023

DOI: 10.4236/jamp.2023.1110206 204 Downloads 718 Views Citations
The Analysis and Proposed Modifications to ISO/IEC 25030—Software Engineering—Software Quality Requirements and Evaluation—Quality Requirements (Articles)

Karen Mou Kui, Khaled Ben Ali, Witold Suryn

Journal of Software Engineering and Applications Vol.9 No.4, April 22, 2016

DOI: 10.4236/jsea.2016.94010 3,486 Downloads 6,657 Views Citations
Incorporating the Multinomial Logistic Regression in Vehicle Crash Severity Modeling: A Detailed Overview (Articles)

Azad Abdulhafedh

Journal of Transportation Technologies Vol.7 No.3, July 4, 2017

DOI: 10.4236/jtts.2017.73019 5,150 Downloads 10,928 Views Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions (Articles)

Vladimir Olegovich Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.8, August 19, 2022

DOI: 10.4236/jamp.2022.108167 257 Downloads 1,123 Views Citations
Generating Compatibility Conditions and General Relativity (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.10 No.3, March 14, 2019

DOI: 10.4236/jmp.2019.103025 980 Downloads 2,020 Views Citations
This article belongs to the Special Issue on Astrophysics, Cosmology and Gravitation
Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.5, May 18, 2022

DOI: 10.4236/jamp.2022.105109 209 Downloads 1,056 Views Citations
Formal Semantics of OWL-S with Rewrite Logic (Articles)

Ning Huang, Xiaojuan Wang, Camilo Rocha

Journal of Software Engineering and Applications Vol.2 No.1, April 16, 2009

DOI: 10.4236/jsea.2009.21004 5,618 Downloads 10,618 Views Citations
Forensic Investigation in Communication Networks Using Incomplete Digital Evidences (Articles)

Slim REKHIS, Jihene KRICHENE, Noureddine BOUDRIGA

International Journal of Communications, Network and System Sciences Vol.2 No.9, December 21, 2009

DOI: 10.4236/ijcns.2009.29100 7,048 Downloads 13,163 Views Citations
Caregiver Identity as a Useful Concept for Understanding the Linkage between Formal and Informal Care Systems: A Case Study (Articles)

Normand Carpentier

Sociology Mind Vol.2 No.1, January 9, 2012

DOI: 10.4236/sm.2012.21005 4,734 Downloads 9,878 Views Citations
Is There an Instructional Framework for 21st Century Learning? (Articles)

Shu-Shing Lee, David Hung

Creative Education Vol.3 No.4, August 13, 2012

DOI: 10.4236/ce.2012.34071 8,176 Downloads 15,301 Views Citations
Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

International Journal of Communications, Network and System Sciences Vol.5 No.12, December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,903 Downloads 8,191 Views Citations
Test Selection on Extended Finite State Machines with Provable Guarantees (Articles)

Bo Guo, Mahadevan Subramaniam

Journal of Software Engineering and Applications Vol.6 No.9, September 20, 2013

DOI: 10.4236/jsea.2013.69060 3,368 Downloads 5,338 Views Citations
A Simple Model for On-Sensor Phase-Detection Autofocusing Algorithm (Articles)

Przemysław Śliwiński, Paweł Wachel

Journal of Computer and Communications Vol.1 No.6, November 26, 2013

DOI: 10.4236/jcc.2013.16003 5,581 Downloads 9,649 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7, June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,485 Downloads 5,672 Views Citations
This article belongs to the Special Issue on Programming Languages

First <...345 ...>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