Relating architecture and specification

Computer Networks

Volumn 29, Issue 4, 1997, Pages 437-456

  Turner, Kenneth J ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Architectural semantics; Architecture; FDT (formal description technique); Lotos (language of temporal ordering specification); Specification; Specification architecture; Specification template

Indexed keywords

EID: 20444405731     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00107-9     Document Type: Article

References (2)

1. K. Bogaards, LOTOS supported system development, in: K.J. Turner, ed., Proc. Formal Description Techniques 1 (North-Holland, Amsterdam, 1989) 279-294.
2. K. Bogaards, A methodology for the architectural design of open distributed systems, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, 1990.