Object-oriented model-based specification languages: a comparison


Complex, soft-real-time system development is one of the challenges in the software industry, as it is difficult to understand, test and maintain such systems. However, the software development goal is to operate reliably despite this complexity. This can be achieved by applying formal methods, which use a language that has a strong mathematical foundation… (More)
DOI: 10.1145/2659118.2659132


3 Figures and Tables

Cite this paper

@article{Jalila2014ObjectorientedMS, title={Object-oriented model-based specification languages: a comparison}, author={A. Jalila and D. Jeya Mala}, journal={ACM SIGSOFT Software Engineering Notes}, year={2014}, volume={39}, pages={12:1-12:4} }