JOURNAL ARTICLE
Formal methods for object-oriented software engineering
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
Theoretical Computer Science Year: 2002 Vol: 285 (2)Pages: 519-560
JOURNAL ARTICLE
A Formal Approach to Object-Oriented Software Engineering
Journal: Electronic Notes in Theoretical Computer Science Year: 1996 Vol: 4 Pages: 322-360
BOOK-CHAPTER
Formal Methods in Agent-Oriented Software Engineering
Amal El Fallah-SeghrouchniJorge J. Gómez-SanzMunindar P. Singh
Lecture notes in computer science Year: 2011 Pages: 213-228