Seamless requirements

@article{Naumchev2017SeamlessR,
  title={Seamless requirements},
  author={Alexandr Naumchev and B. Meyer},
  journal={ArXiv},
  year={2017},
  volume={abs/1704.04189}
}
  • Alexandr Naumchev, B. Meyer
  • Published 2017
  • Computer Science
  • ArXiv
  • Popular notations for functional requirements specifications frequently ignore developers needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless requirements, a new approach to specifying functional requirements, contributes to developers understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due… CONTINUE READING
    17 Citations

    Figures and Topics from this paper

    Expressing and verifying embedded software requirements
    • 3
    • PDF
    AutoReq: Expressing and verifying requirements for control systems
    • 5
    • PDF
    Formality in Software Requirements
    Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
    • 1
    • PDF
    Formal Requirements in an Informal World
    • PDF
    Towards operational natural language
    • PDF
    Object-oriented requirements: reusable, understandable, verifiable
    • 4
    • PDF
    Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
    • 17

    References

    SHOWING 1-10 OF 27 REFERENCES
    Requirements Engineering - From System Goals to UML Models to Software Specifications
    • 1,135
    • Highly Influential
    • PDF
    Unifying Requirements and Code: An Example
    • 13
    • PDF
    Flexible Invariants through Semantic Collaboration
    • 33
    • PDF
    Eiffel: A language and environment for software engineering
    • B. Meyer
    • Computer Science
    • J. Syst. Softw.
    • 1988
    • 114
    • PDF
    Dafny: An Automatic Program Verifier for Functional Correctness
    • 754
    • PDF
    AutoProof: auto-active functional verification of object-oriented programs
    • 64
    • PDF
    Complete Contracts through Specification Drivers
    • Alexandr Naumchev, B. Meyer
    • Computer Science
    • 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
    • 2016
    • 17
    • PDF
    Software Testing: A Craftsman's Approach
    • 412
    Piloting XP on four mission-critical projects
    • 91