Results 1 to 10 of about 1,590,113 (289)
Formal refinement of extended state machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle +3 more
doaj +1 more source
Review of Formal Specification and Verification for Operating Systems [PDF]
Jisuanji gongchengOperating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj +1 more source
Simulation of stevedoring work in the Klaipėda oil terminal [PDF]
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
D. Makackas, H. Pranevičius
doaj
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]
ICTACT Journal on Soft Computing, 2015 The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj
Z Specification and Verification of Feature Interaction in Telecommunication Service System [PDF]
Jisuanji gongcheng, 2016 For formally describing feature interaction problems in telecommunication system accurately and compactly,this paper applies Z language into the research on these feature interaction problems.It does the formal description for three main types of feature
PENG Zhan,LIANG Gen,ZHOU Bing
doaj +1 more source
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE
International Journal of Information and Communication Technology Research, 2009 Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi +1 more
doaj
Method specification for automated evaluation of documents formal quality
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009 Automated documents processing allows production of large amount of documents. Formal quality of the documents is very important as it contributes to better understanding and information transmission.
Petra Talandová, Jiří Rybička
doaj +1 more source
Machine Improvisation With Formal Specifications
, 2014 (Abstract to follow)
Donzé, A +5 more
openaire +3 more sources
Formal model and Policy specification for software defined networks
Journal of Kufa for Mathematics and Computer, 2016 Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth.
DAWOOD SALMAN JASIM AL-FARTTOOSI
doaj +1 more source
AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
Jordanian Journal of Computers and Information Technology, 2020 Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine +1 more
doaj +1 more source