Journal ArticleDOI
A Complexity Measure
Reads0
Chats0
TLDR
Several properties of the graph-theoretic complexity are proved which show, for example, that complexity is independent of physical size and complexity depends only on the decision structure of a program.Abstract:
This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program complexity. The paper first explains how the graph-theory concepts apply and gives an intuitive explanation of the graph concepts in programming terms. The control graphs of several actual Fortran programs are then presented to illustrate the correlation between intuitive complexity and the graph-theoretic complexity. Several properties of the graph-theoretic complexity are then proved which show, for example, that complexity is independent of physical size (adding or subtracting functional statements leaves complexity unchanged) and complexity depends only on the decision structure of a program.read more
Citations
More filters
Journal ArticleDOI
Fault Handling in PLC-Based Industry 4.0 Automated Production Systems as a Basis for Restart and Self-Configuration and Its Evaluation
Birgit Vogel-Heuser,Susanne Rösch,Juliane Fischer,Thomas Simon,Sebastian Ulewicz,Jens Folmer +5 more
TL;DR: The state of the art of fault handling in industrial automated production systems (aPS) is discussed as a result of a case study analysis in eight companies developing aPS, and metrics to evaluate the concept of self-configuration and restart for aPS focusing on real-time capabilities, fault coverage and effort to increase fault coverage are proposed.
Proceedings ArticleDOI
Visualizing and Measuring Enterprise Application Architecture: An Exploratory Telecom Case
TL;DR: Findings suggest that the method designed and previously used to reveal the hidden internal architectural structure of software applications could be effective in uncovering the hidden structure of an enterprise application architecture.
Proceedings ArticleDOI
When can we test less
TL;DR: In the case study presented here, traditional methods of generating defect detectors were found to be inferior to those found via a PACE analysis.
Proceedings ArticleDOI
Unikernels as Processes
TL;DR: This paper shows that unikernels do not actually require a virtual hardware abstraction, but can achieve similar levels of isolation when running as processes by leveraging existing kernel system call whitelisting mechanisms.
Journal ArticleDOI
Structured collaborative workflow design
Markus Held,Wolfgang Blochinger +1 more
TL;DR: A novel concept of collaborative workflow design which combines cooperation and workflow model analysis is presented, and workflow analysis is simplified using workflow metrics, which help identifying problematic aspects of the workflow model.
References
More filters
Journal ArticleDOI
Structured Programming with go to Statements
TL;DR: For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to Statements" is probably the paper to read.
Journal ArticleDOI
Analysis of structured programs
TL;DR: It is shown that an arbitrary program P is reducible to a D-chart if and only if P does not contain a loop with two distinct exits.
Journal ArticleDOI
A genealogy of control structures
TL;DR: It is argued further that there is insufficient evidence to warrant more than if-then-else, while-do, and their variants and the importance of one-in, one-out control structures as operational abstractions.