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

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

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

ISBN: (纸本)9783030995270;9783030995263

The 11th edition of the Competition on Software Verification (SV-COMP 2022) provides the largest ever overview of tools for software verification. The competition is an annual comparative evaluation of fully automatic software verifiers for C and java programs. The objective is to provide an overview of the state of the art in terms of effectiveness and efficiency of software verification, establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. The competition consisted of 15 648 verification tasks for C programs and 586 verification tasks for java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). The new category on data-race detection was introduced as demonstration category. SV-COMP 2022 had 47 participating verification systems from 33 teams from 11 countries.

关键词： Formal verification Program analysis Competition Software verification Verification tasks Benchmark C language java language SV-Benchmarks BENCHEXEC COVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Analysis of the Motivation of Learners in the In-House Training of Programming in Japanese ICT Industries

Analysis of the Motivation of Learners in the In-House Train...

引用

24th IEEE-CS Conference on Software Engineering Education and Training (CSEEandT)/33rd International Conference on Software Engineering (ICSE)

作者： Tsukamoto, Hidekuni Nagumo, Hideo Takemura, Yasuhiro Matsumoto, Kenichi Osaka Univ Arts Dept Character Creat Arts Osaka Japan Niigata Seiryo Univ Dept Social Welfare & Psychol Niigata Japan Nara Inst Sci & Technol Grad Sch Informat Sci Nara Japan

ISBN: (纸本)9781457703485

In order to plan efficient and effective in-house training for programming, the characteristics of the motivation of learners in an in-house training of programming course, in an information and communication technology (ICT) industry, have been analyzed. In the in-house training course, 42 participants underwent a 16 day training program of java language. The analysis of the motivation was carried out using a questionnaire based on the ARCS motivation model. As a result, it has been found that the motivation of those who have a technology background is not necessarily higher than that of those who have a non-technology background.

关键词： ARCS motivation model Analysis of variance Companies Industries Japanese ICT industries java java language Programming profession Training computer science education in-house training industrial training learners motivation analysis programming

来源：评论

学校读者我要写书评

暂无评论

Discovering the needs of automation 15th

Discovering the needs of automation

引用

15th International Conference on Space Operations, SpaceOps 2018

作者： Nieves, Salor Moral Simone, Dionisi Ground Segment System Department RHEA Group Madrid Spain Ground Segment System Department SCISYS Deutschland GmbH Darmstadt64293 Germany

ISBN: (数字)9781624105623

ISBN: (纸本)9781624105623

This paper presents an analysis of the automation domain in the European Space Sector. From this history some conclusions are drawn showing how the same errors are being made several times. The ongoing European project EGS-CC is not exempt of such problematic and therefore as it is explained some issues are being raised by possible stakeholders. In the paper also, both solutions and questions proposed that players should considered for the close future. © 2018, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： European Space Agency European Space Operations Centre Ground Segment Pluto Integration Testing Software Engineering Spacecraft System Satellite Control java language Middleware

来源：评论

学校读者我要写书评

暂无评论

An Investigation into the Appropriateness of Using Agile Processes to Build an Educational Management Information System

An Investigation into the Appropriateness of Using Agile Pro...

引用

作者： Abdul Wahid Sammadyar University of the Western Cape

学位级别：硕士

Since there was a need for an Educational Management Information System (EMIS) in the Ministry of Education in Afghanistan, we designed and implemented a pro- totype for use in the ministry and investigated the appropriateness of using Agile methods for producing the EMIS. The prototype consisted of a database containing data about schools and a Dari interface which was used by educational planners, managers and policy makers of the ministry for decision making and planning. Agile methods are relatively new in software engineering and have an ap- proach and development guidelines which strive for user satisfaction and early incremental delivery of software. We adapt them to local conditions due to their collaborative client-developer approach. The interface, a key component, is easy to use and efficient. The key research result is an evaluation concerning the ap- propriateness of using Agile Methods for developing the EMIS. Focus groups and surveys were used to develop the prototype and accomplish the study.

关键词： Visual programming Agile Methods/Processes Design Education Management Information System (EMIS) Software Engineering Unified Modeling language (UML) Interface Database Ministry of Education Schools Afghanistan District Extreme Programming Dari java language Use case User Story

来源：评论

学校读者我要写书评

暂无评论

Multiaplikační čipové karty

Multiaplikační čipové karty

引用

作者： Meluzín, Ivo Brno University of Technology

Cílem diplomové práce je nejprve popsat možnosti širokého využití čipových karet v odvětvích běžného života. Je nutné následně zmínit hardwarové a softwar... 详细信息

Cílem diplomové práce je nejprve popsat možnosti širokého využití čipových karet v odvětvích běžného života. Je nutné následně zmínit hardwarové a softwarové vybavení chytrých čipových karet, jejich komunikaci s terminálem a datové zabezpečení. Zaměříme se v dalším pokračování práce na prostředí java Card, ve kterém se pokusíme vyzkoušet dvě aplikace, pro elektronickou peněženku a kontrolu identifikace uživatele s PIN. Na základě tohoto je třeba zmínit multiaplikační pravidla sdílení dat a objektů kartou. V závěru je nutné zaměřit se na možnosti vzájemného ovlivňování a také zabezpečení proti útoku z vnějšku i budoucí využití technologie.

关键词： Čipové karty Smart Card java Card autentizace uživatele elektronická peněženka applet APDU jazyk java zabezpečení java Card Chip cards Smart Card java Card user authenticate electronic purse applet APDU java language security of java Card

来源：评论

学校读者我要写书评

暂无评论

Perzistentní prostředí pro java Virtual Machine

Perzistentní prostředí pro Java Virtual Machine

引用

