References of Requirement_Tracability

@InProceedings{	  boldyreff.burd.ea:greater,
  author	= {C. Boldyreff and E.L. Burd and R.M. Hather and M. Munro
		  and E.J. Younger},
  title		= {Greater Understanding Through Maintainer Driven
		  Traceability},
  booktitle	= {WPC~'96: Proceedings of the IEEE Fourth Workshop on
		  Program Comprehension, {\rm (Berlin, Germany; March 29-31,
		  1996)}},
  year		= {March 1996},
  publisher	= {IEEE Computer Society Press},
  class		= {Software_Reverse_Engineering, Reverse_Specification,
		  Requirement_Tracability }
}

@InProceedings{	  liu.chen.ea:design,
  author	= {Xiaodong Liu and Zhiqiang Chen and Hongji Yang and Hussein
		  Zedan and William. C. Chu},
  title		= {A Design Framework for System Re-engineering},
  booktitle	= {Proceedings of Joint Asia Pacific Software Engineering
		  Conference and International Computer Science Conference},
  publisher	= {IEEE Computer Society},
  year		= {1997},
  address	= {Hong Kong},
  month		= {December},
  abstract	= { We discuss the current situation of formal methods and
		  their use in the re-engineering of computing systems,
		  especially real time systems. Based on the analysis result,
		  a solution which uses a consistent 4-sector Wide Spectrum
		  Language (WSL) is proposed, which presently includes the
		  general architecture and work flow, the structure of
		  Object-Action Model, the syntax and semantics of ObTAM
		  (Object Oriented Temporal Agent Model) and TGCL (Timed
		  Guarded Command Language). A small case study shows an
		  optimistic future of our WSL technique. Further research
		  will aim to build the complete semantic kernel of the WSL
		  and its associated algebraic laws, including transformation
		  rules and abstraction rules. },
  keywords	= {formal methods, re-engineering, wide spectrum language,
		  real-time systems, object orientation, Interval Temporal
		  Logic},
  class		= {Reengineering_in_General Requirement_Tracability
		  Software_Reverse_Engineering Reverse_Specification
		  Process_Models }
}