If the title you want is just one word, how can you "smash" it together?
- You can add some other word(s). For example, instead of Z, use ZSpecificationLanguage.
- You can turn some later letters into capitals. For example, instead of Specware, use SpecWare. This does not work for Z. But if the title is a multi-letter acronym, like KIDS, you are fine and don't need to do anything special.
The general rule is that the smashed-together word is fully alphanumeric and contains two capital letters, as in R2D2 or 3CP0.