Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 52-61

  Sankar, Sriram ^a  

^a SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE SELECTION AND EVALUATION; SPECIFICATION LANGUAGES;

CURRENT LEVELS; DISTRIBUTED OBJECTS; DISTRIBUTED SYSTEMS; INTERFACE DEFINITION LANGUAGES; SANITY CHECK; SOFTWARE QUALITY; SUN MICROSYSTEMS; TOOL SUPPORT;

FORMAL SPECIFICATION;

EID: 21344459088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014307     Document Type: Conference Paper

References (4)

1. ADL Language Reference Manual and ADL Translator Design Specification. http://wwwsunlabs.com/research/adl/.
2. Common Object Request Broker: Architecture and Specification Revision 2.0. Available from the OMG.
3. Sankar, S. & Hayes, R. Specifying and Testing Software Components using ADL., Sun Microsystens Laboratories Technical Report No. SML-TR-94-23.
4. SunSoft NEO External Web Page. "http://wwwsun.com/sunsoft/neo/.