JOURNAL ARTICLE

Formal methods for object-oriented software engineering

Mahesh H. Dodani

Year: 1996 Journal:   Annals of Software Engineering Vol: 2 (1)Pages: 121-160   Publisher: Springer Nature
Keywords:
Computer science Software engineering Systems engineering Engineering Programming language

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
23
Refs
0.24
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software
Embedded Systems Design Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture

Related Documents

BOOK

A formal approach to object-oriented software engineering

Martin WirsingAlexander Knapp

Theoretical Computer Science Year: 2002 Vol: 285 (2)Pages: 519-560
JOURNAL ARTICLE

A Formal Approach to Object-Oriented Software Engineering

Martin WirsingAlexander Knapp

Journal:   Electronic Notes in Theoretical Computer Science Year: 1996 Vol: 4 Pages: 322-360
© 2026 ScienceGate Book Chapters — All rights reserved.