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

software engineering design methodologies and general systems theory

INTERNATIONAL JOURNAL OF GENERAL SYSTEMS 1996年第1-2期24卷 43-94页

作者： Palmer, KD [a] Software Engineering Technologist Garden Grove California

The relation between software Engineering and General Systems Theory is explored. They are found to be dual meta-disciplines which need each other. It is discovered that there is a simple connection between the background variables of Klir's GSPS and software design Methodological Viewpoints. This connection motivates a look at the ontological assumptions underlying the two meta-disciplines which underlies the epistemological framework of GSPS. That framework is used to attempt to understand the nature of the different manifestations of software. This leads to an in depth look at the essence of software which in turn leads to the extension of the epistemological lattice of GSPS. The article shows the complex ways in which software Engineering Methods and General Systems Theory intertwine at the ontological and epistemological levels which causes us to understand both differently than we would have understood them separately. The point of the article is to show how these two meta-disciplines need and intimately involve each other at a fundamental level and in fact co-arise from each other in spite of the fact that one is extremely general and the other extremely concrete. The object is to establish a basis for software engineers and general systems theoriests to learn from each other based on a common framework for understanding software Systems.

关键词： software engineering systems theory software design methodologies GSPS epistemological framework autopoiesis ontology magician systems reflexsive systems

来源：评论

学校读者我要写书评

暂无评论

Semantics-preserving design of embedded control software from synchronous

引用

IEEE TRANSACTIONS ON software ENGINEERING 2007年第8期33卷 497-509页

作者： Mangeruca, Leonardo Baleani, Massimo Ferrari, Alberto Sangiovanni-Vincentelli, Alberto PARADES GEIE I-00186 Rome Italy Univ Calif Berkeley Dept Elect Engn & Comp Sci Berkeley CA 94720 USA

The design of embedded controllers is experiencing a growth in complexity as embedded systems increase their functionality while they become ubiquitous in electronic appliances, cars, airplanes, etc. As requirements become more challenging, mathematical models gain importance for mastering complexity. Among the different computational models proposed, synchronous models have proved to be the most widely used for control dominated applications. While synchronous models simplify the way of dealing with concurrency by decoupling functional and timing aspects, their software implementation on multitasking and multiprocessor platforms is far from straightforward, because of the asynchronous nature of most industrial software platforms. Known solutions in the literature either restrict the solution space or focus on special cases. We present a method for preserving the synchronous semantics through buffer-based intertask communication mechanisms, grounded on an abstraction of the target platform. This allows us to deal with any task set and, most importantly, being independent of the implementation, to explore the design space effectively.

关键词： software design methodologies protection mechanisms embedded software design

来源：评论

学校读者我要写书评

暂无评论

Formalising high-performance systems methodologies

引用

JOURNAL OF SYSTEMS ARCHITECTURE 1999年第6-7期45卷 441-464页

作者： Justo, GRR Howells, P d'Inverno, M Univ Westminster Cavendish Sch Comp Sci London W1M 8JS England

This paper presents a Z formal framework to describe software design methodologies (SDM) for high-performance systems (HPS). The framework consists of two main parts: the characterisation of the main activities in the development of HPS, and the components of the SDM (concepts, artifacts, representation and actions) which are essential for any methodology. The framework relates these two parts by identifying generic components of each activity that can be used to classify and formalise SDM for HPS. This is illustrated in the paper by presenting part of the specification of a well-known method. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： Z formal framework software design methodologies high-performance systems

来源：评论

学校读者我要写书评

暂无评论

The State of Practice in Model-Driven Engineering

引用

IEEE software 2014年第3期31卷 79-85页

作者： Whittle, Jon Hutchinson, John Rouncefield, Mark Univ Lancaster Sch Comp & Commun Lancaster LA1 4YW England

