Concepedia

Extending the Object-Process Methodology to Handle Real-Time Systems.

Mor Peleg, Dov Dori

Journal of Object-oriented Programming · 1998 · 30 citations · 8 references

Concepts

EngineeringComputer ScienceSystems EngineeringReal-time SystemsSystems DesignSystems ModelingObject-oriented DesignProcess ModelingReal-time Systems DesignSoftware DesignSoftware ModelingConstraintsDesign PatternsObject-process MethodologyReal-time ConstraintsReal-time System ModelsReal-time Systems ModelingTimingTiming Constraints

Abstract

An AC width index of ≥60% is highly accurate for the diagnosis of a posterior AC joint dislocation, with high intraobserver and interobserver concordance.

References

8

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Engineering, Computer Science, Systems Engineering +12

Modechart: a specification language for real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1994 · 212 citations

Engineering, Computer Engineering, Computer Science +15

Using statecharts for hardware description and synthesis

Doron Drusinsky, David Harel · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1989 · 165 citations

Engineering, Computer Engineering, Computer Science +17

Formal methods for the specification and design of real-time safety critical systems

Jonathan S. Ostroff · Journal of Systems and Software · 1992 · 124 citations

Engineering, Computer Engineering, Systems Engineering +14