Post Doctoral Research in Automating Development of Interactive Distributed Applications

0203060Dillon，LauraMichigan State UniversityCISE实验计算机科学博士后研究员：交互式分布式应用程序的自动化开发交互式分布式应用程序（IDA）是涉及与用户直接交互的软件应用程序，并分布在计算机网络上。 IDA开发由于应用程序的特性而变得复杂，例如交互性、并发性、非确定性、异构性和严重的资源约束。当前的软件开发工具解决了其中的一些问题，但是缺乏支持集成使用IDA开发工具的开发环境。 博士后研究助理将致力于Meridian的集成和验证，Meridian是一系列旨在帮助自动化IDA开发的工具。 具体来说，该助理将1）研究分析工具的自动生成和集成，这些工具可以轻松有效地集成到综合环境中，2）对不同类别的IDA进行案例研究，并填充特定于类别的IDA信息库以供重用。

0203060Dillon, LauraMichigan State UniversityCISE Postdoctoral Associates in Experimental Computer Science: Automating Development of Interactive Distributed ApplicationsInteractive distributed applications (IDAs) are software applications that involve direct interaction with users and are distributed across a computer network. IDA development is complicated by application characteristics such as interactivity, concurrency, non-determinism, heterogeneity, and severe resource constraints. Current software development tools address some of these complications, but development environments supporting integrated use of IDA development tools are lacking. The postdoctoral research associate will work on the integration and validation of Meridian, a collection of tools designed to help automate the development of IDAs. Specifically, the associate will 1) research the automated generation and integration of analysis tools that are easily and efficiently integrated into a comprehensive environment, and 2) perform case studies of different classes of IDAs and populate class-specific IDA information repositories for reuse.