Behavioral specification of distributed software component interfaces

Computer

Volumn 32, Issue 7, 1999, Pages 46-53

  Della Torre Cicalese, Cynthia ^a   Rotenstreich, Shmuel ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE REUSABILITY; DATA COMMUNICATION SYSTEMS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

BEHAVIORAL SPECIFICATION OF DISTRIBUTED SOFTWARE COMPONENT INTERFACES; COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); DESIGN BY CONTRACT; DISTRIBUTED COMPONENT OBJECT MODEL (DCOM); INTERFACE DEFINITION LANGUAGES (IDL); REMOTE METHOD INVOCATION (RMI); REMOTE-CALLING COMMUNICATIONS;

INTERFACES (COMPUTER);

EID: 0032661599     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.774918     Document Type: Article

References (4)

1. J.-M. Jezequel and B. Meyer, "Design by Contract: The Lessons of Ariane," Computer, Jan. 1997, pp. 129-130.
2. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, Upper Saddle River, N.J., 1997.
3. C.M. Holloway and R.W. Butler, "Impediments to Industrial Use of Formal Methods," Computer, Apr. 1996, pp. 16-30.
4. K. Finney, "Mathematical Notation in Formal Specification: Too Difficult for the Masses?" IEEE Trans. Software Eng., Feb. 1996, pp. 158-159.