PiXL: applying XML standards to support the integration of analysis tools for protocols

DOI10.1016/J.SCICO.2006.08.006MaRDI QIDQ869693zbMATH OpenOpenAlexFDO

Authors María del Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel

Publication date 8 March 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.08.006

zbMATH Keywords

XMLperformancemodel checkingformal methodsprotocolsanalysisMDA

Mathematics Subject Classification ID

Data structures (68P05) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 2013596
• Netpdl: an extensible XML-based language for packet header description
• scientific article; zbMATH DE number 2013381
• scientific article; zbMATH DE number 1755601
• XMILE: An XML based approach for incremental code mobility and update

Cited in

(4)

• XML11 -- an abstract windowing protocol
• Netpdl: an extensible XML-based language for packet header description
• PiXL
• scientific article; zbMATH DE number 1950638 (Why is no real title available?)

This page was built for publication: PiXL: applying XML standards to support the integration of analysis tools for protocols

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