• Publications
  • Influence
Choosing Bankruptcy Predictors Using Discriminant Analysis, Logit Analysis, and Genetic Algorithms
We are focusing on three alternative techniques that can be used to empirically select predictors for failure prediction purposes. The selected techniques have all different assumptions about theExpand
  • 157
  • 15
  • PDF
Neural networks and genetic algorithms for bankruptcy predictions
TLDR
We are focusing on three alternative techniques-linear discriminant analysis, logit analysis and genetic algorithms-that can be used to empirically select predictors for neural networks in failure prediction. Expand
  • 178
  • 12
An Approach to Object-Orientation in Action Systems
TLDR
We extend the action system formalism with a notion of objects that can be active and distributed. Expand
  • 55
  • 9
From Action Systems to Modular Systems
TLDR
We show how a single framework can be used for both the specification of large systems, the modular decomposition of the system into smaller units and the refinement of the modules into program modules that can be described in a standard programming language. Expand
  • 92
  • 5
  • PDF
Action Systems with Synchronous Communication
TLDR
The action system framework for modelling parallel and reactive programs is extended by adding procedure declarations to action systems. Expand
  • 39
  • 4
The Effect of Sample Size on Different Failure Prediction Methods
TLDR
Neural networks and machine learning methods have proved in many ways and in a number of publications to be real challengers to statistical methods - especially to logit and discriminant analysis - in predicting failures. Expand
  • 20
  • 4
Stepwise Refinement of Action Systems
  • R. Back, K. Sere
  • Mathematics, Computer Science
  • Struct. Program.
  • 26 June 1989
TLDR
A method for the formal development of provably correct parallel algorithms by stepwise refinement is presented. Expand
  • 208
  • 3
Superposition refinement of reactive systems
TLDR
Superposition refinement enhances an algorithm by superposing one computation mechanism onto another mechanism, in a way that preserves the behavior of the original mechanism. Expand
  • 89
  • 3
Hybrid action systems
TLDR
We generalize the definition of differential action, allowing the use of arbitrary relations over model variables and their time derivatives in modelling continuous-time dynamics. Expand
  • 53
  • 3
  • PDF
An Action System Approach to the Steam Boiler Problem
TLDR
We use the refinement calculus to structure and reason about the specification of control programs based on action systems and refinement. Expand
  • 48
  • 3