分布式软件系统的可执行规范

Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems Pub Date : 1995-08-28 DOI:10.1109/FTDCS.1995.524993

J. E. Urban, H. Joo

{"title":"分布式软件系统的可执行规范","authors":"J. E. Urban, H. Joo","doi":"10.1109/FTDCS.1995.524993","DOIUrl":null,"url":null,"abstract":"The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and techniques/tools. The applications component seeks taxonomies of application domains in distributed computing and the identification of core software requirements. The management component concerns the twofold aspects of developing distributed computing systems and distributed development teams. The techniques/tools component includes analysis of those elements available to support software development. Specifications have advantages and limitations in distributed computing that must be addressed to effectively develop software systems. This paper describes the role of executable specifications in distributed computing, specification language development/experience, and future directions.","PeriodicalId":224095,"journal":{"name":"Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Executable specifications for distributed software systems\",\"authors\":\"J. E. Urban, H. Joo\",\"doi\":\"10.1109/FTDCS.1995.524993\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and techniques/tools. The applications component seeks taxonomies of application domains in distributed computing and the identification of core software requirements. The management component concerns the twofold aspects of developing distributed computing systems and distributed development teams. The techniques/tools component includes analysis of those elements available to support software development. Specifications have advantages and limitations in distributed computing that must be addressed to effectively develop software systems. This paper describes the role of executable specifications in distributed computing, specification language development/experience, and future directions.\",\"PeriodicalId\":224095,\"journal\":{\"name\":\"Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-08-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1995.524993\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1995.524993","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

分布式系统软件开发的前端生命周期或大写方面是由应用程序、管理和技术/工具的组件驱动的。应用程序组件寻求分布式计算中应用程序域的分类和核心软件需求的标识。管理组件涉及开发分布式计算系统和分布式开发团队的两个方面。技术/工具组件包括对支持软件开发的可用元素的分析。规范在分布式计算中具有优点和局限性，为了有效地开发软件系统，必须解决这些问题。本文描述了可执行规范在分布式计算中的作用、规范语言的开发/经验以及未来的发展方向。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Executable specifications for distributed software systems

The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and techniques/tools. The applications component seeks taxonomies of application domains in distributed computing and the identification of core software requirements. The management component concerns the twofold aspects of developing distributed computing systems and distributed development teams. The techniques/tools component includes analysis of those elements available to support software development. Specifications have advantages and limitations in distributed computing that must be addressed to effectively develop software systems. This paper describes the role of executable specifications in distributed computing, specification language development/experience, and future directions.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems

自引率

0.00%

发文量