Despite lively debate over the past decade on the benefits and drawbacks of model-driven engineering (MDE), there have been few industry-wide studies of MDE in practice. A new study that surveyed 450 MDE practitioners and performed in-depth interviews with 22 more suggests that although MDE might be more widespread than commonly believed, developers rarely use it to generate whole systems. Rather, they apply MDE to develop key parts of a system. [ABSTRACT FROM AUTHOR]

关键词： MDE model driven engineering practice software design software design methodologies

来源：评论

学校读者我要写书评

暂无评论

Interaction Protocols as design abstractions for business processes

引用

IEEE TRANSACTIONS ON software ENGINEERING 2005年第12期31卷 1015-1027页

作者： Desai, N Mallya, AU Chopra, AK Singh, MP N Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA Veraz Networks San Jose CA 95131 USA

Business process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the pi-calculus.

关键词： multiagent systems software reuse interaction-based modeling software design methodologies rule-based processing pi-calculus

来源：评论

学校读者我要写书评

暂无评论

Automatic Deployment of an RPAS Mission Manager to an ARINC-653 Compliant System

引用

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS 2018年第3-4期92卷 587-598页

作者： Usach, Hector Vila, Juan A. Crespo, Alfons Yuste, Pedro Univ Politecn Valencia Inst Automat & Informat Ind Cami de Vera S-N Valencia Spain Univ Politecn Valencia Inst Aplicac Tecnol Informac & Comunicac Avanzada Cami de Vera S-N Valencia Spain

The development process of avionics system requiring a high level of safety is subjected to rigorous development and verification standards. In order to accelerate and facilitate this process, we present a testbed that uses a suite of methods and tools to comply with aerospace standards for certification. To illustrate the proposed methodology, we designed a Mission Management System for Remotely Piloted Aircraft Systems (RPAS) that was deployed on a particular run-time execution platform called XtratuM, an ARINC-653 compliant system developed in our research group. The paper discusses the system requirements, the software architecture, the key issues for porting designs to XtratuM, and how to automatize this process. Results show that the proposed testbed is a good platform for designing and qualifying avionics applications.

关键词： software design methodologies software architectures Integrated modular avionics Mission managers RPAS

来源：评论

学校读者我要写书评

暂无评论

Is "Deny Access" a Valid "Fail-Safe Default" Principle for Building Security in Cyberphysical Systems?

引用

IEEE SECURITY & PRIVACY 2019年第5期17卷 90-93页

作者： Massacci, Fabio Univ Trento Trento Italy

In 1975, Saltzer and Schroeder (S&S) elucidated eight design principles that shaped decades of security research and development.1 Some of them are listed as key tenets of security protocols2 in software design me... 详细信息

In 1975, Saltzer and Schroeder (S&S) elucidated eight design principles that shaped decades of security research and development.¹ Some of them are listed as key tenets of security protocols² in software design methodologies, such as Microsoft's Spoofing, Tampering, Repudiation, Information Disclosure, Denial of Service, and Elevation of Privilege threat model,^3,4 and in McGraw's 2004 article "software Security" in IEEE Security & Privacy.⁵

关键词： Cyber Physical Systems Data Privacy Protocols Research And Development software Engineering Cyberphysical Systems Security Protocols software design methodologies Microsofts Spoofing Deny Access Building Security software Security IEEE Security And Privacy Fail Safe Default Principle Security Research And Development Tampering Repudiation Information Disclosure Denial Of Service Elevation Of Privilege Threat Model Computer Security software Engineering Heating Systems Cyber Physical Systems Internet Safety Smart Buildings

来源：评论

学校读者我要写书评

暂无评论

Learning to Control the Program Evolution Process with Cultural Algorithms

引用

EVOLUTIONARY COMPUTATION 1997年第2期5卷 181-211页

作者： Zannoni, Elena Reynolds, Robert G. Wayne State Univ Dept Comp Sci Detroit MI 48202 USA

