软件过程中形式化的实际集成

Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239) Pub Date : 1997-11-24 DOI:10.1109/TOOLS.1997.681891

R. Duke, C. Mann

{"title":"软件过程中形式化的实际集成","authors":"R. Duke, C. Mann","doi":"10.1109/TOOLS.1997.681891","DOIUrl":null,"url":null,"abstract":"This tutorial will explore a practical approach to incorporating formal techniques within existing software engineering processes. It is aimed at organizations that want a practical way to integrate some formality into their existing software development process (e.g. if an aspect of the development is safety critical, mission critical or cost critical) without having to abandon their current practices.","PeriodicalId":276758,"journal":{"name":"Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Practical Integration of Formality into the Software Process\",\"authors\":\"R. Duke, C. Mann\",\"doi\":\"10.1109/TOOLS.1997.681891\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This tutorial will explore a practical approach to incorporating formal techniques within existing software engineering processes. It is aimed at organizations that want a practical way to integrate some formality into their existing software development process (e.g. if an aspect of the development is safety critical, mission critical or cost critical) without having to abandon their current practices.\",\"PeriodicalId\":276758,\"journal\":{\"name\":\"Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-11-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TOOLS.1997.681891\",\"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. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TOOLS.1997.681891","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本教程将探索在现有软件工程过程中合并正式技术的实用方法。它的目标是那些想要一种实用的方法来将一些形式集成到他们现有的软件开发过程中的组织(例如，如果开发的一个方面是安全关键的，任务关键的或成本关键的)，而不必放弃他们当前的实践。

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

查看原文本刊更多论文

A Practical Integration of Formality into the Software Process

This tutorial will explore a practical approach to incorporating formal techniques within existing software engineering processes. It is aimed at organizations that want a practical way to integrate some formality into their existing software development process (e.g. if an aspect of the development is safety critical, mission critical or cost critical) without having to abandon their current practices.

求助全文

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

来源期刊

Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)

自引率

0.00%

发文量