2018 25th Australasian Software Engineering Conference (ASWEC)最新文献_第2页

[Publisher's information] (发布者的信息)

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/aswec.2018.00037

引用次数: 0

From User Stories to Use Case Scenarios towards a Generative Approach 从用户故事到用例场景到生成方法

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00016

Fabian Gilson, Calum Irwin

引用次数: 13

ASWEC 2018 Short Research Paper Program Committee ASWEC 2018短研究论文项目委员会

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/aswec.2018.00008

引用次数: 0

Driver Generation for Java EE Web Applications Java EE Web应用程序的驱动程序生成

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00024

Jens Dietrich, François Gauthier, P. Krishnan

引用次数: 4

Engineering Interactive Systems with Model-Driven Code Contracts 具有模型驱动代码契约的工程交互系统

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00010

Judy Bowen, S. Reeves

{"title":"Engineering Interactive Systems with Model-Driven Code Contracts","authors":"Judy Bowen, S. Reeves","doi":"10.1109/ASWEC.2018.00010","DOIUrl":"https://doi.org/10.1109/ASWEC.2018.00010","url":null,"abstract":"The use of sound and robust software engineering techniques are essential during the design and development of safety-critical interactive systems. Failure of such systems (such as those found in medical settings or transportation) can lead to serious harm or even fatalities. Model-based development of interactive systems provides a number of benefits which can support correctness of the interface, the interaction and the functional logic of the system. Many different approaches have been proposed which target the models at different aspects of the development process (for example task analysis, interface layouts, functional behaviours etc.) and which can be used in different ways (verification of correctness, usability, testing). Typically these rely on multiple models at differing levels of abstraction. There are challenges in ensuring consistency between the models, and more importantly in ensuring that the final implementation correctly satisfies all of the models. In this paper we propose a method of deriving pre-and post-conditions for both interactive and functional elements of the system from formal models. These are used to generate code contracts within a code framework to support programmers who are implementing the system described in such models. We describe both the process for this and present an initial examination of the applicability of the approach based on a proof-of-concept user study. This small study was intended to examine whether we could correctly derive the code contracts in an automated fashion and whether or not they were usable (and beneficial) for programmers working on a pre-defined task. This initial investigation suggested that such an approach can aid programmers in correctly implementing a specification and that the general approach outlined in the paper is worth developing further.","PeriodicalId":331846,"journal":{"name":"2018 25th Australasian Software Engineering Conference (ASWEC)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115030804","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

Symbolic Execution with Invariant Inlay: Evaluating the Potential 具有不变嵌套的符号执行:评估潜能

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00012

Eman Alatawi, Tim Miller, H. Søndergaard

引用次数: 1

ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management ADSL:一种基于约束的分布式自我管理嵌入式领域特定语言

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00022

Mohan Baruwal Chhetri, H. Luong, Anton V. Uzunov, Quoc Bao Vo, R. Kowalczyk, S. Nepal, Isuru Rajapakse

{"title":"ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management","authors":"Mohan Baruwal Chhetri, H. Luong, Anton V. Uzunov, Quoc Bao Vo, R. Kowalczyk, S. Nepal, Isuru Rajapakse","doi":"10.1109/ASWEC.2018.00022","DOIUrl":"https://doi.org/10.1109/ASWEC.2018.00022","url":null,"abstract":"Resilience is an important property of cyber defence systems operating in complex, adversarial environments. In previous work, we have developed the AWaRE approach for enabling cyber resilience via distributed, agent-oriented, constraint-based self-management. A key requirement and feature of AWaRE is the programmatic definition of constraint problems and their mapping to suitable coordination architectures in a way that supports run-time self-representation and self-organization. This can be satisfied via a domain-specific language (DSL); however, existing DSLs, e.g. for automated deployment and self-adaptivity, are not suitable for this purpose. In this paper, we present an expressive, Java-embedded DSL named ADSL that enables the design-time specification of system components, inter-component relationships and constraints, constraint problem decompositions, managing agent architectures, and sub-problem to agent mappings – and the run-time use of these specifications to achieve self-management in accordance with the models@run.time paradigm. Our initial validation of ADSL in the context of an enterprise scenario demonstrates the suitability of the language.","PeriodicalId":331846,"journal":{"name":"2018 25th Australasian Software Engineering Conference (ASWEC)","volume":"PP 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126530470","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

Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers 揭示字节码指令和Java编译器确定的表达式之间的隐式对应关系

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00025

I. Kume, Masahide Nakamura, Naoya Nitta

{"title":"Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers","authors":"I. Kume, Masahide Nakamura, Naoya Nitta","doi":"10.1109/ASWEC.2018.00025","DOIUrl":"https://doi.org/10.1109/ASWEC.2018.00025","url":null,"abstract":"Most Java debuggers designate a source code line as the executed part in the source code at each step-by-step execution. Such designation is based on compilation results which give line numbers to byte code instructions executed at debugging. Because a source code line contains many expressions in general, debugger users must simulate microscopic executions of such contained expressions in their mind. This kind of internal simulation is one of the causes of inefficiency at debugging. We aim at supporting an implementation of a feature to designate expressions instead of source code lines. As its first step, we propose a method to examine how a given compiler maps bytecode instructions to expressions. The key idea of our method is to decompose lexical tokens in each expression into different source code lines. Because of the one-to-one correspondence between line numbers and tokens obtained by our decomposition, we can reveal hidden intention of a compiler to map bytecode instructions to expressions. In this paper, we introduce our experimental results to apply our method to Java programs compiled by a standard Java compiler. We discuss the feasibility of our method with respect to our goal, which is an implementation of a feature to designate expressions instead of source code lines.","PeriodicalId":331846,"journal":{"name":"2018 25th Australasian Software Engineering Conference (ASWEC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126765710","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 notice] (版权)

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/aswec.2018.00003

引用次数: 0

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care 心理驱动需求工程:抑郁症护理的案例研究

2018 25th Australasian Software Engineering Conference (ASWEC) Pub Date : 2018-11-01 DOI: 10.1109/ASWEC.2018.00014

Eman Alatawi, Antonette Mendoza, Tim Miller

引用次数: 10