Traditional software engineering dictates the use of modular and structured programming and top-down stepwise refinement techniques that reduce the amount of variability arising in the development process by establishing standard procedures to be followed while writing software. This focusing leads to reduced variability in the resulting products, due to the use of standardized constructs. Genetic programming (GP) performs heuristic search in the space of programs. Programs produced through the GP paradigm emerge as the result of simulated evolution and are built through a bottom-up process, incrementally augmenting their functionality until a satisfactory level of performance is reached. Can we automatically extract knowledge from the GP programming process that can be useful to focus the search and reduce product variability, thus leading to a more effective use of the available resources? An answer to this question is investigated with the aid of cultural algorithms. A new system, cultural algorithms with genetic programming (CAGP), is presented. The system has two levels. The first is the pool of genetic programs (population level), and the second is a knowledge repository (belief set) that is built during the GP run and is used to guide the search process. The microevolution within the population brings about potentially meaningful characteristics of the programs for the achievement of the given task, such as properties exhibited by the best performers in the population. CAGP extracts these features and represents them as the set of the current beliefs. Beliefs correspond to constraints that all the genetic operators and programs must follow. Interaction between the two levels occurs in one direction through the extraction process and, in the other, through the modulation of an individual's program parameters according to which, and how many, of the constraints it follows. CAGP is applied to solve an instance of the symbolic regression problem, in which a funct

关键词： Genetic programming cultural algorithms software design methodologies software metrics machine learning of software design concepts design concept reuse

来源：评论

学校读者我要写书评

暂无评论

Three Innovative software Engineering methodologies 2

Three Innovative Software Engineering Methodologies

引用

2nd Annual Global Online Conference on Information and Computer Technology (GOCICT)

作者： Foster, Elvis C. Keene State Coll Dept Comp Sci Comp Sci Keene NH 03135 USA

ISBN: (纸本)9781509023141

software engineering has come to the stage where speed of development, level of correctness, interoperability, user friendliness, usefulness, and reusability in different projects are very important factors in determining the success of a software engineering venture. Equally important is the use of methodologies for software design. In just over six decades, we have seen the progress of software design from an amorphous set of informal methodologies to structured techniques, formal methodologies, and object-oriented methodologies. In the area of object-oriented methodologies (OOM), the unified modeling language (UML) has made a significant contribution in defining a set of methodologies that can be applied to any software engineering effort. This paper draws on the UML methodologies and proposes three methodologies that could add richness and additional flexibility to the software engineering experience. They are system topology charts, object/entity specification grid, and the extended operation specification. The system topology charts include an information topology chart (ITC) that presents the object types and/or information entities in the way they will be managed in the software system, and a user interface topology chart (UITC) that presents operations the way they will appear in the system. The object/entity specification grid (O/ESG) adopts the conventions of the UML class diagram, but expands it to include additional critical information that lead to better software construction. The extended operation specification (EOS) embraces the UML guidelines for the activity diagram, but is flexible enough to include other techniques such as pseudo-code, Warnier-Orr diagram, and collaboration diagram. It also allows for the specification of other critical information not covered in these standard techniques.

关键词： software design methodologies software Documentation software Requirements Engineering Database Specification User Interface design

来源：评论

学校读者我要写书评

暂无评论

An experience of a CORBA based architecture for Computer Integrated Manufacturing

An experience of a CORBA based architecture for Computer Int...

引用

8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001)

作者： Curto, B García, FJ Moreno, V González, J Moreno, A Univ Salamanca Dept Comp Sci Fac Ciencias E-37008 Salamanca Spain

Main limitations of the robotic workcell software design can be exposed in terms of rigidity and low levels of reusability, so temporal and economic costs related with software development are very high. In this paper we are going to present a software architecture design with a layered structure. This architecture includes a middleware layer, which guarantees that a decentralized control can be performed, which let us to a higher degree of flexibility. In order to prove the validity of this design, a set of components is being implemented in an industrial-like robotic workcell.

关键词： Automated Manufacturing Systems middleware software design methodologies component based architecture product lines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：