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

7th IEEE International Conference and Workshop on engineering of Autonomic and Autonomous Systems, EASe 2010

作者： Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany

ISBN: (纸本)9780769540047

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues. © 2010 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

engineering self-coordinating software intensive systems

Engineering self-coordinating software intensive systems

引用

FSE/SDP Workshop on the Future of software engineering Research, FoSER 2010

作者： Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450304276

It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of software engineering Research. This workshop was organized in collaboration with and made possible by generous support from the software Design and Productivity Coordinating Group (SDP) of the U.S. National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITRD), and the National Science Foundation (NSF). This one-time, international working conference has brought together top academic and industrial researchers and government research funding agency personnel from around the world to engage in an extended discussion of consequential new ideas about the future of our field. The ideas produced by this workshop will be disseminated in two forms. First, the position papers accepted by the program committee will be published in a companion to the Proceedings of FSE-18. Second, the workshop findings will be published subsequently in a special report by NITRD/SDP. The call for papers for FoSER 2010 solicited 4-page position papers with new ideas about the future of software and software-reliant systems, and the research that will be needed to meet future needs. Papers were expected to be creative and thought-provoking, and to articulate compelling new perspectives, positions, problem formulations, assumptions and approaches. The workshop did not seek, and did not accept, technical research papers or abstracts. The workshop received a total of 139 position papers. Of these, 90 papers (65%) were accepted. Each paper was reviewed by at least two members of the workshop program committee. The committee was asked to accept all papers presenting significant new ideas about how our field should move forward. Copyright 2010 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Guest editor's introduction

引用

International Journal on software Tools for Technology Transfer 2009年第3期11卷 173-174页

作者： Hinchey, Mike Margaria, Tiziana Steffen, Bernhard Lero The Irish Software Engineering Research Centre Limerick Ireland Department of Service and Software Engineering University of Potsdam Potsdam Germany Department of Programming Systems TU Dortmund Dortmund Germany

来源：评论

学校读者我要写书评

暂无评论

Mashup development for everybody: A planning-based approach

Mashup development for everybody: A planning-based approach

引用

3rd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web, SMR2 2009, Collocated with the 8th International Semantic Web Conference, ISWC 2009

作者： Kubczak, Christian Margaria, Tiziana Steffen, Bernhard Department of Programming Systems TU Dortmund Germany Service and Software Engineering Universität Potsdam Germany

Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and web services are used for this purpose, all addressing users with significant IT background. This paper aims at extending the power of mashup development to end users and application experts by automatically taking care of the tedious technical details like interface speci fications, types, and syntactic constraints. In detail we support simple and intuitive mashup specifications which are automatically completed to runnable mashups by means of service discovery-like methods and planning. We illustrate our approach by means of a concrete case study executed within our jABC/jETI development and (remote) execution framework.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Semantics-based composition of EMBOSS services with Bio-jETI

Semantics-based composition of EMBOSS services with Bio-jETI

引用

Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2009

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

Bio-jETI is a framework for model-based, graphical design, execution and management of bioinformatics analysis processes. Formal methodology like automatic service composition extends the framework and, in particular, allows for semantically aware workow development. In this study we apply the workow synthesis methodology to the EMBOSS suite of sequence analysis tools. As neither the tool suite itself nor its various interfaces provide ready-to-use semantic annotations, we set up a domain model that uses a high-level, semantically meaningful type nomenclature to describe the input/output behavior of the single EMBOSS tools. Based on this domain model, we demonstrate how working with the large, heterogeneous, and hence manually intractable EMBOSS collection is simplified by our service composition methodology.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Code Generation for Secure Smart Card Applications

Model-Driven Code Generation for Secure Smart Card Applicati...

引用

Australian Conference on software engineering

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

ISBN: (纸本)9781424437689

SecureMDD is a model-driven approach to develop secure systems with a special focus on smart card applications. Based on a platform-independent UML model of the system under development we generate a platform-specific model, and finally executable code. The Secure MDD approach also allows to generate a formal specification where security properties can be proven formally. In this paper we describe the automatic generation of Java Card code from UML class and activity diagrams in detail. The full code running on the smart card is generated which is not trivial because of the limitations of smart cards and the specialties of Java Card.

关键词： Smart cards Application software Security Java software engineering Unified modeling language Formal specifications Service oriented architecture Protocols Computer languages

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A framework for extrapolating behavioral models

引用

International Journal on software Tools for Technology Transfer 2009年第5期11卷 393-407页

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese Margaria, Tiziana Department of Programming Systems TU Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Information Technology Uppsala University 751 05 Uppsala Sweden Department of Services and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany

In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. © Springer-Verlag 2009.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

SecureMDD: A Model-Driven Development Method for Secure Smar...

引用

International Conference on Availability, Reliability and Security, ARES

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

In this paper we introduce our model-driven software engineering method, called SecureMDD, which facilitates the development of security-critical applications that are based on cryptographic protocols. The approach seamlessly integrates the generation of code and formal methods. Starting with a platform-independent UML model of a system under development, we generate executable Java (Card) code as well as a formal model from the UML model. Subsequent to this, the formal model is used to verify the security of the modeled system. Our goal is to prove that the generated code is correct w.r.t. the generated formal model in terms of formal refinement. The approach is tailored to the domain of security-critical systems, e.g. smart card applications.

关键词： Smart cards Unified modeling language Security Java Application software software engineering Cryptographic protocols Availability Computer languages Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education

Work in progress - IEEEXtreme: From a student competition to...

引用

39th Annual Frontiers in Education Conference: Imagining and engineering Future CSET Education, FIE 2009

作者： MacHado, Ricardo J. Guerreiro, Pedro Johnston, Elizabeth Delimar, Marko Brito, Miguel A. University of Minho Portugal Department of Software Engineering United States University of Algarve Portugal Department of Computer of Programming United States University of Alaska Fairbanks United States University of Zagrab Croatia

ISBN: (纸本)9781424447152

IEEEXtreme is an IEEE Student Activities Committee initiative to create a worldwide programming contest for IEEE Student Branches. The success of the past editions and the way IEEEXtreme is evolving, suggests that it will become the only worldwide competition capable of promoting the computer programming skills of collegiate students within a global software engineering approach of real-world programming problems. Real-world problems that require programming skills are invariably framed within a software engineering approach, where code writing is just the visible dimension of the global effort. Professionals are increasingly compelled to work in multidisciplinary contexts where soft skills are as important as technical ones. This reality should be expressly considered when educational courses are planned to teach programming techniques at undergraduate level. This paper discusses the positive impact that worldwide events like IEEEXtreme might have on the adoption of Problem Based Learning approaches in programming education at undergraduate computing degree programs. ©2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Generating formal specifications for security-critical applications - A model-driven approach

Generating formal specifications for security-critical appli...

引用

International Workshop on software engineering for Secure Systems (SESS)

作者： Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9781424437252

The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under development. This model-driven approach is focused on security-critical applications that are based on cryptographic protocols, especially Java Card applications. In this paper we describe the generation of the formal specification from the UML model which is then used as input for our interactive verification system KIV. The formal specification is based on abstract state machines and algebraic specifications. It allows to formulate and to prove application-specific security properties.

关键词： Formal specifications Object oriented modeling Unified modeling language Cryptographic protocols Java Security Application software software engineering Computer languages Computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：