BOOK-CHAPTER

Refinement in Object-Oriented Specification Languages

Kevin Lano

Year: 1994 Workshops in computing Pages: 236-259   Publisher: Springer Nature
Keywords:
Programming language Computer science

Metrics

11
Cited By
2.44
FWCI (Field Weighted Citation Impact)
27
Refs
0.85
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Software Reliability and Analysis Research
Physical Sciences →  Computer Science →  Software
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software

Related Documents

BOOK-CHAPTER

Reasoning and refinement in object-oriented specification languages

Kevin LanoH. Haughton

Lecture notes in computer science Year: 2006 Pages: 78-97
BOOK-CHAPTER

Object Oriented Specification and Refinement

P. J. WhysallJohn McDermid

Workshops in computing Year: 1991 Pages: 150-184
JOURNAL ARTICLE

Object-oriented model-based specification languages

A. JalilaD. Jeya Mala

Journal:   ACM SIGSOFT Software Engineering Notes Year: 2014 Vol: 39 (5)Pages: 1-4
JOURNAL ARTICLE

Real-time Constraint Specification in Object-Oriented Languages

Alexander PonsM.A. Tapia

Journal:   Journal of Family Medicine and Primary Care Year: 1999 Vol: 9 (8)Pages: 4418-4420
© 2026 ScienceGate Book Chapters — All rights reserved.