References of Source_Code_Queries

@Article{	  devanbu.rosenblum.ea:generating,
  key		= {DRW96},
  author	= {P.T. Devanbu and D.R. Rosenblum and A.L. Wolf},
  title		= {Generating Testing and Analysis Tools},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  year		= {1996},
  volume	= {5},
  number	= {1},
  pages		= {42-62},
  note		= {This article describes tools for analysing C/C++ programs
		  for programming understanding. These tools are generated
		  and support a procedural mechanism to retrieve information
		  from the C/C++ programs.},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Fundamental_Methods_in_Reverse_Design,
		  Source_Code_Queries}
}

@Article{	  mendelzon.sametinger:reverse,
  title		= {Reverse Engineering by visualizing and querying},
  author	= {A. Mendelzon and J. Sametinger},
  journal	= {Software---Concepts and Tools},
  pages		= {170--182},
  volume	= {16},
  number	= {4},
  year		= {1995},
  note		= { A tool called Hy+ is described that can be used for
		  reverse engineering. Hy+ is a general-purpose data
		  visualization system for querying and visualizing
		  information about object-oriented software systems. Hy+
		  supports this for arbitrary graph-like databases. The use
		  is demonstrated with the evaluation of software metrics,
		  verifying constraints and identifying design patterns},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Fundamental_Methods_in_Reverse_Design, Source_Code_Queries,
		  Reverse_Specification, Software_Animation,
		  Visualization_for_Program_Understanding_and_Debugging}
}

@Article{	  paul.prakash:framework,
  title		= {A framework for source code search using program
		  patterns},
  author	= {S. Paul and A. Prakash},
  journal	= {IEEE Transactions on Software Engineering},
  pages		= {463--475},
  volume	= {20},
  number	= {6},
  year		= {1994},
  note		= { It is argued that existing solutions to locating source
		  code fragments that match certain patterns are
		  insufficient. A framework in which pattern languages are
		  used to specify interesting code features is presented.
		  These are obtained by extending the source programming
		  language with pattern-matching symbols. This is implemented
		  in a tool called SCRUPLE},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Fundamental_Methods_in_Reverse_Design,
		  Source_Code_Queries}
}

@Article{	  paul.prakash:supporting,
  author	= {S. Paul and A. Prakash},
  title		= {Supporting Queries on Source Code: A Formal Framework},
  journal	= {International Journal of Software Engineering and
		  Knowledge Engineering},
  volume	= {4},
  number	= {3},
  pages		= {325-348},
  year		= {1994},
  note		= { A source code query system is a powerful mechanism to
		  obtain crucial information necessary to successfully
		  performing a reverse engineering task. A source code
		  algebra (SCA) is developed which is strongly based on
		  relational algebras as well as on many sorted algebras. Two
		  types of data types are distinguished in the source code
		  algebra model: \begin{itemize} \item atomic data types,
		  such as integer, float, etc. \item composite data types
		  (so-called objects): \begin{itemize} \item singular
		  objects, such as while-statement, identifier, etc. \item
		  collective objects, such as statement-list, etc.
		  \end{itemize} \end{itemize} The objects are extended with
		  four kinds of attributes, namely, components, references,
		  annotations, and methods. An extensive set of source code
		  algebra operators are defined, such operators defined for
		  atomic data types, individual objects, and collections,
		  i.e., sets and sequences. The operators for the collections
		  are strongly influenced by the operators from the
		  relational algebra domain},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Fundamental_Methods_in_Reverse_Design,
		  Source_Code_Queries}
}