BOOK-CHAPTER

Object Oriented Specification

Keywords:
Programming language Computer science Programming paradigm Functional logic programming Object-oriented programming Declarative programming Inductive programming Procedural programming Reactive programming Functional reactive programming Computation Programming domain Object (grammar) Theoretical computer science Artificial intelligence

Metrics

8
Cited By
0.71
FWCI (Field Weighted Citation Impact)
0
Refs
0.65
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Advanced Software Engineering Methodologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Software Engineering Research
Physical Sciences →  Computer Science →  Information Systems

Related Documents

BOOK-CHAPTER

Object-Oriented Process Specification

Steve SchumanDavid H. PittP.J. Byers

Workshops in computing Year: 1990 Pages: 21-70
BOOK-CHAPTER

Object Oriented Specification and Refinement

P. J. WhysallJohn McDermid

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

Object-Oriented Specification Case Studies

Tim Clement

Journal:   Software Engineering Journal Year: 1995 Vol: 10 (4)Pages: 156-156
JOURNAL ARTICLE

Object-oriented specification (abstract only)

Ole-Johann Dahl

Journal:   ACM SIGPLAN Notices Year: 1986 Vol: 21 (10)Pages: 184-184
© 2026 ScienceGate Book Chapters — All rights reserved.