Specifying and Monitoring Java Classes

Lopes, Antonia; Nunes, Isabel; Vasconcelos, Vasco T.

http://hdl.handle.net/10451/15280

Use this identifier to reference this record.

Send Feedback

Authors

Lopes, Antonia

Nunes, Isabel

Vasconcelos, Vasco T.

Abstract(s)

These lecture notes describe an Abstract Data Type approach to the specification of data structures meant to be implemented and monitored in an object-oriented imperative language.

Keywords

Specification Abstract Data Types Java classes

URI

http://hdl.handle.net/10451/15280
http://repositorio.ul.pt/handle/10455/3170

Publisher

DI-FCUL

Collections

FC-DI - Learning Objects

Full item page

Specifying and Monitoring Java Classes

Authors

Advisor(s)

Abstract(s)

Description

Keywords

URI

Pedagogical Context

Citation

Research Projects

Organizational Units

Journal Issue

Publisher

Collections

CC License