A flexible software analysis tool

This publication has 11 references indexed in Scilit:

• The construction of information management system prototypes in Ada
  Software: Practice and Experience, 1986
• Functional programming, formal specification, and rapid prototyping
  IEEE Transactions on Software Engineering, 1986
• The transformation schema: An extension of the data flow diagram to represent control and timing
  IEEE Transactions on Software Engineering, 1986
• Salient features of an executable specification language and its environment
  IEEE Transactions on Software Engineering, 1986
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Parallel Processing with Large-Grain Data Flow Techniques
  Computer, 1984
• The operational versus the conventional approach to software development
  Communications of the ACM, 1984
• In Favour of System Prototypes and their Integration into the Systems Development Cycle
  The Computer Journal, 1983
• Data-Driven and Demand-Driven Computer Architecture
  ACM Computing Surveys, 1982
• Software Engineering
  IEEE Transactions on Computers, 1976