作者： Bayer, Jan Brno University of Technology

Tato bakalářská práce se věnuje problematice perzistence v jazyce java. Představuje a porovnává existující standardy a systémy, a zabývá se návrhem a implementac... 详细信息

Tato bakalářská práce se věnuje problematice perzistence v jazyce java. Představuje a porovnává existující standardy a systémy, a zabývá se návrhem a implementací perzistenčního prostředí pro platformu java SE s výstupem ve formě XML souborů.

关键词： perzistence jazyk java jvm jpa jdo ejb orm serializace persistence java language jvm jpa jdo ejb orm serialization Text

来源：评论

学校读者我要写书评

暂无评论

Aplikace pro výuku práce s regulárními výrazy

Aplikace pro výuku práce s regulárními výrazy

引用

作者： Heroutová, Tereza Brno University of Technology

Dokument se zabývá vznikem aplikace, která umožňuje interaktivní výuku práce s regulárními výrazy. Velký důraz je kladen na názorné podání lá... 详细信息

Dokument se zabývá vznikem aplikace, která umožňuje interaktivní výuku práce s regulárními výrazy. Velký důraz je kladen na názorné podání látky a efektivní uživatelské rozhraní tak, aby ovládání bylo co nejvíce intuitivní. V dokumentu je popsána teorie regulárních výrazů, pedagogická stránka věci, ale také vlastní implementace a možnosti budoucího rozšíření.

关键词： regulární výrazy grafické uživatelské rozhraní didaktika XML jazyk java knihovna Swing regular expressions graphical user interface didactics XML java language Swing toolkit Text

来源：评论

学校读者我要写书评

暂无评论

Enterprise nasazení platformy OSGi

Enterprise nasazení platformy OSGi

引用

作者： Pech, David Brno University of Technology

Práce se zabývá problematikou technologie OSGi, která nabízí odlišný přístup k modularitě jazyka java. Vývoj modularity jazyka je dán do souvislosti s novou technolog... 详细信息

Práce se zabývá problematikou technologie OSGi, která nabízí odlišný přístup k modularitě jazyka java. Vývoj modularity jazyka je dán do souvislosti s novou technologií. Práce rozebírá praktické aspekty OSGi přístupu od návrhu aplikace, přes její vývoj až po samotné nasazení a následnou údržbu. Dle uvedených doporučení je realizována demonstrační aplikace, nad kterou jsou prováděny zátěžové a další testy s cílem nasimulovat běžný provoz serverové aplikace. Práce v závěru zhodnocuje použití technologie OSGi jako celku při tvorbě rozsáhlých aplikací.

关键词： OSGi jazyk java Eclipse Virgo modularita sdílené knihovny serverové nasazení classloader OSGi java language Eclipse Virgo modularity shared libraries server deployment classloader Text

来源：评论

学校读者我要写书评

暂无评论

Compilação de bytecodes java para um ambiente de arquitetura reconfigurável

Compilação de bytecodes Java para um ambiente de arquitetu...

引用

作者： Lima, Willian dos Santos Universidade Estadual Paulista

Durante esta pesquisa, foram investigados conceitos relacionados à computação reconfigurável, processo de compilação e funcionamento da compilação java, especialmente no que se refere à manipulação de bytecodes. O principal objetivo é a elaboração conceitual de um compilador capaz de traduzir bytecodes de um aplicativo java para código binário obediente ao conjunto de instruções do processador Nios II da Altera®, acompanhada de algumas implementações. Com este compilador, será possível a construção de programas para dispositivos que utilizem o processador Nios II, como dispositivos de sistemas embarcados, a partir da linguagem java. Isto proporciona uma forma ágil para a elaboração de aplicativos para sistemas desse tipo. Implementações relevantes foram desempenhadas de forma a comprovar o funcionamento do referido compilador. Tais implementações abrangeram suporte de bytecodes referentes a um subconjunto da linguagem java, bem como a criação de estruturas de representação intermediária e mecanismos para geração de código final. Além disso, foram desenvolvidos um simulador e um montador de instruções do Nios II de forma a auxiliar no andamento do trabalho. Como resultado, pôde-se verificar que é possível o desenvolvimento de tal ferramenta e que sua existência contribui para o desenvolvimento de outras ferramentas ou aplicativos inseridos no contexto de computação reconfigurá*** this research, concepts concerning about reconfigurable computing, compiling process and java compilation were investigated, especially relating to bytecode generation. The goal of this research is twofold: first, the conceptual development of a compiler that is able to translate bytecodes from a java application to binary code compliant with Altera™ Nios II processor instruction set, and second, provide a set of appropriate implementations for the proposed compiler. With this compiler, it will be possible to construct programs for devices that use Nios II processor, as embedded syste

关键词： java (Linguagem de programação de computador) Linguagem de programação (Computadores) java language Dissertação de mestrado

来源：评论

学校读者我要写书评

暂无评论

Simulation of queuing system based on java

引用

Jisuanji Gongcheng/Computer Engineering 2006年第13期32卷 26-28+31页

作者： Tang, Yan Wang, Zhijian Wu, Yin College of Computer and Information Hohai University Nanjing 210098 China College of Electrical Engineering Hohai University Nanjing 210098 China

The basis of a general introduction of queuing systems, the mathematic characteristics of common queuing systems are analyzed, a new event driven algorithm is created and used to simulate M/M/c, M/M/c/N, G/G/c/ infinity /K, G/G/c/N/K queuing systems based on java. Finally, the results of simulations are evaluated and lead to the conclusion that the simulation of queuing system based on java using the new algorithm is fast, accurate and universal.

关键词： java language Kendall's notation Little's law Markov process Queuing systems Simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：