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

3rd International Summer School on Generative and Transformational Techniques in software Engineering

作者： Joerges, Sven Steffen, Bernhard Margaria, Tiziana Tech Univ Dortmund Chair Programming Syst Dortmund Germany Univ Potsdam Chair Serv & Software Engn Potsdam Germany

ISBN: (纸本)9783642180224

Automatic code generation is a key feature of model-driven approaches to software engineering. In previous publications on this topic, we showed that constructing code generators in a model-driven way provides a lot of advantages. We presented Genesys, a code generation framework which supports the model-driven construction of code generators based on service-oriented principles. With this methodology, concepts like bootstrapping and reuse of existing components enable a fast evolution of the code generation library. Furthermore, the robustness of the code generators profits from the application of formal methods. In this paper, we will show in detail how code generators are constructed with Genesys, in a tutorial-like fashion. As an example, we will build a code generator for HTML documentation from scratch.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Story telling approach for Integrating software Blocks

Story telling approach for Integrating Software Blocks

引用

2011 International Conference on Electrical Engineering and Informatics, ICEEI 2011

作者： Hariri, Hamizah Mohamad Marini, Abu Bakar Zin, Abdullah Mohd Programming and Software Technology Research Group Faculty of Information Science and Technology Universiti Kebangsaan Malaysia Malaysia

ISBN: (纸本)9781457707520

Story telling is a process of conveying events by words, images and sounds. It has been used in every culture as a means of entertainment, education or for instilling moral values. The power of story telling has now been realized by computer science and software engineering community. It has been argued that story telling will enable the actual requirement to be identified earlier in the software development process. This approach has also been identified as one of the most suitable approach for end-user software development. A number of software development environment based on story telling approach have been developed, such as Storytelling Alice and JPie. Storytelling Alice is a programming environment that enables end-users (in this case students) to create computer applications by creating short 3D animated movies. JPie is a programming environment that was designed to enable end-users to develop programs by using Java programming language. In this paper, we describe the design of a story telling approach for blocks integration in Block-Based software Development Environment. A block is basically a single-layer software component that can perform a specific function. It is assumed that in this environment, there will be a large number of blocks to be used by the end-users through story telling approach. End-users can develop applications by writing instructions for selecting, customizing and combining software blocks to form a learning application as target application. © 2011 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of Functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Development environment for layout design of e-commerce applications using block-based approach

Development environment for layout design of e-commerce appl...

引用

2011 International Conference on Electrical Engineering and Informatics, ICEEI 2011

作者： Rawi, Nor Haimimy Marini, Abu Bakar Bahari, Rokiah Zin, Abdullah Mohd Programming and Software Technology Research Group Fakulti Teknologi Dan Sains Maklumat Universiti Kebangsaan Malaysia Malaysia

ISBN: (纸本)9781457707520

E-commerce is a process of buying, selling, transferring or exchanging products or services via the Internet. It is expected that in the future, more and more business transactions will be carried out through e-commerce. The design of an e-commerce website plays a significant role in attracting potential customers to visit the site. It can also influence customer's decision to make purchase and to return to the site. Good e-commerce applications need to be developed by professional programmers and the cost is substantially high. With the advent of Web 2.0 technology, end-users are now able to create their own web content and applications such as blog, facebook and friendster. Some providers such as Google provide a mechanism for end-users to create web sites and host e-commerce applications. However, using these technologies, users can only select and customize the application according to provide templates. One of the main problems with this approach is that they do not support a flexible layout design. This implies that an end-user cannot change the layout of a selected template. This paper presents a flexible and easy to use block-based development environment for creating customized e-commerce applications. A block is a single layer software component that performs a single function. Concurrent project has developed blocks for e-commerce application. The proposed development environment is intended for non-programmer end-users to design and develop their own e-Commerce applications by selecting and positioning blocks on a page. © 2011 IEEE.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Next Generation LearnLib

引用

17th International Conference of Tools and Algorithms for the Construction and Analysis of Systems

作者： Merten, Maik Steffen, Bernhard Howar, Falk Margaria, Tiziana Tech Univ Dortmund Chair Programming Syst D-44227 Dortmund Germany Univ Potsdam Chair Serv & Software Engn Potsdam Germany

ISBN: (纸本)9783642198342

The Next Generation LearnLib (NGLL) is a framework for model-based construction of dedicated learning solutions on the basis of extensible component libraries, which comprise various methods and tools to deal with realistic systems including test harnesses, reset mechanisms and abstraction/refinement techniques. Its construction style allows application experts to control, adapt, and evaluate complex learning processes with minimal programming expertise.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Semantics-based composition of EMBOSS services

引用

Journal of Biomedical Semantics 2011年第1期2卷 1-21页

作者： Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Technical University Dortmund Chair for Programming Systems Dortmund D-44227 Germany Potsdam University Chair for Service and Software Engineering Potsdam D-14482 Germany

