Specifying and analysing system-level inter-component interfaces

DOI10.1007/PL00010351zbMath0963.68662OpenAlexW2001644876MaRDI QIDQ5935939

Mats P. E. Heimdahl, Jeffrey M. Thompson

Publication date: 1 July 2001

Published in: Requirements Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00010351

zbMATH Keywords

formal methodsinter-component communicationrequirements specificationRSMLsafety kernelstate-based specificationstatic analysis

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Specifying and analysing system-level inter-component interfaces