Object-oriented model-based specification languages: a comparison

Abstract

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

Topics

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} }