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

4th International Conference on Advanced Computing and Communication Technologies (ACCT)

作者： Kumar, Gaurav Bhatia, Pradeep Kumar GJUS & T Deptt Comp Sci & Engn Hisar Haryana India

ISBN: (纸本)9781479949106

software engineering aims to produce a quality software product that is delivered on time, within the allocated budget, and with the requirements expected by the customer but unfortunately maximum of the times this goal is rarely achieved. A software life cycle is the series of identifiable stages that a software product undergoes during its lifetime. However, a properly managed project in a matured software engineering environment can consistently achieve this goal. This research is concerned with the methodologies that examine the life cycle of software through the development models, which are known as software development life cycle. Hereby, we are representing traditional i.e. waterfall, Iteration, Spiral models as well as modern development methodologies like Agile methodologies that includes Extreme programming, Scrum, Feature Driven Development;Component based software development methodologies etc. All of these models have advantages and disadvantages as well. Therefore, the main objective of this research is to represent different models of software development by showing the good and bad practices of each model. A comparative analysis of traditional as well as modern methodologies is made.

关键词： software engineering software engineering models Traditional models Modern models

来源：评论

学校读者我要写书评

暂无评论

A framework for Modeling and implementing visual notations with applications to software engineering

引用

ACM TRANSACTIONS ON software engineering AND METHODOLOGY 2004年第4期13卷 431-487页

作者： Costagliola, G Deufemia, V Polese, G Univ Salerno Dipartimento Matemat & Informat I-84084 Fisciano SA Italy

We present a framework for modeling visual notations and for generating the corresponding visual programming environments. The framework can be used for modeling the diagrammatic notations of software development methodologies, and to generate visual programming environments with CASE tools functionalities. This is accomplished through an underlying modeling process based on the visual notation syntactic model of eXtended Positional Grammars ( XPG, for short), and the associated parsing methodology, XpLR. In particular, the process requires the modeling of the basic elements ( visual symbols) of a visual notation, their syntactic properties, the relations between them, the syntactic rules to formally define the set of feasible visual sentences, and a set of semantic routines performing additional checks and translation tasks. Such a process is completely supported by the VLDesk system, which enables the automatic generation of an editor for drawing visual sentences, as well as a processor for their recognition, parsing, and translation into other notations. The proposed framework also provides the basis for the definition of a meta-CASE technology. In fact, we can customize the generated visual programming environment in terms of the supported visual notation, its syntactic properties, and the translation rules. We have used this framework to model several diagrammatic notations used in software development methodologies, including those of the Unified Modeling Language.

关键词： algorithms design languages LR parsing meta-CASE metamodeling software engineering models UML visual grammars visual notations

来源：评论

学校读者我要写书评

暂无评论

Towards an institution for Object-Z specifications

引用

INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY 2013年第2-3期47卷 125-137页

作者： Bettaz, Mohamed Maouche, Mourad Mosteghanemi, M'hamed ESI Lab Methodes Concept Syst Algiers Algeria Philadelphia Univ Amman Jordan

Despite its three decades of existence, institution theory continues still to inspire new trends and approaches in the field of formal specification and programming. One such an approach is the so-called 'Grothendieck institution' approach to multi-logic heterogeneous specification paradigm, emphasising the idea that for some kinds of applications it is more suitable to use a 'composite institution' (capable to capture multiple views) rather than a single one. In this work, we define an institution for a 'subset' of Object-Z notation and prove that it has amalgamation. This property is useful for the behaviour of Object-Z specifications in-the-large and for their integration in the framework of a heterogeneous institution supporting a multimodelling language based on UML and Object-Z.

关键词： software engineering models software technology institution theory category theory UML Object-Z

来源：评论

学校读者我要写书评

暂无评论

Managing software Processes with the Multi-Dimensional Resource Space Model 14

Managing Software Processes with the Multi-Dimensional Resou...

引用

14th International Conference on Semantics, Knowledge and Grids (SKG)

作者： Rafi, Muhammad Adnan Aston Univ Dept Engn & Appl Sci Birmingham W Midlands England

ISBN: (纸本)9781728104416

The main aim of software engineering is to develop a software system, which fulfils the user requirements within time and budget constraints. This paper uses the multi-dimensional Resource Space Model to manage multiple types of software engineering processes and maps their features into multiple dimensions for supporting analysis, development and maintenance of software system. Two case studies show that the Resource Space Model is feasible to use for managing the software processes and data.

关键词： Resources Space Model Multidimensional Categorization software engineering models Agile Approach software engineering Methods Plan-Driven Approach

来源：评论

学校读者我要写书评

暂无评论

software Quality Assurance, First Edition 1

引用

2017年

作者： Claude Y. Laporte Alain April

ISBN: (数字)9781119312451

ISBN: (纸本)9781118501825

This book introduces software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide and solutions Applies IEEE software standards as well as the Capability Maturity Model Integration for Development (CMMI) Illustrates the application of software quality assurance practices through the use of practical examples, quotes from experts, and tips from the authors

关键词： software quality assurance quality culture quality requirements software engineering standards software engineering models software audit software verification software validation software configuration management risk management

来源：评论

学校读者我要写书评

暂无评论

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

引用

ACM Transactions on software engineering and Methodology 1000年

作者： Simon Foster Chung-Kil Hur Jim Woodcock University of York UK Seoul National University South Korea Southwest University China Aarhus University Denmark and University of York UK

Model execution allows us to prototype and analyse software engineering models by stepping through their possible behaviours, using techniques like animation and simulation. On the other hand, deductive verification allows us to construct formal proofs demonstrating satisfaction of certain critical properties in support of high-assurance software engineering. To ensure coherent results between execution and proof, we need unifying semantics and automation. In this paper, we mechanise Interaction Trees (ITrees) in Isabelle/HOL to produce an execution and verification framework. ITrees are coinductive structures that allow us to encode infinite labelled transition systems, yet they are inherently executable. We use ITrees to create verification tools for stateful imperative programs, concurrent programs with message passing in the form of the CSP and Circus languages, and abstract system models in the style of the Z and B methods. We demonstrate how ITrees can account for diverse semantic presentations, such as structural operational semantics, a relational program model, and CSP's failures-divergences trace model. Finally, we demonstrate how ITrees can be executed using the Isabelle code generator to support the animation of models.

关键词： Interaction Trees (ITrees) Isabelle/HOL Model Execution Deductive Verification Coinductive Structures Formal Methods CSP (Communicating Sequential Processes) Circus Language Z and B Methods Structural Operational Semantics Theorem Proving Proof Automation software engineering models Model Execution High-Assurance software Automated Program Verification Code Generation Animation and Simulation UTP (Unifying Theories of Programming) Imperative Programming Verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：