2006 30th Annual IEEE/NASA Software Engineering Workshop最新文献_第2页

Using Jaza to Animate RoZ Specifications of UML Class Diagrams 使用Jaza动画UML类图的RoZ规范

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.39

Y. Ledru

引用次数: 13

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages 使用视图为面向对象语言指定同步方面

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.41

R. Stirewalt, L. Dillon, R. Behrends

{"title":"Using Views to Specify a Synchronization Aspect for Object-Oriented Languages","authors":"R. Stirewalt, L. Dillon, R. Behrends","doi":"10.1109/SEW.2006.41","DOIUrl":"https://doi.org/10.1109/SEW.2006.41","url":null,"abstract":"It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software designs and code. Such is the intent of our synchronization units model (Szumo), which unifies new features for expressing synchronization in a multi-threaded program with existing features of an object-oriented language. However, to make effective use of a language extension, a programmer needs an accurate mental model of how new concepts affect and are affected by existing concepts. Moreover, good separation dictates that interactions between these concepts should be understandable at the level of the new concepts. This suggests that the semantics of Szumo should be specifiable as a self-contained partial specification, called a view, and the semantics of its integration with other language features should be specifiable by view composition. To our knowledge, however, view-based approaches have not been applied in specifying the semantics of language extensions. Moreover, devising separable views that serve to simplify comprehensibility of a complex specification is still more of an art than a science. This paper presents a case study in the use of views in structuring a Z specification of Szumo","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132601009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Analyzing and Systematizing Current Traceability Schemas 分析和系统化当前的可追溯性模式

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.12

Angelina Espinoza, P. Alarcón, J. Garbajosa

引用次数: 33

Cross-Platform Development: Software that Lasts 跨平台开发:持久的软件

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/MC.2006.337

J. Bishop, R. Horspool

引用次数: 18

Formal Z Specifications of Several Flat Role-Based Access Control Models 几种基于角色的平面访问控制模型的正式Z规范

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.20

A. Abdallah, E. Khayat

{"title":"Formal Z Specifications of Several Flat Role-Based Access Control Models","authors":"A. Abdallah, E. Khayat","doi":"10.1109/SEW.2006.20","DOIUrl":"https://doi.org/10.1109/SEW.2006.20","url":null,"abstract":"Role-based access control (RBAC) is a high level authorization mechanism in which access decisions are based on the roles that users hold within an organization. Because RBAC offers scalability, consistency and ease of maintenance, it is very useful, particularly for large organizations. RBAC has been used to describe authorization in a wide variety of applications ranging from operating systems and databases to complex information systems. Despite its widespread adoption, however, there doesn't seem to be a common agreement on the semantics of even key RBAC concepts. For examples, the definitions of fundamental terms such as subject, principal, role, task, and permission have been open to many different and sometimes inconsistent interpretations. This paper attempts to clarify and define essential RBAC concepts. Based on these definitions, a variety of state-based flat role based access control models are developed. These models have increasing degrees of complexity and are formulated in the specification notation Z. The starting point is a core RBAC model which, in turn, is successively refined into a series of flat RBAC models with increasing levels of details. The semantics of each model is captured by giving a precise formulation of its corresponding reference monitor which makes access control decisions","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127344956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Understanding Change Requests to Predict Software Impact 理解变更请求以预测软件影响

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.36

C. Ackermann, M. Lindvall

引用次数: 6

Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques 使用形式化建模技术评估和平衡软件体系结构的可靠性和性能

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.16

Jianli Xu

引用次数: 3

Software Project Management Tools: Making a Practical Decision Using AHP 软件项目管理工具:使用AHP做出实际决策

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.30

Norita B. Ahmad, P. Laplante

{"title":"Software Project Management Tools: Making a Practical Decision Using AHP","authors":"Norita B. Ahmad, P. Laplante","doi":"10.1109/SEW.2006.30","DOIUrl":"https://doi.org/10.1109/SEW.2006.30","url":null,"abstract":"The selection of an appropriate software project management tool, as in the selection of many other tools, is often approached using an ad hoc process. Such non-rigorous approaches often based on personal preference, intuition, or marketing hype, can lead to an erroneous result. In this paper a rigorous model for selecting a software project management tool using the analytical hierarchy process (AHP) is presented. The AHP provides a flexible, systematic, and repeatable evaluation procedure that can easily be understood by the decision maker in selecting the appropriate software project management tool. Several relevant factors based on the most common features offered by commercial off-the-shelf solutions (COTS) are used as the selection criteria in ranking the software project management tools. The contribution of this work is to apply a well-known decision making procedure in a novel way to help decision makers better identify an appropriate software project management tool without having to go through a more extensive evaluation process. In addition, this work establishes a framework for comparing individual product decisions across projects, project managers, organizational groups, and organizations","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131017567","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 65

Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System 目标预测:为自主生物识别系统设计一个分布式事件处理器

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.32

Roy Sterritt, E. Hanna, P. O'Hagan, G. Garrity

引用次数: 4

An Empirical Study on the Relationship between Defective Requirements and Test Failures 缺陷需求与测试失败关系的实证研究

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.9

R. Ferguson, G. Lami

引用次数: 21