Design of a JML documentation generator
| Author(s) : | Arun David Raghavan, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | Keywords: specification inheritance, refinement, browsable documentation generation, HTML, combining specifications, semantics of specifications, model-based specification, behavioral interface specification language, behavioral subtyping, formal specification languages, Eiffel, JML, Java., |