Background: More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, which is meant to address exactly this challenge, is currently one of the most ambitious projects in computer science. Collective efforts within the community have already led to a basis of standards for semantic service descriptions and meta-information. In combination with process synthesis and planning methods, such knowledge about types and services can facilitate the automatic composition of workflows for particular research questions. Results: In this study we apply the synthesis methodology that is available in the Bio-jETI workflow management framework for the semantics-based composition of EMBOSS services. EMBOSS (European Molecular Biology Open software Suite) is a collection of 350 tools (March 2010) for various sequence analysis tasks, and thus a rich source of services and types that imply comprehensive domain models for planning and synthesis approaches. We use and compare two different setups of our EMBOSS synthesis domain: 1) a manually defined domain setup where an intuitive, high-level, semantically meaningful nomenclature is applied to describe the input/output behavior of the single EMBOSS tools and their classifications, and 2) a domain setup where this information has been automatically derived from the EMBOSS Ajax Command Definition (ACD) files and the EMBRACE Data and Methods ontology (EDAM). Our experiments demonstrate that these domain models in combination with our synthesis methodology greatly simplify working with the large, heterogeneous, and hence manually intractable EMBOSS collection. However, they also show that with the information that can be derived from the (current) ACD files and EDAM ontology alone, some essential connections between services can not be recognized. Conclusions: Our results show that adequate domain m

关键词： Service Description Synthesis Algorithm Input Type Synthesis Methodology Electronic Tool Integration

来源：评论

学校读者我要写书评

暂无评论

Security goals assurance based on software active monitoring

Security goals assurance based on software active monitoring

引用

International Conference on Secure software Integration and Reliability Improvement

作者： Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany

ISBN: (纸本)9780769544533

Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper we present how to predict whether the information flow security goal is violated or not during runtime how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus a closed-loop system is generated that all behavior sequences will satisfy the security goals. © 2011 IEEE.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Resource-aware programming and simulation of MPSoC architectures through extension of X10 11

Resource-aware programming and simulation of MPSoC architect...

引用

Proceedings of the 14th International Workshop on software and Compilers for Embedded Systems

作者： Hannig, Frank Roloff, Sascha Snelting, Gregor Teich, Jürgen Zwinkau, Andreas Hardware/Software Co-Design Department of Computer Science University of Erlangen Nuremberg Germany Programming Paradigms Group Karlsruhe Institute of Technology - KIT Germany

ISBN: (纸本)9781450307635

The efficient use of future MPSoCs with f 000 or more processor cores requires new means of resource-aware programming to deal with increasing imperfections such as process variation, fault rates, aging effects, and power as well as thermal problems. In this paper, we apply a new approach called invasive computing that enables an application programmer to spread computations to processors deliberately and on purpose at certain points of the program. Such decisions can be made depending on the degree of application parallelism and the state of the underlying resources such as utilization, load, and temperature. The introduced programming constructs for resource-aware programming are embedded into the parallel computing language X10 as developed by IBM using a library-based approach. Moreover, we show how individual heterogeneous MPSoC architectures may be modeled for subsequent functional simulation by defining compute resources such as processors themselves by lightweight threads that are executed in parallel together with the application threads by the X10 run-time system. Thus, the state changes of each hardware resource may be simulated including temperature, aging, and other useful monitor functionality to provide a first high-level programming test-bed for invasive computing. Copyright © 2011 ACM.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Story telling approach for Integrating software Blocks

Story telling approach for Integrating Software Blocks

引用

International Conference on Electrical Engineering and Informatics, ICEEI

作者： Hamizah Mohamad Hariri Abu Bakar Marini Abdullah Mohd Zin Programming and Software Technology Research Group Universiti Kebangsaan Malaysia

关键词： software programming profession Educational institutions Writing Visualization

来源：评论

学校读者我要写书评

暂无评论

The design of blocks integration tool to support end-user programming

The design of blocks integration tool to support end-user pr...

引用

International Conference on Electrical Engineering and Informatics, ICEEI

作者： Siti Norhudha Sarif Sufian Idris Abdullah Mohd Zin Programming and Software Technology research Group Universiti Kebangsaan Malaysia

End-user programming is a term that refers to computer programming carried out by end users who do not necessarily have a background in writing programs in conventional programming languages. There is much interest amongst end-users to be able to write their own programs. In order to support end-user programming, the concept of Block Based software Development has been introduced. In this environment, end-users can develop applications by selecting, customizing and combining software blocks. A block is basically a single-layer software component that can perform a specific function. It is assumed that in this environment, there will be a large number of blocks available to be used by the end-users. Block Integration Tool is an Integrated Development Environment (IDE) that can be used by end-users to develop applications. By using this tool, end-users can select a block and then drag it into the work area. Customization can be done by changing some properties of the block such as colour, text, audio and video content. This block can then be combined with the existing blocks in the work area. Once the process of selecting and combining blocks is completed, an application can then be generated. Implementations are carried out using Netbeans version 6.9. The evaluation of the tool will be carried out to ensure that it is suitable to be used by end users.

关键词： programming Connectors software User interfaces Writing Computer languages Color

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：