发布求助
文献互助 智能选刊 最新文献

Proceedings of the (19th) International Conference on Software Engineering最新文献

筛选
英文 中文
Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models 构建多形式化状态空间分析工具:使用规则指定模型的动态语义
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253278
M. Pezzè, M. Young
{"title":"Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models","authors":"M. Pezzè, M. Young","doi":"10.1145/253228.253278","DOIUrl":"https://doi.org/10.1145/253228.253278","url":null,"abstract":"P.za Leonardo da Vinci, 32 20133 Milano, Italia pezze@elet.polimi.it State-space analysis techniques have been developed for several representations of concurrent systems, but each tool or technique has typically been targeted to a single design or program notation. We describe an approach to constructing multi-formalism state-space analysis tools for heterogeneous system descriptions, using a shared \"inframodel\" that represents only the essential information for interpretation by tool components that can be customized to reflect the semantics of each formalism. The (operational) semantics of each formalism, as well as interactions between components described in different formalisms, is described separately through rules governing enabling, matching, and firing of transitions. This results in more natural and compact internal representations, and more efficient analysis, than a purely translational approach. In a previous paper, execution semantics of the inframodel was controlled through a limited set of parameters. The rulebased approach described in this paper accomodates a wider range of state-transition formalisms.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707145","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}
引用次数: 21
A Case Study of Distributed, Asynchronous Software Inspection 分布式、异步软件检测的案例研究
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253250
Michael Stein, J. Riedl, Sören J. Harner, Vahid Mashayekhi
{"title":"A Case Study of Distributed, Asynchronous Software Inspection","authors":"Michael Stein, J. Riedl, Sören J. Harner, Vahid Mashayekhi","doi":"10.1145/253228.253250","DOIUrl":"https://doi.org/10.1145/253228.253250","url":null,"abstract":"Traditional software inspection requires participants to meet together at the same time in the same place. Distributed, asynchronous inspection allows participants to conduct meetings independently of time and space, making inspection more convenient. We report on an industrial study that we have performed using a tool designed for distributed, asynchronous software inspection. Our experience suggests that distributed, asynchronous software inspection is feasible, and is a costeffective means of collaboration for geographically distributed work groups.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127667873","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}
引用次数: 68
Specification of Software Controlling a Discrete-Continuous Environment 离散-连续环境控制软件规范
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253297
V. Friesen, Stefan Jähnichen, Matthias Weber
{"title":"Specification of Software Controlling a Discrete-Continuous Environment","authors":"V. Friesen, Stefan Jähnichen, Matthias Weber","doi":"10.1145/253228.253297","DOIUrl":"https://doi.org/10.1145/253228.253297","url":null,"abstract":"In this paper, we present an object-oriented approach to the specification of discrete software controllers that are embedded in discrete-continuous (or hybrid) environments. The structure of the controller and its environment is specified using object notations extended to include continuous and hybrid objects. Control behavior is specified with state automata and pre/postconditions using the statechart notation and constructive Z-schemata. The behavior of the environment is specified 'ith systems of differential equations using an object-oriented extension of Z for the specification of hybrid systems. We use a case study on control of a high-pressure steam boiler to illustrate how the environment structure can help to design the controller and how environment simulation can be used to derive control parameters.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130295750","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}
引用次数: 8
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ CafeOBJ中代数规范的面向对象建模方法
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253238
S. Nakajima, K. Futatsugi
{"title":"An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ","authors":"S. Nakajima, K. Futatsugi","doi":"10.1145/253228.253238","DOIUrl":"https://doi.org/10.1145/253228.253238","url":null,"abstract":"A scenario-based object-oriented modeling method for algebraic specifications is proposed. The niethod is based on the integration of a new algebraic specification language, CafeOBJ, and a niiiltiparadigrii design notation, GILO-2 (Generic Interaction Language for Objects). CafeOBJ is a successor of the algebraic specification language OBJ and supports object-oriented formal specifications based on hidden order sorted rewriting logic. GILO-2 provides collaborations i l s well as classes of objects to capture behavioral aspects of scenarios in object-oriented niodeling. Given a problem description of the system to develop, the proposed imethod provides guidelines for decomposing the problenx into executable CafeOB J specification niodiiles through scenario-based object-oriented design in GILO-2; the decomposition reflects the structure of the problem domain. The proposal also indicates how formal executJa.ble specification in CafeOBJ can be systematically obtained from the design in GILO-2.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124244451","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}
引用次数: 23
Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization 在成熟的基于cmm的软件组织中实施洁净室软件工程
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253463
R. Oshana, F. Coyle
{"title":"Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization","authors":"R. Oshana, F. Coyle","doi":"10.1145/253228.253463","DOIUrl":"https://doi.org/10.1145/253228.253463","url":null,"abstract":"This report describes the adoption of Cleanroom Software Engineering Methodology into a mature software organization as defined by the SEI’s Capability Maturity Model. The organization, a defense contractor operating at SEI Level 4/5, has been working to develop a large real time system under tight budget and schedule constraints. This overview describes how Cleanroom principles were incorporated into an existing, mature software development framework and outlines some of the techniques used to facilitate the transition from a conventional to a Cleanroom development effort. In addition, we also describe issues related to impact and technology insertion.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132556339","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}
引用次数: 6
Pragmatic Software Metrics for Iterative Development 迭代开发的实用软件度量
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253485
W. Royce
{"title":"Pragmatic Software Metrics for Iterative Development","authors":"W. Royce","doi":"10.1145/253228.253485","DOIUrl":"https://doi.org/10.1145/253228.253485","url":null,"abstract":"The primary themes of modern iterative development processes tackle the central management issues of complex software:","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125388090","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}
引用次数: 2
Nitpick: A Tool For Interactive Design Analysis Nitpick:一个交互设计分析工具
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253490
C. Damon
{"title":"Nitpick: A Tool For Interactive Design Analysis","authors":"C. Damon","doi":"10.1145/253228.253490","DOIUrl":"https://doi.org/10.1145/253228.253490","url":null,"abstract":"This summary describes a new tool, called Nitpick, which can be used to analyze relational design specifications interactively. The tool allows a user to make claims about the specification, which Nitpick will attempt to contradict using an exhaustive search strategy. The tool has been used in a number of ways ranging from purely pedagogical use in the classroom to analysis of real system designs.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"223 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120898339","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
Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case 在互联网上分发的共享软件的版权-小号Winsock案例
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253382
C. Cifuentes, A. Fitzgerald
{"title":"Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case","authors":"C. Cifuentes, A. Fitzgerald","doi":"10.1145/253228.253382","DOIUrl":"https://doi.org/10.1145/253228.253382","url":null,"abstract":"Since the 1980s most countries worldwide have introduced laws which extend copyright protection to computer software. In the first Australian case to consider copyright in a shareware computer program distributed on the Internet, the court held that the Internet service provider OzEmail had infringed Trumpet Software¿s copyright in Trumpet Winsock 2.OB by arranging for the program and a set of altered data files to be distributed with other software on diskette as a give-away inserted in copies of computer magazines. The implications of this case for software developers, distributors, and users are presented.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128631075","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}
引用次数: 3
Software Engineering Data Analysis Techniques 软件工程数据分析技术
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253816
A. Goel, Miyoung Shin
{"title":"Software Engineering Data Analysis Techniques","authors":"A. Goel, Miyoung Shin","doi":"10.1145/253228.253816","DOIUrl":"https://doi.org/10.1145/253228.253816","url":null,"abstract":"The purpose of this tutorial is to provide a comprehensive coverage of software engineering data analysis techniques. It will briefly cover the basic product and process metrics, their description, use and interpretation. A systematic approach for analyzing and interpreting software engineering data will be introduced. It explicitly recognizes that metrics data tend to have high dimensionality, are highly correlated and suffer from redundancy. The techniques to be presented become progressively more sophisticated in terms of the underlying theory and analysis as well as in their ability to provide insights into the software project and the development process. The specific techniques to be covered are: statistical analyses; regression modeling; stochastic models; classification trees; and neural networks. Our emphasis is on the so-called data mining techniques within the KDD (knowledge discovery in databases) framework.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130691440","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}
引用次数: 2
Process Modelling - Where Next 流程建模-下一步
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253441
M. Lehman
{"title":"Process Modelling - Where Next","authors":"M. Lehman","doi":"10.1145/253228.253441","DOIUrl":"https://doi.org/10.1145/253228.253441","url":null,"abstract":"After limited interest prior to the 1980s, the software process attracted the attention of a small group of researchers and practitioners as evidenced by a series of International Process Workshops commencing with the first in 1984. General interest had, however, to wait until Osterweil's now classic paper being honoured today and the present author's response were delivered at ICSE 87. This brief paper seeks to move forward from the positions presented then to introduce three process related issues, software process improvement, feedback in the software process and business process improvement. The first is, currently the principal focus of the software process community. The second, it is believed, should be. The third is equally relevant. Individually and collectively these issues appear, to this author at least, to make the majority view of the current focus of process modelling in general and process programming in particular largely irrelevant.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124872175","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}
引用次数: 20
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书