'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop最新文献

Language Support for Object Process Modeling 对象过程建模的语言支持

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659604

Y. Sugiyama, E. Horowitz

引用次数: 3

Supporting Coordination and Cooperation in Software Processes 支持软件过程中的协调与合作

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659592

N. Minsky

{"title":"Supporting Coordination and Cooperation in Software Processes","authors":"N. Minsky","doi":"10.1109/ISPW.1990.659592","DOIUrl":"https://doi.org/10.1109/ISPW.1990.659592","url":null,"abstract":"Last year in this fom I have argued that in any attempt to formalize and enact software processes it is important to distinguish between what I called methods and laws. A method is a voluntary technique for performing a certain task, while a law is a mandatory regulation about the behavior of the entire process. I have also argued that laws are more fundamental than methods, for software development. That is, because the formulation and enactment of methods invariably relies on certain assumptions about the structure of the system at hand, and about the behavior of the various agents participating in the software process. Such assumptions can only be ensured by means of enforced laws. Here I will focus on one type of applications for such laws, which is the support of the great deal of coordination and cooperation which must take place among the participants of any complex software process. Let me illustrate the problem at hand by means of a very simple example. Suppose that we would like to ensure mutual exclusion with respect to a certain operation 0, which may be carried out by any of the agents participating in a given process. Consider the following informally specified protocol: (1) only an agent that possesses a certain token T may perform the operation 0; (2) initially only one agent possesses a token T; and, (3) token T may be transferred from one agent to another, but no agent may make its own copy of T. It is easy to see that this simple protocol guarantees mutual exclusion with respect to operation 0 (ignoring issues of faimess) but how does one make sure that the protocol itself is actually obeyed by all the agents? In particular, how does one make sure that no agent ever makes an extra copy of the token, and that no agent ever performs 0 without possessing this token?","PeriodicalId":269394,"journal":{"name":"'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124281705","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

Product-Centered Process Description Algebraic Specification of Environment + SCRIPT 环境+ SCRIPT的以产品为中心的过程描述代数规范

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659582

K. Futatsugi

引用次数: 0

Process Management in the DAIDA Environment DAIDA环境中的进程管理

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659587

M. Jarke, M. Jeusfeld, T. Rose

引用次数: 2

Possibility and limitation of Process Programming 过程编程的可能性与局限性

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659590

A. Kumagai

引用次数: 0

Session Summry SDE Architecture Issues SDE架构问题

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659569

C. Tully

引用次数: 0

Software Process Modeling Example Problem 软件过程建模实例问题

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659568

M. Kellner, P. Feiler, A. Finkelstein, T. Katayama, L. Osterweil, M. Penedo, H. D. Rombach

引用次数: 73

Concepts For Process Definition And Support 过程定义和支持的概念

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659580

M. Dowson, B. Nejmeh, W. Riddle

引用次数: 22

A Framework for Describing Software Design Processes 描述软件设计过程的框架

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659605

N. Suhara

引用次数: 1

Eureka Software Factory: OPIUM An environment for Software Process Modeling integrated with a Project Management Tool Eureka Software Factory: OPIUM一个集成了项目管理工具的软件过程建模环境

'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop Pub Date : 1990-10-28 DOI: 10.1109/ISPW.1990.659584

L. Hubert, F. Fournier, M. Brasseur

{"title":"Eureka Software Factory: OPIUM An environment for Software Process Modeling integrated with a Project Management Tool","authors":"L. Hubert, F. Fournier, M. Brasseur","doi":"10.1109/ISPW.1990.659584","DOIUrl":"https://doi.org/10.1109/ISPW.1990.659584","url":null,"abstract":"1. Abstract The global evolution of software development activity leads to large projects involving many people. Organizing the work of these people is a big challenge for Software Engineering. The ESF (EurEka Software Factory) program, funded by some European countries, relies on the idea of a software factory for improving software development productivity and quality. With the concept of Software Factory comes the concept of Software Process Control (or guidance). SPECIMEN, one of the ESF sub-projects, aims at developing a language and an environment for modeling and guiding the processes of software production. We present in this paper OPIUM[OPlU89], one of the major results of SPECIMEN. OPIUM is an environment for Process Modeling able to build programs for controlling the process of software development (the so called Process Engines in the ESF terminology). Process Engines are not stand alone tools but are fully integrated with Project Management Tools and also with Production Tools. This paper focuses on the basic mechanisms used to build and run process models with OPIUM, and in particular on the close relation between Process Engines and project management system.","PeriodicalId":269394,"journal":{"name":"'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop","volume":"283 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126395363","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}

引用次数: 11