Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Khoa Học Tự Nhiên
Hoá học
Model checking early requirements specifications in alloy
TAILIEUCHUNG - 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 .
Thu Huyền
87
13
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Journal of Marine science and Technology – No 56, 11/2018
0
174
0
Journal of Marine science and Technology – No 53, 01/2018
0
203
0
Journal of Fisheries science and Technology – No 3/2016
126
185
0
Journal of Fisheries science and Technology – No 4/2018
121
171
0
Some theoretical and practical arguments on the science, technology and innovation system of Vietnam in trend of international integration of science and technology
15
149
0
Methodology of assessing the performing results of science and technology development strategy
18
164
0
Global journal of computer science and technology: Information & technology
75
106
1
Journal of marine science and technology: No 61-01/2020
91
192
0
The journal of Nuclear science and technology - Volume 10/Number 1, 2020
60
67
3
The journal of Nuclear science and technology - Volume 9/Number 2, 2019
56
58
3
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461836
55
Giới thiệu :Lập trình mã nguồn mở
14
22497
57
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10846
529
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10023
445
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9477
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8238
1124
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8198
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7859
2219
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6636
253
Vật lý hạt cơ bản (1)
29
5751
85
TỪ KHÓA LIÊN QUAN
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
TÀI LIỆU MỚI ĐĂNG
Báo cáo khoa học: Loss of kinase activity in Mycobacterium tuberculosis multidomain protein Rv1364c
14
232
0
18-04-2024
CẤU TẠO HẠT NHÂN NGUYÊN TỬ-ĐỘ HỤT KHỐI-NĂNG LƯỢNG LIÊN KẾT-LK RIÊNG
12
262
0
18-04-2024
Anh văn bằng C-124
8
170
0
18-04-2024
Magnetic Bearings Theory and Applications phần 2
14
169
0
18-04-2024
Management and Services Part 1
10
155
0
18-04-2024
MySQL Basics for Visual Learners PHẦN 9
15
182
0
18-04-2024
Posted prices versus bargaining in markets_7
23
153
0
18-04-2024
MÔN HỌC VẬT LIỆU VÀ CÔNG NGHỆ KIM LOẠI - PHẦN I: KIM LOẠI HỌC
32
175
2
18-04-2024
Đề tài: Tìm hiểu một số yêu cầu đặt ra với một phòng thu âm, để đảm bảo chất lượng âm thanh trong sản phẩm đa phương tiện
8
146
1
18-04-2024
báo cáo hóa học:" Endoscopic decompression for intraforaminal and extraforaminal nerve root compression"
7
106
0
18-04-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7859
2219
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5572
1319
Ebook Chào con ba mẹ đã sẵn sàng
112
3740
1228
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8238
1124
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5234
1124
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3468
641
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10846
529
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3666
524
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4014
513
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4091
478
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.