检索结果-内蒙古大学图书馆

14th IEEE International Conference on Control and Automation (ICCA)

作者： Wang, Xiaojun Han, Chun Hu, Hesuan Xidian Univ Sch Electromech Engn Xian 710071 Shaanxi Peoples R China Nanyang Technol Univ Sch Comp Sci & Engn Coll Engn Singapore 639798 Singapore Xi An Jiao Tong Univ State Key Lab Mfg Syst Engn Xian 710054 Shaanxi Peoples R China

ISBN: (纸本)9781538660898

The software platform has been developed in java language to handle the basic problems of discrete event systems that are modeled by Petri nets. A user-friendly graphical interface allows to activate simulation modes covering the key topics of analyses such as the basic properties analysis, reachability graph analysis, partial reachability graph analysis, path analysis, minimal siphons and traps analysis, P/T inequality analysis, and dynamic step analysis. Similarly, we have done a lot of programming innovation, such as in the data structure and search algorithm, in order to make the software more efficient. Compared with other software, ours can be quicker to attain the simulation results. Moreover, our Petri net simulator proves to be a valuable aid for Control Engineering education. We consider to open all source codes which are related to basic properties about the Petri nets so as to assist more research teams to reduce the difficulty when developing their own simulation platforms.

关键词： Control Engineering Discrete event systems Petri nets java language

来源：评论

学校读者我要写书评

暂无评论

java Teaching Reform Exploration Based on the Concept of CDIO Engineering 7

Java Teaching Reform Exploration Based on the Concept of CDI...

引用

7th International Conference on Information Technology in Medicine and Education (ITME)

作者： Gao, Yue Liu, Jinfeng Xie, Chengjun Zhang, Shuying Beihua Univ Coll Comp Sci & Technol Jilin 132021 Jilin Peoples R China Expt Middle Sch Yongji 132200 Jilin Peoples R China

ISBN: (纸本)9781467383028

Based on the latest international CDIO engineering education concept, the correspondence relationship between the four abilities of the java language teaching target and the CDIO education project idea is analyzed. The java teaching method based on CDIO engineering education idea is discussed. This teaching method is mainly from the aspects of theoretical teaching, experimental teaching and curriculum assessment to explore the java language teaching mode. In order to improve the quality of teaching, so that students can not only become a programmer with skilled use of java language, but also to improve the quality of a software engineer.

关键词： CDIO Engineering Concept java language Teaching Reform

来源：评论

学校读者我要写书评

暂无评论

State of the Art in Software Verification and Witness Validation: SV-COMP 2024 30th

State of the Art in Software Verification and Witness Valida...

引用

30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 27th European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. The competition evaluated 59 verification systems and 17 validation systems from 34 teams from 12 countries. This yields a good overview of the state of the art in tools for software verification. The competition was executed on a benchmark set with 30 300 verification tasks for C programs and 587 verification tasks for java programs. The specifications again included reachability, memory safety, overflows, and termination. This year was the second time that the competition had an extra competition track on witness validation. We introduced a new witness format 2.0, and a new scoring schema for the validation track. All meta data about the verification and validation tools are available in the FM-Tools repository.

关键词： Formal Verification Program Analysis Competition Software Verification Verification Tasks Benchmark Specification java language C language SV-COMP SV-Benchmarks BENCHEXEC COVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Teaching java Security to Enhance Cybersecurity Education

Teaching Java Security to Enhance Cybersecurity Education

引用

IEEE SoutheastCon

作者： Haywood, Adley Yu, Huiming Yuan, Xiaohong N Carolina Agr & Tech State Univ Dept Comp Sci Greensboro NC 27411 USA

ISBN: (纸本)9781479900534;9781479900527

java is a widely used programming language. How to use java to develop secure applications is critical. In order to effectively teaching knowledge of java security we have developed a course module titled "java Security". This paper presents the content of this module and reports our teaching experiences. This module has been successfully taught in COMP 360 Programming languages class in fall 2012 in the Department of Computer Science at North Carolina A&T State University. Our experience exhibits that teaching this module help students not only understand the java security features, but also gain significant knowledge of safe programming practice. Students' survey and feedback reflected that this module is very valuable in their educational experience. This module could be taught in junior and senior classes of software engineering, computer science and information technology.

