Web-based support for cooperative software engineering

DOI10.1023/A:1013323127548MaRDI QIDQ5960707zbMATH OpenOpenAlexFDO

Authors Joseph Goguen, Kai Lin

Publication date 20 May 2002

Published in Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1013323127548

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Collaborative Software Engineering
• scientific article; zbMATH DE number 1893837
• scientific article; zbMATH DE number 2013421

Cited in

(2)

• Rewriting-based verification of authentication protocols
• Collaborative Software Engineering

Describes a project that uses

Uses Software

• CafeOBJ
• Kumo

This page was built for publication: Web-based support for cooperative software engineering

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