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

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)最新文献

筛选
英文 中文
Parameterising (algebraic) specifications on diagrams 图上的参数化(代数)规范
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732654
T. Dimitrakos
{"title":"Parameterising (algebraic) specifications on diagrams","authors":"T. Dimitrakos","doi":"10.1109/ASE.1998.732654","DOIUrl":"https://doi.org/10.1109/ASE.1998.732654","url":null,"abstract":"The paper presents an extension of previous work on the parameterisation of logical and algebraic specifications leading to a novel formalisation of parameterisation which is general enough to become independent of the specificities of the underlying formalism, and flexible enough to accommodate the manipulation of complex parameterised specifications where the parameters are presented by means of diagrams of specifications.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124911238","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}
引用次数: 11
A design pattern based approach to generating synchronization adaptors from annotated IDL 从带注释的IDL生成同步适配器的基于设计模式的方法
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732576
H. Jacobsen, B. Krämer
{"title":"A design pattern based approach to generating synchronization adaptors from annotated IDL","authors":"H. Jacobsen, B. Krämer","doi":"10.1109/ASE.1998.732576","DOIUrl":"https://doi.org/10.1109/ASE.1998.732576","url":null,"abstract":"Middleware forms such as CORBA and DCOM provide standard component interfaces, interaction protocols and communication services to support interoperability of object-oriented applications operating in heterogeneous and distributed environments. General-purpose services and facilities foster re-use and help reduce development costs. Yet the degree of automation of the software development process is limited to the generation of skeleton and stub code from component interface specifications given in a common interface definition language (IDL). This is mainly due to the fact that the expressiveness of current IDLs is limited to the specification of type and operation signatures. Important properties of crucial components of security-, safety-critical or reactive applications such as object behavior, timing or synchronization constraints cannot be documented formally, let alone checked automatically. In this paper, we continue developing solutions for adding specifications of semantic properties to component interfaces and automatically synthesizing code that instruments corresponding semantic checks. Independently from the concrete syntax and semantics of such specification elements, we present a collection of design patterns that allow the designer to seamlessly integrate the synthesized code with the code frames generated by standard IDL compilers. We study these approaches along the concrete example of extending CORBA IDL with synchronization constraints and we evaluate several implementations, solely based on standardized features of the CORBA standard.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125033515","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}
引用次数: 17
ASSISTing exit decisions in software inspection 协助软件检查的退出决策
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732677
James Miller, F. MacDonald
{"title":"ASSISTing exit decisions in software inspection","authors":"James Miller, F. MacDonald","doi":"10.1109/ASE.1998.732677","DOIUrl":"https://doi.org/10.1109/ASE.1998.732677","url":null,"abstract":"Software inspection is a valuable technique for detecting defects in the products of software development. One avenue of research within inspection concerns the development of computer support. It is hoped that such support will provide even greater benefits when applying inspection. A number of prototype systems have been developed by researchers, yet these suffer from some fundamental limitations. One of the most serious of these concerns is the lack of facilities to monitor the process, and to provide the moderator with quantitative information on the performance of the process. The paper begins by briefly outlining the measurement component that has been introduced into the system, and especially discusses an approach to estimating the effectiveness of the current process.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114436619","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
A configurable automatic instrumentation tool for ANSI C 一个可配置的自动仪表工具的ANSI C
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732663
Kevin Templer, C. Jeffery
{"title":"A configurable automatic instrumentation tool for ANSI C","authors":"Kevin Templer, C. Jeffery","doi":"10.1109/ASE.1998.732663","DOIUrl":"https://doi.org/10.1109/ASE.1998.732663","url":null,"abstract":"Automatic software instrumentation is usually done at the machine level or is targeted at specific program behavior for use with a particular monitoring application. The paper describes CCI, an automatic software instrumentation tool for ANSI C designed to serve a broad range of program execution monitors. CCI supports high level instrumentation for both application-specific behavior as well as standard libraries and data types. The event generation mechanism is defined by the execution monitor which uses CCI, providing flexibility for different monitors' execution models. Code explosion and the runtime cost of instrumentation are reduced by declarative configuration facilities that allow the monitor to select specific events to be instrumented. Higher level events can be defined by combining lower level events with information obtained from semantic analysis of the instrumented program.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133466383","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}
引用次数: 37
An empirical study of the evolution of a software system 对软件系统演化的实证研究
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732683
Robert Mark Greenwood, B. Warboys, R. Harrison, P. Henderson
{"title":"An empirical study of the evolution of a software system","authors":"Robert Mark Greenwood, B. Warboys, R. Harrison, P. Henderson","doi":"10.1109/ASE.1998.732683","DOIUrl":"https://doi.org/10.1109/ASE.1998.732683","url":null,"abstract":"The cost-effective and reliable evolution of systems is a significant software engineering challenge. Our approach is based on a combination of product modelling, process modelling and software metrics. We describe an empirical laboratory study following the evolution of three releases of a publicly available exemplar system. Analysis of the metrics which were collected improves our understanding of how a system evolves. Process metrics can provide information about how the product is put together, and product metrics suggest explanations for the development processes observed.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114991392","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
A coordination system approach to software workflow process evolution 软件工作流过程演化的协调系统方法
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732684
J. Andreoli, Christer Fernström, J. Meunier
{"title":"A coordination system approach to software workflow process evolution","authors":"J. Andreoli, Christer Fernström, J. Meunier","doi":"10.1109/ASE.1998.732684","DOIUrl":"https://doi.org/10.1109/ASE.1998.732684","url":null,"abstract":"Describes a coordination-based approach to the dynamic evolution of (software) workflow processes. Our interest is in widely distributed workflow processes, i.e. systems that allow each instance of a process model to be enacted in a distributed fashion, with different parts of the process being enacted on different nodes of the system. More specifically, we are interested in the problem of dynamic workflow process evolution in such a distributed context, where the propagation of changes to all the concerned nodes has to be performed in an orderly manner. We address the problem of dynamic workflow process evolution from a coordination system approach, considering the workflow system as a coordination system and the workflow evolution as a coordinated evolution of the coordination schemes. We illustrate the problem of workflow evolution in a software engineering context, and describe a method using the reflexive features of our underlying coordination system to support dynamic workflow process evolution in a distributed workflow system.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130720725","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
ADLscope: an automated specification-based unit testing tool ADLscope:一个自动化的基于规范的单元测试工具
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732682
Juei Chang, D. Richardson
{"title":"ADLscope: an automated specification-based unit testing tool","authors":"Juei Chang, D. Richardson","doi":"10.1109/ASE.1998.732682","DOIUrl":"https://doi.org/10.1109/ASE.1998.732682","url":null,"abstract":"Specification-based testing is important because it relates directly to what the program is supposed to do and can detect certain errors that are often not detected by traditional code-based testing techniques such as branch coverage and statement coverage. We have developed an automated testing tool, called ADLscope, that utilizes the formal specification of a program unit as the basis for test coverage measurement. A tester uses ADLscope to test application programming interfaces (APIs) written in the C programming language. The API must be formally specified in the Assertion Definition Language (ADL). The tester uses ADLscope to generate coverage conditions from a program's ADL specifications. When the API is tested, ADLscope automatically measures how many of the coverage conditions have been covered by the tests.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131557944","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
Planware-domain-specific synthesis of high-performance schedulers 特定于平面波域的高性能调度器合成
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732672
L. Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, S. Westfold
{"title":"Planware-domain-specific synthesis of high-performance schedulers","authors":"L. Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, S. Westfold","doi":"10.1109/ASE.1998.732672","DOIUrl":"https://doi.org/10.1109/ASE.1998.732672","url":null,"abstract":"Planware is a domain-specific generator of high-performance scheduling software, currently being developed at the Kestrel Institute. Architecturally, Planware is an extension of the Specware system with domain-independent and domain-dependent parts. The domain-independent part includes a general algorithm design facility (including mechanisms to synthesize global-search and constraint propagation algorithms), as well as support for theorem-proving and witness finding. The domain-dependent part includes scheduling domain knowledge and architecture representations, and other domain-specific refinement knowledge that relates the scheduling domain to general algorithm design and data type refinement. Using Planware, the user interactively specifies a problem and then the system automatically generates a formal specification and refines it.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117074002","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}
引用次数: 55
Schema-guided synthesis of constraint logic programs 约束逻辑程序的模式引导综合
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732620
P. Flener, H. Zidoum, Brahim Hnich
{"title":"Schema-guided synthesis of constraint logic programs","authors":"P. Flener, H. Zidoum, Brahim Hnich","doi":"10.1109/ASE.1998.732620","DOIUrl":"https://doi.org/10.1109/ASE.1998.732620","url":null,"abstract":"By focusing on the families of assignment and permutation problems (such as graph colouring and n-Queens), we show how to adapt D.R. Smith's (1990) KIDS approach for the synthesis of constraint programs (with implicit constraint satisfaction code), rather than applicative Refine programs with explicit constraint propagation and pruning code. Synthesis is guided by a global search schema and can be fully automated with little effort, due to some innovative ideas. CLP (Sets) programs are equivalent in expressiveness to our input specifications. The synthesised CLP (FD) programs would be, after optimising transformations, competitive with carefully hand-crafted ones.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123231052","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}
引用次数: 14
Synthesizing software architecture descriptions from Message Sequence Chart specifications 从消息序列图规范中综合软件体系结构描述
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI: 10.1109/ASE.1998.732635
S. Leue, L. Mehrmann, M. Mousavi
{"title":"Synthesizing software architecture descriptions from Message Sequence Chart specifications","authors":"S. Leue, L. Mehrmann, M. Mousavi","doi":"10.1109/ASE.1998.732635","DOIUrl":"https://doi.org/10.1109/ASE.1998.732635","url":null,"abstract":"Message Sequence Chart (MSC) specifications have found their way into many software engineering methodologies and CASE tools, in particular to represent early life-cycle requirements and high-level design specifications. We analyze iterating and branching MSC specifications with respect to their software architectural content. We present algorithms for the automated synthesis of Real-Time Object-Oriented Modeling (ROOM) models from MSC specifications and discuss their implementation in the MESA toolset.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123978220","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}
引用次数: 47
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信