ALBERT: A Formal Language and Its Supporting TOols for Requirements ENgineering

机译：ALBERT：一种用于需求工程的形式语言及其支持工具

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The use of formal specification language has been proven useful in the development of large and complex software such as safety-critical software. Specification languages like Z, Larch and Statemate propose useful artefacts for modelling and reasoning on the behaviour of the desired software. For requirements Engineering, similar artefacts are needed but with the objective of capturing customers' descriptions related to a desired system.

机译：事实证明，在开发大型和复杂的软件（例如对安全至关重要的软件）时，使用正式的规范语言很有用。诸如Z，Larch和Statemate之类的规范语言提出了有用的伪像，用于对所需软件的行为进行建模和推理。对于需求工程，需要类似的人工制品，但目的是捕获与所需系统有关的客户描述。

著录项

来源
《Fundamental approaches to software engineering》|1998年|p.322-325|共4页
会议地点 Lisbon(PT);Lisbon(PT);Lisbon(PT);Lisbon(PT)
作者
Eric Dubois;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Novel Software Tool for Supporting and Automating the Requirements Engineering Process with the use of Natural Language [J] . International Journal of Computer Science and Technology . 2011,第3期

机译：一种使用自然语言支持和自动化需求工程流程的新型软件工具
2. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling [J] . Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, IEEE systems journal . 2019,第3期

机译：软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
3. Traceability of Implementation to Design and Requirements Specifications: A Formal Technical Review Method (Reverse Engineering Tool) [J] . RASHMI YADAV, RAVINDRA PATEL, ABHAY KOTHARI Oriental Journal of Computer Science and Technology . 2015,第2期

机译：实施到设计和需求规范的可追溯性：正式的技术评审方法（逆向工程工具）
4. ALBERT: A Formal Language and Its Supporting TOols for Requirements ENgineering [C] . Eric Dubois International conference on fundamental approaches to software engineering;European conferences on theory and practice of software . 1998

机译：Albert：一种正式的语言及其支持工具，用于要求工程
5. FLOOR (Framework for Linking Ontology Objects and Textual Requirements): A New Requirements Engineering Tool that Provides Real-time Feedback. [D] . Zontek-Carney, Edward. 2017

机译：FLOOR（用于链接本体对象和文本需求的框架）：一种提供实时反馈的新需求工程工具。
6. IV. Clinical Consultation Systems Medical Decision Support Systems and Clinical Research Data Bases: A. Medical Decision Support and Artificial Intelligence Methodologies: A Use of Formal Language Theory in Medical Decision-Making [O] . Thomas J. Sager 1981

机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：A.医疗决策支持和人工智能方法论：形式语言理论在医疗决策中的运用
7. ALBERT: A formal language and its supporting tools for requirements engineering [O] . Eric Dubois 1998

机译：ALBERT：一种正式的要求工程和支持工具
8. Prototyping Metalanguage with Formal Semantics for the Xinotech Program Composer. Phase 1. Task 1. Definition of the Requirements and Objectives for the Design of the Metalanguage XML. Task 3. Definition of the Requirements and Objectives for the Design o [R] . Rivera, R. 1989

机译：为shinotech程序编写器创建具有形式语义的元语言。阶段1.任务1.定义metalanguage XmL的要求和目标。任务3.设计要求和目标的定义o

ALBERT: A Formal Language and Its Supporting TOols for Requirements ENgineering

摘要

著录项

相似文献

相关主题

期刊订阅