Title :
Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)
Abstract :
The following topics are dealt with: software requirements and specifications; concurrent and distributed systems; real-time systems; formal methods; software system design methods; and software processes
Keywords :
formal logic; formal specification; formal verification; parallel programming; real-time systems; specification languages; concurrent; distributed systems; formal methods; real-time systems; software processes; software requirements; software system design methods; specifications;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como, Italy
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213083
