Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures

Authors:
R. A. Riemenschneider
Affiliations:
-
Venue:
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Year:
1999

Citing 0
Cited 2

Requirements engineering in the year 00: a research perspective

Proceedings of the 22nd international conference on Software engineering
Secure Interoperation of Secure Distributed Databases

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract