Rapid development of network software via SDL/Socket interfaces

DOI10.1007/3-540-36573-7_8MaRDI QIDQ4413764zbMATH OpenFDO

Authors Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2599/25990103.htm

zbMATH Keywords

Code IntegrationSDLSocket Interface

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• Development of distributed systems with SDL by means of formalized APIs
• scientific article; zbMATH DE number 49817
• Automatic formal model generation and analysis of SDL
• scientific article; zbMATH DE number 53973
• Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

This page was built for publication: Rapid development of network software via SDL/Socket interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413764)