Comparison of formal specification methods and object-oriented paradigms
Object orientation and formal methods are widely regarded as two fields with significant potential for new software engineering techniques. This paper discusses the relations between these two approaches. We present various specification techniques which incorporate object-oriented paradigms, discus...
Gespeichert in:
| Veröffentlicht in: | Journal of network and computer applications 1997-10, Vol.20 (4), p.355-377 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Object orientation and formal methods are widely regarded as two fields with significant potential for new software engineering techniques. This paper discusses the relations between these two approaches. We present various specification techniques which incorporate object-oriented paradigms, discuss their place in software development process, and analyse possible benefits from their applications. |
|---|---|
| ISSN: | 1084-8045 1095-8592 |
| DOI: | 10.1006/jnca.1997.0050 |