Proceedings 17th IEEE International Conference on Automated Software Engineering,最新文献_第2页

Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation 基于物理的动画中刚体系统仿真数值程序的知识综合

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114998

T. Ellman, Ryan Deak, Jason Fotinatos

{"title":"Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation","authors":"T. Ellman, Ryan Deak, Jason Fotinatos","doi":"10.1109/ASE.2002.1114998","DOIUrl":"https://doi.org/10.1109/ASE.2002.1114998","url":null,"abstract":"Physics-based animation programs are important in a variety of contexts, including education, science and entertainment among others. Manual construction of such programs is expensive, time consuming and prone to error. We have developed a system for automatically synthesizing physics-based animation programs for a significant class of problems: constrained systems of rigid bodies, subject to driving and dissipative forces. Our system includes a graphical interface for specifying a physical scenario, including objects, geometry, dynamical variables and coordinate systems, along with a symbolic interface for specifying forces and constraints operating in the scenario. The entities defined in the graphical interface serve as the underlying vocabulary for specifications constructed in the symbolic interface. We use an algorithmically controlled rewrite system to construct a numerical simulation program that drives a real-time animation of the specified scenario. The algorithm operates by partitioning the constraints and dynamic variables into classes, assigning each class to be implemented in a different component of a general simulation program scheme. Our approach provides many of the benefits of formal deductive methods of program synthesis, while keeping the computational costs of program synthesis more in line with conventional program generator technology. We have successfully tested our system on numerous examples.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127370626","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

Systematic bridging the gap between requirements and OO design 系统地弥合需求和OO设计之间的差距

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115022

Hee Beng Kuan Tan, Weihong Li

引用次数: 5

A framework for automatic debugging 用于自动调试的框架

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115015

M. Auguston, Clinton Jeffery, Scott Underwood

引用次数: 60

Distributed modular model checking

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115041

Jitka Crhová

{"title":"Distributed modular model checking","authors":"Jitka Crhová","doi":"10.1109/ASE.2002.1115041","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115041","url":null,"abstract":"Summary form only given. Model checking is a formal method that verifies whether a finite state model of a system satisfies a specification given as a temporal logic formula. The most severe problem model checking suffers from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of computers so as to be able to verify larger systems. Another approach that deals with the state explosion problem is modularity, i.e. exploiting the structure of the system. We propose to employ modular techniques to the distributed model checking problem. This can be useful especially for software, as the software model checking algorithms suffer from state explosion more severely than the hardware model checking techniques even when the system consists of one sequential finite-state component. Moreover, software programs have typically richer syntactic structure that can be exploited. Besides elaborating a theoretical background for distributed model checking based on the modular approach, we also intend to develop modular approaches to partitioning the state space, in particular to define partition functions that reduce the necessary communication in the distributed environment.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125061596","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

Monitoring requirements: a case study 监控需求:一个案例研究

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115035

S. Fickas, T. Beauchamp, Ny Aina Razermera Mamy

引用次数: 16

What makes finite-state models more (or less) testable? 是什么让有限状态模型更(或更少)可测试?

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115019

David Owen, T. Menzies, B. Cukic

引用次数: 8

Automatic synthesis of distributed systems 分布式系统的自动合成

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115044

Alin Stefanescu

{"title":"Automatic synthesis of distributed systems","authors":"Alin Stefanescu","doi":"10.1109/ASE.2002.1115044","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115044","url":null,"abstract":"Summary form only given. Our research aims towards a new method of synthesis for distributed systems using Mazurkiewicz traces for specification and asynchronous automata for models. Mazurkiewicz trace languages are languages closed under an explicit independence relation between actions and therefore they are suitable to describe concurrent behaviour. The main objectives of this work are: (a) to develop a specification language based on a distributed version of temporal logic on traces that is able to express properties about the independence of actions; (b) to design a synthesis procedure based on improvements and heuristics of the algorithms for asynchronous automata; (c) to implement the new procedure efficiently (and so to turn the theory into a reliable tool that can be used in practice); (d) to apply it to case studies in areas like small distributed algorithms (e.g. mutual exclusion, communication protocols) and asynchronous circuit design. The idea used for the core of the synthesis procedure is that of unfoldings, a successful technique based on branching time partial order semantics. Promising preliminary results were obtained: we were able to automatically synthesize mutual exclusion algorithms from regular trace specifications.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129149305","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

A temporal logic approach to the specification of reconfigurable component-based systems 可重构的基于组件的系统规范的时间逻辑方法

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115028

Nazareno Aguirre, Tom Maibaum

引用次数: 48

Report on the workshop on the state of the art in automated software engineering 关于自动化软件工程的技术现状的研讨会报告

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115038

Y. Ledru, D. Redmiles

{"title":"Report on the workshop on the state of the art in automated software engineering","authors":"Y. Ledru, D. Redmiles","doi":"10.1109/ASE.2002.1115038","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115038","url":null,"abstract":"The solution is provision of various forms of automation in the software tools developers use - the tools carry out perhaps a wide range of activities for the developer at appropriate times and inform the developer of results of actions in appropriate ways. We have focused in recent years on two areas of automation in software tools: (1) generating code from high-level software specifications; and (2) utilisation of high-level software information by agents to support collaborative work, change management and component testing. From our experiences developing a number of software tools using these automation approaches, we have learned a number of lessons for further research in these areas. These include: the need to support software tool meta-model extension; the need for on-the-fly enhancement of tool notations, event processing and code generation facilities; support for software artefact change propagation and annotation; the need to have reflective, high-level information to running software system components; and the continuing challenges of enhancing COTS tools with these kinds of automation facilities, including the need for sharable, extensible software information models for software tools and open tool infrastructure. We describe 3 software tools generating code from high-level descriptions (performance test-bed generator; data mapper; and adaptable user interface designer), and 3 tools providing event-driven agents (plug-in collaborative work components; requirements management tool; and deployed component testing agents).","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124293703","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

An approach to rapid prototyping of large multi-agent systems 大型多智能体系统的快速原型设计方法

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114987

W. Vasconcelos, C. Sierra, M. Esteva

引用次数: 17