References of Formal_Methods

@Article{	  bauer.moller.ea:formal,
  author	= {F.L. Bauer and B. Moller and H. Partsch and P. Pepper},
  title		= {Formal program construction by transformations---
		  Computer-aided, intuition-guided programming},
  journal	= {IEEE Transactions on Software Engineering},
  month		= {February},
  year		= {1989},
  volume	= {15},
  number	= {2},
  pages		= {165-180},
  abstract	= { . CIP . Transformation-based approach. },
  class		= {Software_Reverse_Engineering, Formal_Methods }
}

@TechReport{	  baumann.fassler.ea:beauty,
  author	= {P. Baumann and J. F\"assler and M. Kiser and Z. \"Ozt\"urk},
  institution	= {Department of Computer Science, University of Zurich,
		  Switzerland},
  number	= {93.39},
  title		= {Beauty and the Beast or A Formal Description of the
		  Control Constructs of Cobol and its Implementation},
  year		= {1993},
  note		= { A formal semantics for a subset of COBOL is presented
		  with the aid of denotational semantics. The subset consists
		  of the control constructs of COBOL. In \cite{BFKOR95} it is
		  argued that precisely this subset is relevant for reverse
		  engineering},
  class		= {Software_Reverse_Engineering, Formal_Methods}
}

@TechReport{	  baumann.fassler.ea:semantics-based,
  title		= {Semantics-based Reverse Engineering},
  author	= {P. Baumann and J. F\"assler and M. Kiser and Z. \"Ozt\"urk
		  and L. Richter},
  institution	= {Department of Computer Science, University of Zurich,
		  Switzerland},
  number	= {94.08},
  year		= {1994},
  note		= { Denotational semantics is advocated as a formal
		  foundation for program understanding. The ideas are
		  implemented in a tool for reverse engineering called AEMES.
		  This tool is geared towards COBOL-74},
  class		= {Software_Reverse_Engineering, Formal_Methods}
}

@Article{	  bowen.breuer.ea:compendium,
  title		= {A compendium of formal techniques for software
		  maintenance},
  author	= {J. Bowen and P. Breuer and K. Lano},
  journal	= {Software Engineering Journal},
  pages		= {253--262},
  volume	= {8},
  number	= {5},
  year		= {1993},
  note		= { An overview of formal techniques developed recently to
		  aid the software maintenance process and particularly
		  reverse engineering is given},
  class		= {Software_Reverse_Engineering,
		  Software_Reverse_Engineering_in_General, Formal_Methods}
}

@InProceedings{	  lano.haughton:integrating,
  author	= {K. Lano and H. Haughton},
  title		= {Integrating formal and structured methods in reverse
		  engineering},
  booktitle	= {Proceedings of the 1st  Working Conference on Reverse
		  Engineering },
  pages		= {17--26},
  year		= {1993},
  note		= { Describes the integration of formal (Z++) and structured
		  (SSADM) methods in reverse engineering as prototyped in the
		  REDO project},
  class		= {Software_Reverse_Engineering, Formal_Methods}
}

@Book{		  lano.haughton:reverse,
  author	= {K. Lano and H. Haughton},
  title		= {Reverse Engineering and Software Maintenance --- A
		  Practical Approach},
  publisher	= {McGraw-Hill},
  year		= {1994},
  note		= { This book describes a fundamental approach to reverse
		  engineering and software maintenance. After an introduction
		  in software maintenance and reverse engineering a number of
		  tools and approaches are discussed to tackle various
		  problems in these areas. An elaborate introduction in logic
		  and program semantics is given. One method (the process
		  model) to address maintenance and reverse engineering is
		  discussed in more detail. The book concludes with a number
		  of case-studies which use a formal approach based on logic
		  and program semantics},
  class		= {Software_Reverse_Engineering,
		  General_Information_on_Software_Reverse_Engineering,
		  Formal_Methods}
}

@InProceedings{	  liu.yang.ea:formal,
  author	= {Xiaodong Liu and Hongji Yang and Hussein Zedan},
  title		= {Formal Methods For The Re-Engineering of Computing
		  Systems},
  booktitle	= {Proceedings of The 21st IEEE International Conference on
		  Computer Software and Application (COMPSAC'97)},
  publisher	= {IEEE Computer Society},
  year		= {1997},
  pages		= {409--414},
  address	= {Washington, D.C.},
  month		= {August},
  abstract	= { We present a short review of formal methods and their use
		  in the re-engineering of computing systems. The paper
		  considers five classes of formal notations and theories,
		  namely state/model-based, logic-based, algebraic-based,
		  process algebra and net-based formalisms together with
		  combined formalisms. },
  keywords	= {formal methods, re-engineering, wide spectrum language,
		  real-time systems, refinement, reverse engineering,
		  logic.},
  class		= {Software_Reverse_Engineering Formal_Methods }
}

@InProceedings{	  yang.liu.ea:tackling,
  author	= {Hongji Yang and Xiaodong Liu and Hussein Zedan},
  title		= {Tackling the Abstraction Problem for Reverse Engineering
		  in a System Re-engineering Approach},
  booktitle	= {proceedings of the IEEE Conference on Software Maintenance
		  (ICSM'98)},
  publisher	= {IEEE Computer Society},
  year		= {1998},
  address	= {Washington D.C., USA},
  month		= {November},
  abstract	= {It is widely accepted that reverse engineering has three
		  components: restructuring, comprehension and production of
		  formal specification. In this paper, we advocate that the
		  three components could be achieved in a {\bf systematic}
		  approach by successfully applying a series of sound rules.
		  
		  The key approach to comprehension and the production of
		  formal specification is a notion of abstraction.
		  Abstraction is often interpreted as the act of hiding
		  irrelevant details. What constitute as relevant details is
		  often left open to different interpretations.
		  
		  A unified approach for reverse engineering is described
		  within which the notion of abstraction is classified and
		  precisely defined. Abstraction rules are given and applied
		  to various small examples. },
  keywords	= {reverse engineering, re-engineering, wide spectrum
		  language, abstraction, object oriented, Interval Temporal
		  Logic. },
  class		= {Reengineering_in_General Software_Reverse_Engineering
		  Reverse_Specification Formal_Methods Reverse_Design
		  Process_Models }
}