Functional and Object-Oriented Specification of Information Systems

  title={Functional and Object-Oriented Specification of Information Systems},
  author={Jos{\'e} Hilario Can{\'o}s-Cerd{\'a} and Oscar Pastor},
One of the main trends in software development in the last years is to use prototypes for validating requirements specifications at early phases of the software lifecycle. Moreover, the Automation-BasedParadigm provides an alternative to software construction, using formal methods as a basis for introducing automation in the development process. Among these methods, formal specification languages appear as the necessary tool for generating prototypes in an automatic process. FMOL is a formal… CONTINUE READING