Object Oriented Specification and Refinement

P. J. Whysall; John McDermid

doi:10.1007/978-1-4471-3756-6_9

ScienceGate Book Chapters

BOOK-CHAPTER

Object Oriented Specification and Refinement

P. J. Whysall John McDermid

Year: 1991 Workshops in computing Pages: 150-184 Publisher: Springer Nature

DOI: 10.1007/978-1-4471-3756-6_9

Get Full-Text PDF Get Analytical Report

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

Cited By

3.23

FWCI (Field Weighted Citation Impact)

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

Object Oriented Specification and Refinement

Metrics

Topics

Related Documents

Refinement in Object-Oriented Specification Languages

Reasoning and refinement in object-oriented specification languages

An object-oriented airport: Specification and refinement in Maude

Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations

From Object-Oriented Specification to Implementation: A Formal Refinement Methodology.