Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.最新文献_第3页

Exception safety for C# c#的异常安全

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.14

K. Leino, Wolfram Schulte

引用次数: 33

Abstraction of parallel uniform processes with data 具有数据的并行统一过程的抽象

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.4

J. Pang, J. Pol, M. V. Espada

引用次数: 8

Using relation algebra for the analysis of Petri nets in a CASE tool based approach 基于CASE工具的关系代数对Petri网进行分析

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.50

Alexander Fronk

引用次数: 12

Proof reuse for deductive program verification 用于演绎程序验证的证明重用

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.33

Bernhard Beckert, V. Klebanov

引用次数: 27

Heuristics for refinement relations 求精关系的启发式

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.24

F. Kammüller, J. Sanders

引用次数: 2

Past- and future-oriented time-bounded temporal properties with OCL 面向过去和未来的有时间限制的OCL时间属性

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.29

S. Flake, W. Müller

引用次数: 25

From requirements change to design change: a formal path 从需求变更到设计变更:一条正式的路径

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.20

Lian Wen, R. Dromey

{"title":"From requirements change to design change: a formal path","authors":"Lian Wen, R. Dromey","doi":"10.1109/SEFM.2004.20","DOIUrl":"https://doi.org/10.1109/SEFM.2004.20","url":null,"abstract":"The ideal we seek when responding to a change in the functional requirements for a system is that we can quickly determine; (1) where to make the change; (2) how the change affects the architecture of the existing system; (3) which components of the system are affected by the change; (4) and, what behavioral changes will need to be made to the components (and their interfaces) that are affected by the change. The change problem is complicated because requirements changes are specified in the problem domain, whereas the design response and the implementation changes that need to be made are in the solution domain. Requirements and design representations vary significantly in the support they provide for accommodating requirements changes. An important way of cutting down the memory overload and difficulties associated with making changes is to use the same representation for requirements and the initial design response to the change. In this paper we use a formal component-state representation called behavior trees for this purpose. It allows individual functional requirements to be translated into their corresponding behavior trees; these trees are composed, one at a time, to create an integrated design behavior tree (DBT). The architecture, the component interfaces and the component behaviors of each component in the system are all emergent properties of the DBT. We extend this design approach, by proposing a formal method for mapping changes in a system's functional requirements, to changes in the architecture, the behavior of individual components and their interfaces. Such changes are shown visually on the work products of the design process that are affected. A tool is used to implement the change process.","PeriodicalId":207271,"journal":{"name":"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","volume":"425 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126715972","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}

引用次数: 61

An approach to hardware/software partitioning for multiple hardware devices model 一种针对多硬件设备模型的硬件/软件分区方法

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.5

G. Pu, Xiangpeng Zhao, Shuling Wang, Z. Qiu, Jifeng He, W. Yi

引用次数: 2

Verification of the WAP transaction layer 验证WAP事务层

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.51

Yu-Tong He, R. Janicki

引用次数: 9

A programming model for the orchestration of Web services 用于编排Web服务的编程模型

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI: 10.1109/SEFM.2004.2

J. Misra

引用次数: 36