关键词： java language security features

来源：评论

学校读者我要写书评

暂无评论

A Model for Field Data Collection and Transmission in e-Science Applications

A Model for Field Data Collection and Transmission in e-Scie...

引用

7th International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM)

作者： Qin Gang Wang Jinyi Yang Zhichao Dai Liangfeng Yan Baoping Chinese Acad Sci Comp Network Informat Ctr Beijing Peoples R China

ISBN: (纸本)9781424462520

e-Science is one of the research hotspots in recent years, which focuses on how to apply IT on other disciplines. How to collect and transmit field data is an immediate problem should be solved in e-Science for those disciplines involving field observation. This paper brings out a system for field data collection and transmission in an automatic and high efficient way combined with several kinds of communication methods. A demonstration system has been developed in java language to implement this system and has been verified to be good efficient in test.

关键词： e-Science application field data collection wireless network data communication data processing java language

来源：评论

学校读者我要写书评

暂无评论

An analyzable annotation language

An analyzable annotation language

引用

17th Meeting on Object-Oriented Programming, Systems, languages and Applications (OOPSLA 2002)

作者： Khurshid, S Marinov, D Jackson, D MIT Comp Sci Lab Cambridge MA 02139 USA

The Alloy Annotation language (AAL) is a language (under development) for annotating java code based on the Alloy modeling language. It offers a syntax similar to the java Modeling language (JML), and the same opportunities for generation of run-time assertions. In addition, however, AAL offers the possibility of fully automatic compile-time analysis. Several kinds of analysis are supported, including: checking the code of a method against its specification;checking that the specification of a method in a subclass is compatible with the specification in the superclass;and checking properties relating method calls on different objects, such as that the equals methods of a class (and its overridings) induce an equivalence. Using partial models in place of code, it is also possible to analyze object-oriented designs in the abstract: investigating, for example, a view relationship amongst objects. The paper gives examples of annotations and such analyses. It presents (informally) a systematic translation of annotations into Alloy, a simple first-order logic with relational operators. By doing so, it makes Alloy's automatic analysis, which is based on state-of-the-art SAT solvers, applicable to the analysis of object-oriented programs, and demonstrates the power of a simple logic as the basis for an annotation language.

关键词： verification languages specification language java language alloy modeling language alloy analyzer compile-time analysis

来源：评论

学校读者我要写书评

暂无评论

How the design of JML accommodates both runtime assertion checking and formal verification

引用

SCIENCE OF COMPUTER PROGRAMMING 2005年第1-3期55卷 185-208页

作者： Leavens, GT Cheon, Y Clifton, C Ruby, C Cok, DR Iowa State Univ Dept Comp Sci Ames IA USA Univ Texas Dept Comp Sci El Paso TX 79968 USA Eastman Kodak Co Res & Dev Labs Rochester NY USA

Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic mathematical operators, which discourages use by programmers, or limit assertions to expressions of the underlying programming language, which makes it difficult to write exact specifications. Moreover, using assertions that are expressions in the underlying programming language can cause problems both in runtime assertion checking and in formal verification, because such expressions can potentially contain side effects. The java Modeling language, JML, avoids these problems. It uses a side-effect free subset of java's expressions to which are added a few mathematical operators (such as the quantifiers \forall and \exists). JML also hides mathematical abstractions, such as sets and sequences, within a library of java classes. The goal is to allow JML to serve as a common notation for both formal verification and runtime assertion checking;this gives users the benefit of several tools without the cost of changing notations. (C) 2004 Elsevier B.V. All rights reserved.

关键词： specification languages runtime assertion checking formal methods program verification programming by contract java language JML language

来源：评论

学校读者我要写书评

暂无评论

Study Case of an Adaptive Educational Tool Oriented to University Students for an Object Orientation Course 11th

Study Case of an Adaptive Educational Tool Oriented to Unive...

引用

