BOOK-CHAPTER

Object Oriented Specification and Refinement

P. J. WhysallJohn McDermid

Year: 1991 Workshops in computing Pages: 150-184   Publisher: Springer Nature
Keywords:
Computer science Relation (database) Scalability Formal specification Set (abstract data type) Programming language Object (grammar) Formal methods Software engineering Data mining Database Artificial intelligence

Metrics

15
Cited By
3.23
FWCI (Field Weighted Citation Impact)
12
Refs
0.91
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Advanced Software Engineering Methodologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
© 2026 ScienceGate Book Chapters — All rights reserved.