Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,604
Downloads
7,383
Views
Citations
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
1,199
Downloads
2,476
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,890
Downloads
8,249
Views
Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,873
Downloads
8,035
Views
Citations
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,152
Downloads
10,617
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,061
Downloads
4,446
Views
Citations
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
(Articles)
Hassan Reza
,
Amrita Chatterjee
Journal of Software Engineering and Applications
Vol.7 No.11
,October 24, 2014
DOI:
10.4236/jsea.2014.711082
5,627
Downloads
6,816
Views
Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems
(Articles)
Meenakshi Sridhar
,
Naseeb Singh Gill
Journal of Software Engineering and Applications
Vol.8 No.9
,September 25, 2015
DOI:
10.4236/jsea.2015.89047
5,019
Downloads
6,061
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,299
Downloads
5,066
Views
Citations
This article belongs to the Special Issue on
Programming Languages
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
5,992
Downloads
7,978
Views
Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
3,054
Downloads
3,948
Views
Citations
Language and Mathematics: Bridging between Natural Language and Mathematical Language in Solving Problems in Mathematics
(Articles)
Bat-Sheva Ilany
,
Bruria Margolin
Creative Education
Vol.1 No.3
,December 27, 2010
DOI:
10.4236/ce.2010.13022
12,307
Downloads
20,944
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,364
Downloads
7,444
Views
Citations
Mathematical Modeling and Software Application of Blood Flow for Therapeutic Management of Stroke
(Articles)
Babagana Gutti
,
Alfred A. Susu
,
Olufemi A. Fasanmade
Engineering
Vol.4 No.4
,April 26, 2012
DOI:
10.4236/eng.2012.44030
4,115
Downloads
6,729
Views
Citations
Formalization of Federated Schema Architectural Style Variability
(Articles)
Wilhelm Hasselbring
Journal of Software Engineering and Applications
Vol.8 No.2
,February 15, 2015
DOI:
10.4236/jsea.2015.82009
3,207
Downloads
3,949
Views
Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak
(Articles)
Edwin Mit
,
Ng Bong Ding
,
Cheah Wai Shiang
Journal of Software Engineering and Applications
Vol.7 No.8
,July 25, 2014
DOI:
10.4236/jsea.2014.78067
2,910
Downloads
3,769
Views
Citations
The Impact of Artificial Intelligence on Higher Education in England
(Articles)
Hengameh Karimi
,
Sarwar Khawaja
Creative Education
Vol.14 No.12
,December 15, 2023
DOI:
10.4236/ce.2023.1412154
193
Downloads
2,138
Views
Citations
Letters as Portraits of Intimacy in Literature Studies
(Articles)
Monica Mastrantonio
Advances in Literary Study
Vol.9 No.4
,October 29, 2021
DOI:
10.4236/als.2021.94024
264
Downloads
1,545
Views
Citations
Fuzzy Semantics of Contract Language
(Articles)
Hengyang Wu
,
Yixiang Chen
Applied Mathematics
Vol.7 No.5
,March 18, 2016
DOI:
10.4236/am.2016.75039
2,297
Downloads
3,186
Views
Citations
This article belongs to the Special Issue on
Fuzzy Mathematics and Its Applications
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces
(Articles)
Tathianna Prado Dawes
,
Gustavo Henrique Varela Saturnino Alves
,
Helena Carla Castro
,
Andréia Santos Silva
,
Lucianne Fragel-Madeira
Creative Education
Vol.10 No.6
,June 28, 2019
DOI:
10.4236/ce.2019.106092
665
Downloads
1,218
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top