11th International Conference on Social Computing and Social Media (SCSM) Held as Part of the 21st International Conference on Human-Computer Interaction (HCI International)

作者： Gonzalez, Ninozka Cubillos, Claudio Roncagliolo, Silvana Mellado, Rafael Pontificia Univ Catolica Valparaiso Valparaiso Chile

ISBN: (纸本)9783030219055;9783030219048

The use of e-learning for educational purposes has been the focus of researchers for a long time, because of the difficulty to determine if a tool based on this concept is able to instruct the educational content that a professor can easily teach on a classroom. In this document the available tools and teaching methods to deliver Adaptive Learning to each user are investigated. Through the development of this paper, the adaptive techniques to be implemented to the Educational Tool are proposed;how and which contents will be presented to the students and which adaptation model will be applied to that content. Thanks to the investigations on the topic, and the analysis of the performance of the students on the Object Orientation course, from the Pontificia Universidad Catolica de Valparaiso (PUCV), preliminary models for the Educational and Adaptive Tool have been defined, with promising results.

关键词： E-learning Adaptive learning system Educational tool Adaptive Hypermedia System Object-Oriented Programming java language

来源：评论

学校读者我要写书评

暂无评论

Safely creating correct subclasses without seeing superclass code

Safely creating correct subclasses without seeing superclass...

引用

Conference on Object-Oriented Programming, Systems, Lnaguages & Applications (OOPSLA 00)

作者： Ruby, C Leavens, GT Iowa State Univ Dept Comp Sci Ames IA 50011 USA

A major problem for object-oriented frameworks and class libraries is how to provide enough information about a superclass, so programmers can safely create new subclasses without giving away the superclass's code. Code inherited from the superclass can call down to methods of the subclass, which may cause nontermination or unexpected behavior. We describe a reasoning technique that allows programmers, who have no access to the code of the superclass, to determine both how to safely override the superclass's methods and when it is safe to call them. The technique consists of a set of rules and some new forms of specification. Part of the specification would be generated automatically by a tool, a prototype of which is planned for the formal specification language JML. We give an example to show the kinds of problems caused by method overrides and how our technique can be used to avoid them. We also argue why the technique is sound and give guidelines for library providers and programmers that greatly simplify reasoning about how to avoid problems caused by method overrides.

关键词： downcalls subclass semantic fragile subclassing problem subclassing contract specification inheritance method refinement java language JML language

来源：评论

学校读者我要写书评

暂无评论

ABET Cybersecurity Continual Course Improvements for Secure Software Development

ABET Cybersecurity Continual Course Improvements for Secure ...

引用

IEEE Frontiers in Education Conference (FIE)

作者： Schmeelk, Suzanna E. Dragos, Denise M. DeBello, Joan E. St Johns Univ Collins Coll Profess Studies CCPS Dept Comp Sci Math & Sci New York NY 11439 USA

ISBN: (纸本)9781665438513

This is an innovative practice full paper. The need to develop software securely cannot be over-emphasized. The changing legal and regulatory international and local landscape for software requirements is astounding. For example, the European Union's General Data Protection Regulation (GDPR), the United States' Health Insurance Portability and Accountability Act (HIPAA), the Chinese Cybersecurity laws, and the credit card industry's Payment Card Industry Data Security Standard (PCI-DSS) are all upholding higher standards for system development and deployment. Such legal and regulatory changes of necessity require modifications and updating in software development methods that must be incorporated into cybersecurity software development courses to properly prepare students for successfully working in the field. To address these and other changes within the computing field, the Accreditation Board for Engineering (ABET) recently proposed preliminary cybersecurity accreditation criteria for which fewer than 20 universities have both applied and become ABET Cybersecurity accredited. The accreditation requires maintaining continuous course improvement in the core courses including a secure software development course. This research first reports on important topics incorporated into a senior-level secure software development for cybersecurity majors. Our research then analyses student Institutional Review Board (IRB) approved surveys to learn which course components could benefit from continuous course improvements. We apply machine learning to help build categories for ABET continual improvement. Finally, we share lessons learned and plans for future work.

关键词： secure software development object oriented programming scripting cybersecurity java language application development

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：