A Formal Model of Requirements

Open Transportation Journal - United Arab Emirates
doi 10.2174/1874447801105010060
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Bentham Science Publishers Ltd.

Related search

Formal Methods in Requirements Phase of SDLC

International Journal of Computer Applications
2013English

A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering

1997English

A Formal Model of Identity Mixer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Co-Evolution of Complementary Formal and Informal Requirements

English

A Formal Model of Data Privacy

English

A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2011English

reqT.org – Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Verified Formal Model of a VC Generator

2006 30th Annual IEEE/NASA Software Engineering Workshop
2006English

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy