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

Proceedings 12th IEEE International Conference Automated Software Engineering最新文献

筛选
英文 中文
Towards a design assistant for distributed embedded systems 面向分布式嵌入式系统的设计助手
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632860
D. Setliff, J. Strosnider, Jose A. Madriz
{"title":"Towards a design assistant for distributed embedded systems","authors":"D. Setliff, J. Strosnider, Jose A. Madriz","doi":"10.1109/ASE.1997.632860","DOIUrl":"https://doi.org/10.1109/ASE.1997.632860","url":null,"abstract":"This paper presents an overview of a distributed embedded system design assistant called Systems Engineers Workbench (SEW 2.0). SEW 2.0 uses a suite of design frameworks, with supporting representations, to structure the inherent complexity. A set of design assist operatives further improves the ability of the designer to explore the domain space while evaluating performance/resource tradeoffs.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115737402","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
Modelling the application domains of software engineering technologies 对软件工程技术的应用领域建模
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632850
A. Birk
{"title":"Modelling the application domains of software engineering technologies","authors":"A. Birk","doi":"10.1109/ASE.1997.632850","DOIUrl":"https://doi.org/10.1109/ASE.1997.632850","url":null,"abstract":"The effectiveness of software engineering technologies depends very much on the situation in which they are applied. In order to further improve software development practices one needs to explicitly describe and utilise knowledge about application domains of software engineering technologies. The paper suggests a modelling formalism for supporting systematic reuse of software engineering technologies during planning of software projects and improvement programs.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127502204","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}
引用次数: 31
Tools supporting the creation and evolution of software development knowledge 支持创建和发展软件开发知识的工具
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632823
S. Henninger
{"title":"Tools supporting the creation and evolution of software development knowledge","authors":"S. Henninger","doi":"10.1109/ASE.1997.632823","DOIUrl":"https://doi.org/10.1109/ASE.1997.632823","url":null,"abstract":"Software development is a knowledge-intensive activity involving the integration of diverse knowledge sources that undergo constant change. The volatility of knowledge in software development requires that knowledge bases are able to support a continuous knowledge acquisition process where tools are available that can make use of partial knowledge. To address these issues, case-based technology is used in combination with an organizational learning process to create an approach that turns Standard Development Methodologies (SDM) into living documents that capture project experiences and emerging requirements as they are encountered in an organization. A rule-based system is used to tailor the SDM to meet the characteristics of individual projects and provide relevant development knowledge throughout the development lifecycle.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126635142","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}
引用次数: 24
Moving proofs-as-programs into practice 将“证明即程序”付诸实践
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632819
J. Caldwell
{"title":"Moving proofs-as-programs into practice","authors":"J. Caldwell","doi":"10.1109/ASE.1997.632819","DOIUrl":"https://doi.org/10.1109/ASE.1997.632819","url":null,"abstract":"Proofs in the Nuprl system, an implementation of a constructive type theory, yield \"correct-by-construction\" programs. In this paper a new methodology is presented for extracting efficient and readable programs from inductive proofs. The resulting extracted programs are in a form suitable for use in hierarchical verifications in that they are amenable to clean partial evaluation via extensions to the Nuprl rewrite system. The method is based on two elements: specifications written with careful use of the Nuprl set-type to restrict the extracts to strictly computational content; and on proofs that use induction tactics that generate extracts using familiar fixed-point combinators of the untyped lambda calculus. In this paper the methodology is described and its application is illustrated by example.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122072604","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}
引用次数: 24
TESS: automated support for the evolution of persistent types 苔丝:对持久类型演进的自动化支持
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632837
Barbara Lerner
{"title":"TESS: automated support for the evolution of persistent types","authors":"Barbara Lerner","doi":"10.1109/ASE.1997.632837","DOIUrl":"https://doi.org/10.1109/ASE.1997.632837","url":null,"abstract":"Persistent data often has a long lifetime. During its lifetime, the types that are used to structure the data may undergo evolution to support new requirements or provide more efficient services. This evolution often makes the persistent data inaccessible unless it also evolves with the types. Existing systems that support type and data evolution focus on changes isolated to individual types, thereby limiting what can be easily accomplished during maintenance. We extend this work by presenting a model of compound type changes that can also describe changes simultaneously involving multiple types and their effects on data. We then describe TESS (Type Evolution Software System), a system to automate the evolution of types and their associated data when the types undergo compound type changes.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"83 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113940883","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}
引用次数: 12
On the verification of VDM specification and refinement with PVS VDM规范的验证与PVS的细化
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632849
S. Maharaj, J. Bicarregui
{"title":"On the verification of VDM specification and refinement with PVS","authors":"S. Maharaj, J. Bicarregui","doi":"10.1109/ASE.1997.632849","DOIUrl":"https://doi.org/10.1109/ASE.1997.632849","url":null,"abstract":"Although the formal method VDM has been in existence since the 1970s, there are still no satisfactory tools to support verification in VDM. The paper deals with one possible means of approaching this problem by using the PVS theorem-prover. It describes a translation of a VDM-SL specification into the PVS specification language using, essentially, the very transparent translation methods described by Agerholm (1996). PVS was used to typecheck the specification and to prove some non-trivial validation conditions. Next, a more abstract specification of the same system was also expressed in PVS, and the original specification was shown to be a refinement of this one. The drawbacks of the translation are that it must be done manually (though automation may be possible), and that the \"shallow embedding\" technique which is used does not accurately capture the proof rules of VDM-SL. The benefits come from the facts that the portion of VDM-SL which can be represented is substantial and that it is a great advantage to be able to use the powerful PVS proof-checker.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132722288","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}
引用次数: 22
Enhancing the component reusability in data-intensive business programs through interface separation 通过接口分离增强数据密集型业务程序中的组件可重用性
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632861
Hee Beng Kuan Tan
{"title":"Enhancing the component reusability in data-intensive business programs through interface separation","authors":"Hee Beng Kuan Tan","doi":"10.1109/ASE.1997.632861","DOIUrl":"https://doi.org/10.1109/ASE.1997.632861","url":null,"abstract":"Visual development environments have provided good support in the reuse of graphical user interface, report and query generation, and simpler database retrieval and updating. However, many commonly used components for computation and database processing and updating are still required to be repeatedly designed and developed. The main problem is that current methods do not support the separation of component interface from a component. Component interface is not an intrinsic property of the component. Incorporating it into the component affects the reusability of the component adversely. A program representation is proposed in this paper to address the problem. The representation enhances the reusability of a component through separating the component interface front the component.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115063454","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}
引用次数: 0
Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS 基于LOTOS的Co/sub /分布式知识系统的规范与验证
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632825
C. Pecheur
{"title":"Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS","authors":"C. Pecheur","doi":"10.1109/ASE.1997.632825","DOIUrl":"https://doi.org/10.1109/ASE.1997.632825","url":null,"abstract":"This paper relates the formal specification and verification of a consensual decision protocol based on Co/sub 4/, a computer environment dedicated to the building of a distributed knowledge base. This protocol has been specified in the ISO formal description technique LOTOS. The CADP tools from the EUCALYPTUS LOTOS toolset have been used to verify different safety and liveness properties. The verification work has confirmed an announced violation of knowledge consistency and has put forth a case of inconsistent hierarchy, four cases of unexpected message reception and some further local corrections in the definition of the protocol.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116168596","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}
引用次数: 4
Exploiting domain-specific knowledge to refine simulation specifications 利用特定领域的知识来细化仿真规范
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632831
D. Pautler, S. Woods, A. Quilici
{"title":"Exploiting domain-specific knowledge to refine simulation specifications","authors":"D. Pautler, S. Woods, A. Quilici","doi":"10.1109/ASE.1997.632831","DOIUrl":"https://doi.org/10.1109/ASE.1997.632831","url":null,"abstract":"Discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a high-level specification for a training scenario and our output is an executable specification for the behavior of a network-based combat simulator. Our approach combines a detailed model of the tank training domain with nonlinear planning and constraint satisfaction techniques. Our initial implementation is successful in large part because of our use of domain knowledge to limit the branching factor of the planner and the constraint satisfaction engine.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129359758","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}
引用次数: 4
Interactive component-based software development with Espresso 使用Espresso进行基于组件的交互式软件开发
Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632851
Ted W. Faison
{"title":"Interactive component-based software development with Espresso","authors":"Ted W. Faison","doi":"10.1109/ASE.1997.632851","DOIUrl":"https://doi.org/10.1109/ASE.1997.632851","url":null,"abstract":"Most component models in use today are language-independent, but also platform-dependent and not designed specifically to support a tool-based visual development paradigm. Espresso is a new component model that was designed with the goal of supporting software development through tool-based visual component composition. Being implemented in Java, Espresso components can run on any Java-enabled platform.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134294996","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}
引用次数: 5
下一页 尾页
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学术官方微信