4 public-domain matches

Software Specification

Cover of Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Cover of Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Unknown author

Cover of Software Requirement Specification (SRS) for BANADO Web Portal & App

Software Requirement Specification (SRS) for BANADO Web Portal & App

Muhammad Tahir Sohaib Ashraf Butt

Cover of Design of an Ameliorated Methodology for the Abstraction of Usable Components of Object Oriented Paradigm from the Software Requirement Specification (SRS)

Design of an Ameliorated Methodology for the Abstraction of Usable Components of Object Oriented Paradigm from the Software Requirement Specification (SRS)

Unknown author