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

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

Towards integrated rule-driven software development for IT e...

引用

Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, DEST

作者： Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems; the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems.

关键词： Ecosystems Unified modeling language programming Computer architecture Ontologies Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling aspect-oriented compositions

引用

MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM

作者： Cottenier, Thomas Van Berg, Aswin Den Elrad, Tzilla Software and Systems Engineering Research Motorola Labs 1300 E Algonquin Road Schaumburg IL 60173 United States Concurrent Programming Research Group Illinois Institute of Technology 3300 S Federal Street Chicago IL 60616 United States

ISBN: (纸本)3540317805

Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QoS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach does not extend the semantics of the UML in order to represent aspects. Rather, it dedicates a metamodel to the representation of the composition semantics between aspects and core models. The paper illustrates this approach by presenting a model weaver for SDL statecharts developed at Motorola Labs. Crosscutting behavior is designed with plain SDL statecharts and encapsulated into modules called aspect beans. The weaver looks at the aspect beans and the core SDL statecharts from a perspective that is defined by lightweight extensions to the SDL and UML metamodels. A connector metamodel defines the structure of the aspect-to-core binding definition. Finally, a weaver behavioral metamodel defines composition primitives for specifying weaving strategies. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A language development environment for Eclipse

A language development environment for Eclipse

引用

2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03

作者： Van Den Brand, M.G.J. De Jong, H.A. Klint, P. Kooiker, A.T. CWI Dept. of Software Engineering Kruislaan 413 NL-1098 SJ Amsterdam Netherlands Hogeschool Van Amsterdam Instituut Informatica en Electotechniek Weesperzijde 190 NL-1097 DZ Amsterdam Netherlands University of Amsterdam Programming Research Group Kruislaan 403 NL-1098 SJ Amsterdam Netherlands

The ASF+SDF Meta-Environment provides a collection of tools for the generation of programming environments. We show how Eclipse can be extended with these generic language tools. By integrating the GUI and text editor of the Meta-Environment with Eclipse using TOOLBUS technology, we demonstrate the integration of third party, non-Java, software in Eclipse. By doing so, we create an experimentation framework for further programming language research. We describe our experiences and sketch future work.

关键词： File editors

来源：评论

学校读者我要写书评

暂无评论

Restructuring of COBOL/CICS legacy systems

Restructuring of COBOL/CICS legacy systems

引用

(CSMR) European Conference on software Maintenance and Reengineering

作者： A. Sellink H. Sneed C. Verhoef Programming Research Group University of Amsterdam Amsterdam Netherlands SES Software-Engineering Service GmbH Germany

We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large scale renovation of transaction processing systems can take place, they need to be restructured. We argue that teleprocessing systems are unstructured by their nature. We approach the problems from a technical viewpoint and we report on the methods and tools that are necessary to bring structure in transaction systems.

关键词： Control systems Testing Large-scale systems Process control Shape Assembly systems Automatic control Design methodology programming profession Stress

来源：评论

学校读者我要写书评

暂无评论

Term Rewriting for Sale

引用

Electronic Notes in Theoretical Computer Science 1998年 15卷 218-241页

作者： M.G.J. van den Brand P. Klint C. Verhoef Department of Software Engineering Centrum voor Wiskunde en Informatica (CWI) and Programming Research Group University of Amsterdam Amsterdam The Netherlands Programming Research Group University of Amsterdam Amsterdam The Netherlands

Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose interesting challenges for implementors and theoreticians alike. We give a brief overview of the generation of term-rewriting-based tools as done in the A SF +S DF Meta-Environment and then we sketch two major applications of term rewriting: transformation of legacy COBOL systems and compilation of A SF +S DF to C. Based on these experiences we suggest the study of topics that could further advance the use of term rewriting in industrial applications: persistent term databases, generalized LR parsing versus parallel term rewriting, and coordination languages versus strategy languages. It will turn out that we have an “alien” view on research in term rewriting: properties like confluence and termination are of very limited use when selling term rewriting to industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Current parsing techniques in software renovation considered harmful

Current parsing techniques in software renovation considered...

引用

IEEE Workshop on Program Comprehension

作者： M. van den Brand A. Sellink C. Verhoef Department of Software Engineering CWI Amsterdam Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands

We evaluate the parsing technology used by people working in the reengineering industry. We discuss parser generators and complete systems like Yacc, TXL, TAMPR, REFINE, CobolTransformer, COSMOS, and ASF+SDF. We explain the merits and drawbacks of the various techniques. We conclude that current technology may cause problems for the reengineering industry and that modular and/or compositional parsing techniques are a possible solution.

关键词： Natural languages software engineering Computer industry Refining Environmental economics Concrete Assembly

来源：评论

学校读者我要写书评

暂无评论

RATIONALE FOR AN ADA software engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS

引用

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 133-145页

作者： PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.

The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of computer technology. Computers embedded in mission critical Navy systems are integral to our strategic and tactical defense capabilities. Thus, the military power of the U.S. Navy is inextricably tied to the use of programmable digital computers. The computer program is the essential element that embodies the system “intelligence”. In addition, it provides the flexibility to respond to changing threats and requirements. However, this very flexibility and capability poses a host of difficulties hindering full realization of the advantages. This paper describes the lessons learned about computer program development over the past twenty five years and discusses a software engineering process that addresses these lessons. It then describes how Ada and its related Ada programming Support and Run-Time Environments foster this software engineering process to improve computer program productivity and achieve greater system reliability and adaptibility. Finally, the paper discusses how the use of Ada and its environments can enhance the interoperability and transferability of computer programs among Navy projects and significantly reduce overall life cycle costs for Navy mission critical computer programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Managed software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： software engineering software Management Management of Computing and Information Systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：