A case study using lightweight formalism to review an information system specification

DOI10.1002/SPE.388zbMath0972.68735OpenAlexW2157379356MaRDI QIDQ2745263

Fiona Polack

Publication date: 19 November 2001

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.388

zbMATH Keywords

information system specification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A case study using lightweight formalism to review an information system specification