A Comparative Analysis of Formal languages Based upon Various Parameters
作者： Mateen Ahmed Abbasi , Javeria Jabeen , Nasir Mehmood Minhas
DOI:
关键词:
摘要:
ijert.org
researchgate.net 参考文章(22)
J Fitzgerald, PG Larsen, S Sahara, Recent industrial applications of VDM in Japan formal methods. pp. 8- 8 ,(2007) , 10.14236/EWIC/FMI2007.8
Lectures on Embedded Systems Springer Berlin Heidelberg. ,(1998) , 10.1007/3-540-65193-4
Christophe Ponsard, Emmanuel Dieul, From Requirements Models to Formal Specifications in B. ReMo2V. ,(2006)
VDMTools: advances in support for formal modeling in VDM Sigplan Notices. ,vol. 43, pp. 3- 11 ,(2008) , 10.1145/1361213.1361214
Dan Craigen, Susan Gerhart, Ted Ralston, An International Survey of Industrial Applications of Formal Methods Proceedings of the Z User Workshop. pp. 1- 5 ,(1992) , 10.1007/978-1-4471-3556-2_1
Stefan Hallerstede, Jean-Raymond Abrial, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Fundamenta Informaticae. ,vol. 77, pp. 1- 28 ,(2007)
K. Periyasamy, V.S. Alagar, Extending Object-Z for specifying real-time systems technology of object oriented languages and systems. pp. 163- 175 ,(1997) , 10.1109/TOOLS.1997.654716
Amarit Laorakpong, Motoshi Saeki, Object-Oriented Formal Specification Development using VDM Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software. pp. 529- 543 ,(1993) , 10.1007/3-540-57342-9_93
Daniel Jackson, Software Abstractions: Logic, Language, and Analysis ,(2006)
Roger S. Pressman, Software Engineering: A Practitioner's Approach (McGraw-Hill Series in Computer Science) McGraw Hill College Division. ,(2004)