Skip to Main Content
The following topics are dealt with: requirements engineering; change management; social system; formal specification; formal verification; embedded system; requirements elicitation and software life cycle.
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.