![]() ![]() (2013) User’s Involvement in Requirement Engineering and System Success. (1996) Using Formal Methods to Develop an ATC Information System. ACM Transactions on Software Engineering and Methodology, 5, 231-261. (1996) Automated Consistency Checking of Requirements Specifications. International Journal of Innovative Computing, Information & Control, 8, 5677-5690. (2012) Towards the Safety Properties of Moving Block Railway Interlocking System. (2006) Modeling and Formal Specification of Automated Train Control System Using Z Notation. (2013) Automated Semantics Treatment of Sequence Diagram Defining Grammar Rules. (2007) Supporting UML Sequence Diagrams with a Processor Net Approach. Journal of Theoretical and Applied Information Technology, 57, 407-411. (2013) Using Z Formal Specification for Ensuring Consistency in Multi View Modeling. Prentice Hall International, Oxford.Įl Miloudi, K., El Armani, Y. (1998) The Z Notation: A Reference Manual. (2012) Towards an Integration of Formal Specification in the áncora Methodology. ![]() (2009) Formal versus Agile: Survival of the Fittest? IEEE Computer, 42, 37-45. (2006) Formalization of UML Use Case Diagram-A Z Notation Based Approach.īlack, S., Boca, P.P., Bowen, J.P., Gorman, J. Journal of Software Engineering and Applications, 7, 299-310. (2014) Integrating Formal Methods in XP-A Conceptual Solution. The 21st Annual International Computer Software and Applications Conference, 1997 (COMPSAC’ 97), Washington DC, 11-15 August 1997, 646-651. (1997) Towards a Formalization of UML Class Structures in Z. The Journal of American Science, 9, 287-293. (2013) Scenarios Verification in Sequence Diagram. Proceedings of the International Conference on Software Engineering, St. (2005) Object Naming Analysis for Reverse-Engineered Sequence Diagrams. In: Global, I.G.I., Ed., Chapter VI: Requirements Engineering: A Review of Processes and Techniques, Minnesota State University Mankato, 96-111. (2008) Handbook of Research on Modern Systems Analysis and Design Technologies and Applications. įlores, F., Mora, M., álvarez, F., O’Connor, R. (1998) The Politics of Requirements Management. IEEE Software Journal, 1, 75-88.Īndriole, S. (1984) Verifying and Validating Software Requirements and Design Specifications. Journal of Global Research in Computer Science, 4.īoehm, B.W. (2013) Formal Methods: Benefits, Challenges and Future Direction. Proceedings of the International Conference, CENTERIS 2010, Viana do Castelo, 20-22 October 2010, 111-120. (2010) Towards a Systematic Service Oriented Requirement Engineering Process (S-SoRE). įlores, F., Mora, M., álvarez, F., et al. Journal of Software Engineering and Applications, 4, 718-728. (2011) A Knowledge Management Framework in Software Requirements Engineering Based on SECI Model. IEEE Transactions on Software Engineering, SE-13, 1027-1037.Ĭhikh, A. (2006) Cleanroom Software Development: An Empirical Evaluation. Results canīe more improved by integrating remaining components of Sequence and other UMLĭiagrams into Formal Specification Language. Tools and model based testing technique of Formal Specifications. And the results of this research papers are complete integratedĬomponents of Sequence diagram with Z schemas, which are verified by using Sequence diagram and then implement these components in formal specification In this paper, we focus on components of UML Which shows the interaction and proper sequence of components (Methods, (Z) with UML Sequence diagram, as sequence diagram is an interaction diagram Our objective is to integrate the Formal Specification Language System Models with such formal methods to overcome the requirements errors i.e.Ĭontradiction, ambiguities, vagueness, incompleteness and mixed values ofĪbstraction. Systems where precise information is required. Similarly, in requirementĮngineering, formal specification methods are also being used in crucial Interaction, behavior and structure of the system. Component in requirement engineering process and these become an industry ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |