This paper reports on an investigation of the adequacies and benefits of applying software-level analysis techniques to system-level requirements activities, with specific concern for software-intensive systems. The investigation takes the approach of adapting a well-defined, mathematically precise, software requirements engineering method to a real-world, complex, system engineering problem.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.