Title :
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE´95)
Keywords :
formal specification; formal verification; software development management; systems analysis; consistency; education; evolution; formal modeling; information systems development; requirements elicitation; requirements engineering; requirements specification; requirements traceability; research efforts; reuse;
Conference_Titel :
Requirements Engineering, 1995., Proceedings of the Second IEEE International Symposium on
Conference_Location :
York, UK
Print_ISBN :
0-8186-7017-7
DOI :
10.1109/ISRE.1995.512539