tailieunhanh - Model checking early requirements specifications in alloy

In this paper, we propose an approach that automatically generated code from a specification language Alloy. From this specification language, we will describe how to translate from one language to the Java source. An application in this paper is a gardening game program. Applied after the findings will be organized according to the MVC (Model-View-Controller) architectural pattern. | Journal of Science and Technology 54 (3A) (2016) 163-175 MODEL CHECKING EARLY REQUIREMENTS SPECIFICATIONS IN ALLOY Ton Long Phuoc*, Nguyen Minh Hai Department of Information and Technology, Industrial University of HCMC , 12 Nguyen Van Bao, Ward 4, Go Vap District, Ho Chi Minh City Email: tonlongphuoc@ Received: 15 June 2015; Accepted for publication: 28 July 2016 ABSTRACT Automation generated source code and verifying are essential sector for software engineering. There are many ways to generate source code and verify from the specification languages. In this paper, we propose an approach that automatically generated code from a specification language Alloy. From this specification language, we will describe how to translate from one language to the Java source. An application in this paper is a gardening game program. Applied after the findings will be organized according to the MVC (Model-View-Controller) architectural pattern. Besides, we will also verify the identity of the structure of the application and the content of the Alloy specification. We built an tool as GmDSL, we have verified the aplication in GmDSL. The application was created from the tool also shows the correctness of the early constraints. Simultaneously, we also compares be verified through the GmDSL tool with NuSVM tool. Keywords: MVC, DSL, alloy, code generation. 1. INTRODUCTION One of the main activities of any development process aimed at creating useful software is domain modeling. Domain is the business processes being automated or the real world problem being solved by a software program. Having a good understanding of a software domain is essential for the success of any software development project. Software domains, being part of the real world, are hard to be captured directly. They have to be modeled using appropriate abstractions. Because of the great amount of knowledge related to any subject area, a domain model has to be a selection of that knowledge and .

• Hoá học
• Journal of Science and Technology
• Model checking early requirements specifications
• Model checking early requirements specifications in alloy
• Model View Controller
• Software is domain modeling
• Journal of Marine science and Technology
• Marine science and Technology
• Marine science and Technology no 56
• Marine science and Technology year 2018
• Evaluation method
• Electrical energy management model
• Marine science and Technology no 53
• Diesel engines
• Journal of Fisheries science and Technology
• Fisheries science and Technology
• Fisheries science and Technology no 3
• Fisheries science and Technology year 2016
• Striped catfish
• Common carp cyprinus carpio
• Fisheries science and Technology no 4
• Fisheries science and Technology year 2018
• Coastal fi shing activities
• White striped cleaner shrimp
• Journal of Science
• Journal of Technology
• Technology Management
• Science and Technology
• International integration
• Science and Technology Strategy
• Evaluation of science and technology
• Global journal of computer science
• Global journal of computer science and technology
• Information & technology
• GIS based fire emergency response system
• Marine science and technology no 61
• Actual GPS receivers
• Display information on stability
• Nuclear science and technology
• The journal of Nuclear science and technology
• Rotary rack served for elemental concentration
• Seawaterusing co precipitation method
• Natural radionuclides
• Experimental data
• Low energy experiments
• Multigroup cross sections
• Stable isotopic values
• Radial blanket
• Dissolved nitrogen compounds
• Irradiation channels
• Neutron rich nuclei
• Prescila neutron probe
• Full core conversion
• Multipurpose research reactor
• Aquatic environment
• Geochemical parameters
• External reactor vessel cooling method
• Radiation crosslinked scaffolds
• Adipose derived stem cell culture
• Treatment plans
• Minor actinide compositions
• IM NAA of non standard geometrical samples
• Cross shaped obstacle
• University entrepreneurship
• Entrepreneurial research university
• Technology innovation
• Industry university cooperation
• Regional innovation
• Journal of technology and science education
• Bring science and technology closer to secondary school
• Technology closer to secondary school
• Secondary school teachers
• Face to face
• Technology development
• Technology commercialization
• The role of informal science centers in science education
• Informal science center
• Attudes toward science
• Scientfic thinking skills
• Scientific research
• Research quality
• Strategy and policy
• Research Organizations
• Policy Planning
• Science and Technology development
• Theory Z
• Human Resources
• Development policy of Japan
• ‘Standards’ on the bench
• Technological literacy render an adequate image of technology
• Adequate image of technology
• Standards for technological literacy
• Philosophy of technology
• The nature of technology
• Concepts of technology
• Post secondary project based learning in science
• Post secondary project based learning in technology
• Post secondary project based learning in engineering and mathematics
• Post secondary project