2010 8th IEEE International Conference on Software Engineering and Formal Methods最新文献

筛选

英文中文

2010 8th IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2010-09-13 DOI: 10.1109/SEFM.2010.32

P. Larsen, Kenneth Lausdahl, N. Battle

引用次数: 47

Behavior Engineering - A Scalable Modeling and Analysis Method 行为工程-一种可扩展的建模和分析方法

2010 8th IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2010-09-13 DOI: 10.1109/SEFM.2010.12

D. Powell

{"title":"Behavior Engineering - A Scalable Modeling and Analysis Method","authors":"D. Powell","doi":"10.1109/SEFM.2010.12","DOIUrl":"https://doi.org/10.1109/SEFM.2010.12","url":null,"abstract":"The impact of failing to develop a shared understanding of the requirements describing and constraining large, complex projects and programs with many, possibly distributed, stakeholders and suppliers is enormous. Traditional engineering methods provide little in the way of taming complexity when synthesising, analysing and communicating the requirements of such projects. The Behavior Engineering method, developed at Griffith University, and employed on a number of large, complex and nationally critical defence, aerospace, transport and government projects and programs addresses the problems of scale and complexity head on. The Behavior Engineering method is presented in this paper as an efficient and effective method for modeling, analysing, evaluating and communicating large requirements specifications comprising thousands of requirements as well as a method that facilitates the synthesis of requirements from operational scenarios. It is demonstrated through analysis of industry data, that Behavior Engineering facilitates the development and communication of a deep, accurate and holistic understanding of the system needs, significantly reducing the risk of failure to capture and preserve intent in the development of large and complex systems.","PeriodicalId":211760,"journal":{"name":"2010 8th IEEE International Conference on Software Engineering and Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130575734","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}

引用次数: 9

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability 基于smt的整数约束LTL规范验证及其在服务可替代性运行时检验中的应用

2010 8th IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2010-04-16 DOI: 10.1109/SEFM.2010.37

M. Bersani, Luca Cavallaro, A. Frigeri, Matteo Pradella, M. Rossi

引用次数: 22

首页上一页