Proceedings. 19th International Conference on Automated Software Engineering, 2004.最新文献

Interactive visualization of concurrents programs [concurrents read concurrent] 并发程序的交互式可视化[并发读并发]

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-10-18 DOI: 10.1109/ASE.2004.10017

R. Capuano

引用次数: 1

Adaptable concern-based framework specialization in UML UML中可适应的基于关注的框架专门化

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10023

I. Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, T. Mikkonen

引用次数: 27

Instant and incremental transformation of models 模型的即时和增量转换

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10047

S. Johann, Alexander Egyed

引用次数: 55

On-the-fly generation of k-path tests for C functions 实时生成C函数的k路径测试

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10020

Nicky Williams, B. Marre, Patricia Mouy

引用次数: 52

Automated dynamic reconfiguration using AI planning 使用人工智能规划的自动动态重新配置

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10001

N. Arshad

引用次数: 7

Using a structure-based configuration tool for product derivation 使用基于结构的配置工具进行产品派生

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10055

Lothar Hotz, T. Krebs, Katharina Wolter

引用次数: 6

CodeCrawler - polymetric views in action CodeCrawler -多边形视图的作用

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10063

Michele Lanza

引用次数: 51

A scalable approach to user-session based testing of Web applications through concept analysis 通过概念分析对Web应用程序进行基于用户会话的测试的可伸缩方法

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10032

S. Sampath, V. Mihaylov, Amie L. Souter, L. Pollock

引用次数: 82

COMPASS: tool-supported adaptation of interactions COMPASS:工具支持的交互适应

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10006

D. Heuzeroth

{"title":"COMPASS: tool-supported adaptation of interactions","authors":"D. Heuzeroth","doi":"10.1109/ASE.2004.10006","DOIUrl":"https://doi.org/10.1109/ASE.2004.10006","url":null,"abstract":"This paper presents an aspect-oriented approach and tool to consistently exchange and adapt interactions among software units. This is done by first identifying components, their interactions and interaction patterns. Second, the identified interaction points of components are represented as aspect-oriented ports encapsulating the source elements related to the interaction. The interactions themselves are represented as first-class entities in the form of aspect-oriented connectors connecting the ports of components. These component, port and connector entities constitute an architectural model. Third, the developer reconfigures and adapts interactions exchanging the port and connector entities. This triggers corresponding source code transformations realized as meta programs using the Recoder tool. This approach is implemented as the COMPASS (COM position with aspects) tool, that can currently analyze and transform Java source code based on the infrastructure provided by the Recoder framework. The approach and tool are successfully validated replacing a direct method call between a producer and a consumer component by communication via a buffer object","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133586996","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

Context-aware code certification 上下文感知的代码认证

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10044

Jutta Eusterbrock

{"title":"Context-aware code certification","authors":"Jutta Eusterbrock","doi":"10.1109/ASE.2004.10044","DOIUrl":"https://doi.org/10.1109/ASE.2004.10044","url":null,"abstract":"One challenging issue in automated software engineering is to ensure safety of software execution in changing contexts. In such a scenario, various users, the \"code consumers\", download an application from a remote server and execute it in their heterogeneous environments. In this paper, a generic meta-level framework (C3) that allows easy adaptation to different contexts for automated safety certification of annotated programs is presented. Context-dependent safety requirements are decoupled from the program specification. The Floyd-Hoarc verification method is extended, and a verification condition generator for deriving generic safety preconditions in terms of generic safety predicates is devised and implemented. The generated safety conditions are simplified and transformed into a negated normal form. This translates the safety verification task into the equivalent task to disprove the existence of a counter example in relation to the selected context. One distinguishing feature of C3 is that safety contexts are meta-level interface specifications. Lifting maps the proof tasks onto the meta-level. Context-dependent safety checking is performed by meta-level reasoning and constraint-solving. A proof of concept implementation was applied to automatically certify absence of context-specific runtime errors and to identify bugs in several cases","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133947692","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