[1]
|
B. Akbarpour, S. Tahar and A. Dekdouk, “Formalization of Cadence SPW Fixed-Point Arithmetic in HOL,” Formal Methods in System Design, Vol. 27, 2005, pp. 173-200. doi:10.1007/s10703-005-2256-8
|
[2]
|
N. H. Ali, Z. Shukur and S. Idris, “A Design of an Assessment System for UML Class Diagram,” International Conference on Computational Science and Applications, Kuala Lumpur, 26-29 August 2007, pp. 539-546.
|
[3]
|
K. Araki, A. Galloway and K. Taguchi, “Using a Process Algebra to Control B Operations,” Proceedings of 1st International Conference on Integrated Formal Methods, Springer-Verlag, London, 1999, pp. 437-456.
|
[4]
|
H. Beek, A. Fantechi, S. Gnesi and F. Mazzanti, “State/ Event-Based Software Model Checking,” Proceedings of 4th International Conference on Integrated Formal Methods, Springer, Canterbury, Vol. 2999, 2004, pp. 128-147.
|
[5]
|
M. Bo, W. Huang and J. Qin, “Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model,” Information Technology Journal, Vol. 9, No. 8, 2010, pp. 1521-1556.
doi:10.3923/itj.2010.1521.1556
|
[6]
|
R. Borges and A. Mota, “Integrating UML and Formal Methods,” Electronic Notes in Theoretical Computer Science, Vol. 84, 2003, pp. 97-112.
|
[7]
|
M. Brendan and J. S. Dong, “Blending Object-Z and Timed CSP: An Introduction to TCOZ,” Proceedings of International Conference on Software Engineering, Kyoto, 19-25 April 1998, pp. 95-104.
|
[8]
|
W. S. Changchien, J. J. Shen and T. Y. Lin, “A Preliminary Correctness Evaluation Model of Object-Oriented Software Based on UML,” Journal of Applied Sciences, Vol. 2, No. 3, 2002, pp. 356-365.
doi:10.3923/jas.2002.356.365
|
[9]
|
A. Dennis, B. H. Wixom and D. Tegarden, “Systems Analysis and Design with UML,” 3rd Edition, Wiley, New York, 2005, 576 p.
|
[10]
|
Z. Derakhshandeh, B. T. Ladani and N. Nematbakhsh, “Modeling and Combining Access Control Policies Using Constrained Policy Graph,” Journal of Applied Sciences, Vol. 8, 2008, pp. 3561-3571.
doi:10.3923/jas.2008.3561.3571
|
[11]
|
J. Derrick and G. Smith, “Structural Refinement of Object-Z/CSP Specification,” Proceedings of 2nd International Conference on Integrated Formal Methods, Springer-Verlag, London, Vol. 1945, 2000, pp. 194-213.
|
[12]
|
S. A. Ehikioya and B. Ola, “A Comparison of Formalisms for Electronic Commerce Systems,” Proceedings of In- ternational Conference on Computational Cybernetics, Vienna, 30 August-1 September 2004, pp. 253-258.
|
[13]
|
F. Gervais, M. Frappier and R. Laleau, “Synthesizing B Specifications from EB3 Attribute Definitions,” Proceedings of 5th International Conference on Integrated Formal Methods, Springer, Berlin, Vol. 3771, 2005, pp. 207-226.
|
[14]
|
A. Hall, “Correctness by Construction: Integrating Formality into a Commercial Development Process,” Proceedings of International Symposium of Formal Methods Europe, Vol. 2391, 2002, pp. 139-157.
|
[15]
|
K. E. Hamdy, M. A. Elsoud and A. M. El-Halawany, “UML-Based Web Engineering Framework for Modeling Web Application,” Journal of Software Engineering, Vol. 5, No. 2, 2011, pp. 49-63. doi:10.3923/jse.2011.49.63
|
[16]
|
O. Hasan and S. Tahar, “Verification of Probabilistic Properties in the HOL Theorem Prover,” Proceedings of the Integrated Formal Methods, Vol. 4591, 2007, pp. 333-352. doi:10.1007/978-3-540-73210-5_18
|
[17]
|
X. He, “Formalizing UML Class Diagrams: A Hiera- rchical Predicate Transition Net Approach,” Proceedings of 24th Annual International Computer Software and Applications Conference, Taipei, 25-28 October 2000, pp. 217-222.
|
[18]
|
M. Heiner and M. Heisel, “Modeling Safety Critical Systems with Z and Petri-Nets,” Proceedings of International Conference on Computer Safety, Reliability and Security, Springer-Verlag, London, 26-28 October 1999, pp. 361-374. doi:10.1007/3-540-48249-0_31
|
[19]
|
D. Jackson, I. Schechter and I. Shlyakhter, “Alcoa: The Alloy Constraint Analyzer,” Proceedings of International Conference on Software Engineering, Limerick, 4-11 June 2000, pp. 730-733.
|
[20]
|
H. Leading and J. Souquieres, “Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B,” Proceedings of 9th Asia-Pacific Software Engineering Conference, Gold Coast, 4-6 December 2002, p. 495.
doi:10.1109/APSEC.2002.1183053
|
[21]
|
Liu and C. Chen, “An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software,” Journal of Applied Sciences, Vol. 6, No. 7, 2006, pp. 1571-1575. doi:10.3923/jas.2006.1571.1575
|
[22]
|
Z. M. Ma, “Fuzzy Conceptual Information Modeling in UML Data Model,” International Symposium on Computer Science and Computational Technology, Shanghai, 20-22 December 2008, pp. 331-334.
doi:10.1109/ISCSCT.2008.353
|
[23]
|
R. Miles and K. Hamilton, “Learning UML 2.0,” 1st Edition, O’Reilly Media, Sebastopol, 2006, 288 p.
|
[24]
|
A. Moeini and R. O. Mesbah, “Specification and Development of Database Applications Based on Z and SQL,” Proceedings of International Conference on Information Management and Engineering, Kuala Lumpur, 3-5 April 2009, pp. 399-405.
|
[25]
|
A. M. Mostafa, A. I. Manal, E. B. Hatem and E. M. Saad, “Toward a Formalization of UML2.0 Meta-Model Using Z Specifications,” Proceedings of 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Qingdao, Vol. 3, 2007, pp. 694-701. doi:10.1109/SNPD.2007.508
|
[26]
|
H. Podeswa, “UML for IT Business Analyst,” 2nd Edition, Course Technology, 2009, 372 p.
|
[27]
|
T. B. Raymond, “Integrating Formal Methods by Unifying Abstractions,” Springer, Berlin, Vol. 2999, 2004, pp. 441-460.
|
[28]
|
S. Sengupta and S. Bhattacharya, “Formalization of UML Diagrams and Consistency Verification: A Z Notation Based Approach,” Proceedings of India Software Engineering Conference, Hyderabad, 19-22 February 2008, pp. 151-152. doi:10.1145/1342211.1342248
|
[29]
|
Z. Shi, “Intelligent Target Fusion Recognition Based on Fuzzy Petri Nets,” Information Technology Journal, Vol. 11, No. 4, 2012, pp. 500-503.
doi:10.3923/itj.2012.500.503
|
[30]
|
M. Shroff and R. B. France, “Towards Formalization of UML Class Structures in Z,” 21st International Conference on Computer Software and Applications, Washington, 11-15 August 1997, pp. 646-651.
|
[31]
|
J. M. Spivey, “The Z Notation: A Reference Manual,” Prentice-Hall, Englewood Cliffs, 1989.
|
[32]
|
J. Sun, J. S. Dong, J. Liu and H. Wang, “A XML/XSL Approach to Visualize and Animate TCOZ,” Proceedings of 8th Asia-Pacific Software Engineering Conference, Macao, 4-7 December 2001, pp. 453-460.
|
[33]
|
X. Than, H. Miao and L. Liu, “Formalizing Semantics of UML Statecharts with Z,” Proceedings of 4th International Conference on Computer & Information Technology, Wuhan, 14-16 September 2004, pp. 1116-1121.
|
[34]
|
J. M. Wing, “A Specifier, Introduction to Formal Me- thods,” Computer Journal, Vol. 23, No. 9, 1990, pp. 8-24.
doi:10.1109/2.58215
|
[35]
|
Z. Xiuguo and H. Liu, “Formal Verification for CCML Based Web Service Composition,” Information Technology Journal, Vol. 10, No. 9, 2011, pp. 1692-1700.
|
[36]
|
C. Yong, “Application of Wu’s Method to Proving Total Correctness of Recursive Program,” Information Technology Journal, Vol. 9, No. 7, 2010, pp. 1431-1439.
doi:10.3923/itj.2010.1431.1439
|
[37]
|
N. A. Zafar and F. Alhumaidan, “Transformation of Class Diagrams into Formal Specification,” International Journal Computer Science and Network Security, Vol. 11, No. 5, 2011, pp. 289-295.
|
[38]
|
S. Zarina, N. Alias, M. M. Halip and B. Idrus, “Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover,” Journal of Applied Sciences, Vol. 6, No. 8, 2006, pp. 1712-1719.
doi:10.3923/jas.2006.1712.1719
|
[39]
|
Z. X. Wu, H. He, L. Chen and Y. Zhang, “Ontology Based Semantics Checking for UML Activity Model,” Information Technology Journal, Vol. 11, No. 3, 2012, pp. 301-306. doi:10.3923/itj.2012.301.306
|
[40]
|
N. A. Zafar, “Event-Action Based Model for Identification and Formalization of Relations in UML State Diagrams,” Archive De Science Journal, Vol. 65, No. 4, 2012, pp. 17-30.
|