Specifications of reliable software -- what next?

Currently, there are many notations to specify software architectures, which address a wide range of formality and completeness. Completely formal notations produce accurate and analyzable software architecture specifications, but the most formal and ...

The availability of executable specification languages allows testing to be carried out soon after or concurrently with the requirements specification phase. In addition, it becomes possible to use these languages for rapid prototyping, making it ...