Object-oriented formal specifications to support Ada 95 reuse

Authors:
Huiming Yu;Albert Esterline;Joseph Monroe
Affiliations:
Department of Computer Science, NC A&T State University, Greensboro, NC;Department of Computer Science, NC A&T State University, Greensboro, NC;Department of Computer Science, NC A&T State University, Greensboro, NC
Venue:
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Year:
1996

ANNA: a language for annotating Ada programs

ANNA: a language for annotating Ada programs
Algebraic specification

Algebraic specification
Fundamentals of algebraic specification 2: module specifications and constraints

Fundamentals of algebraic specification 2: module specifications and constraints
Debugging Larch Shared Language Specifications

IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Encapsulation, delegation and inheritance in object-oriented languages

Software Engineering Journal - Object-oriented systems
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification

Hi-index	0.00