Key points are not available for this paper at this time.
Formal specification technology needs to provide CONSTRUCTIVE methods for specification development, analysis, and evolution. Formal specifications need to be fully integrated with other software products and processes all along the software lifecycle. Specification techniques should move from functional design to requirements engineering; higher-level, problem-oriented ontologies must therefore be supported instead of programoriented ones. The scope of formal specification and analysis must be extended to cover non-functional requirements that play a prominent role in architectural design --such as performance, security, fault tolerance, accuracy, maintainability, etc. Tomorrow's technology will provide lightweight interfaces for multiparadigm specification and analysis.
Axel van Lamsweerde (Mon,) studied this question.