A requirements monitoring framework for enterprise systems

This publication has 50 references indexed in Scilit:

• Using execution trace data to improve distributed systems
  Software: Practice and Experience, 2002
• The Anatomy of the Grid: Enabling Scalable Virtual Organizations
  The International Journal of High Performance Computing Applications, 2001
• Formal methods for verification and validation of partial specifications: A case study
  Journal of Systems and Software, 1998
• Using test oracles generated from program documentation
  IEEE Transactions on Software Engineering, 1998
• Web-based enterprise management architecture
  IEEE Communications Magazine, 1998
• Rapid application of lightweight formal methods for consistency analyses
  IEEE Transactions on Software Engineering, 1998
• Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions
  The Computer Journal, 1997
• Data mining: an overview from a database perspective
  IEEE Transactions on Knowledge and Data Engineering, 1996
• Formal methods and testing
  ACM SIGSOFT Software Engineering Notes, 1996
• Debugging concurrent Ada programs by deterministic execution
  IEEE Transactions on Software Engineering, 1991