Building formal requirements models for reliable software
From MaRDI portal
Recommendations
Cited in
(23)- Goal-oriented requirements engineering: A unifying framework
- Sixth international workshop on requirements engineering: Foundation for software quality (REFSQ'00)
- From conceptual modelling to requirements engineering
- A high-level requirements engineering methodology for electronic system-level design
- A framework for the elicitation, evolution, and traceability of system requirements
- Enhancing goal-based requirements consistency: an argumentation-based approach
- Specification of a localization component driven by a goal-based approach: some lessons we learned
- The requirements model and behaviour in specification of requirements
- Agent based multiviews requirements model
- From “Formal Methods” to System Modeling
- Research of process model supporting for software requirements verification
- scientific article; zbMATH DE number 1946258 (Why is no real title available?)
- scientific article; zbMATH DE number 2086482 (Why is no real title available?)
- scientific article; zbMATH DE number 2087525 (Why is no real title available?)
- scientific article; zbMATH DE number 781172 (Why is no real title available?)
- Boilerplates for reconfigurable systems: a language and its semantics
- Engineering requirements for system reliability and security
- Separation of Concerns and Consistent Integration in Requirements Modelling
- Multifunctional software systems: Structured modeling and specification of functional requirements
- ACoRe: automated goal-conflict resolution
- Goal-directed requirements acquisition
- Using abduction and induction for operational requirements elaboration
- A taxonomy for identifying requirement interactions in software systems
This page was built for publication: Building formal requirements models for reliable software
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771760)
