|
Quick Contact
|
Home
 Software StepsSoftware Steps As a formal vehicle, the specification and verification system is utilized to integrate development steps and development methods from different existing transformational approaches. Integration comprises the formalization (that is, a representation in the specification language), the verification, and the correct application of the generic development steps. Transformations of different kind and complexity are integrated into this framework. They include well-known algorithmic paradigms and problem solving strategies such as global-search and divide-and-conquer, as well as transformations for the modification of functional specifications such as transformations from the Bird-Meertens Formalism like fusion or Horner's rule, transformation steps for optimizing recursive functions, transformations on the level of procedural programs, and implementations of data structures. Request For Quote Thank you for your interest in eDeveloper Network. Please kindly fill in our Request For Quote form and we will get back to you promptly regarding your request. |
