Abstract
The Rational Design Methodology (RDM) is a synthesis of principles and techniques for the specification, design, and documentation of provably correct sequential programs. An important feature of RDM is the way it makes use of abstraction and refinement. Both procedural and data abstraction are included in RDM. Procedural abstraction involves the identification, specification, and design of procedures (subroutines) for one or more programs of an abstract machine. Data abstraction involves the identification and specification of abstract data types of an abstract machine and their representation or expansion by a lower level (less abstract) machine. Much of the structure of an RDM design is determined by the abstractions used in the design process. Procedural abstraction determines the structure of programs of an abstract machine while data abstraction and refinement determine the structure of abstract machines of the entire design. In the paper, we illustrate these concepts with the development of a design and specification of the “telegrams problem”.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
