ADLan interface definition language for specifying and testing software

SankarSriram,HayesRoger

ADLan interface definition language for specifying and testing software

1994

SankarSriram
HayesRoger

This paper describes an interface definition language called ADL which extends OMG's CORBA interface definition language with formal specification constructs. In addition to ADL's use in formal doc...

Keywords:

Computer science
Formal specification
Common Object Request Broker Architecture
testing software
Interface description language
Programming language

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations