Corrado Böhm
- 1 PETER, R. Graphschemata und rekursive Funktionen. Dialectica 12 (1958), 373-393.Google Scholar
Cross Ref
- 2 Goas, S. Specification languages for mechanical languages and their processors. Comm. ACM. 4, (Dec. 1961), 532-542. Google ScholarDigital Library
- 3 HERMES, H. Aufzghlbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer Verlag, Berlin, 1961.Google Scholar
- 4 CIAMPA, S. Un'applicazione della teoria dei graft. Atli del Convegno Nazionale di Logica, Torino 5-7 (April 1961), 73-80.Google Scholar
- 5 RIGUET, J. Programmation et theorie des categories. Proc. ICC Syrup. Symbolic Languages in Data Processing, Gordon and Breach, New York, 1962, 83-98.Google Scholar
- 6 IANOV, Yu, I. On the equivalence and transformation of program schemes. Dokl. Akad. Nauk SSSR 113, (1957), 39-42. (Russian).Google Scholar
- 7 ASSER, G. Functional algorithms and graph schema. Z. Math. Logik u. Grundlagen Math., 7, (1961), 20-27.Google ScholarCross Ref
- 8 BOHM, C. On a family of Turing machines and the related programming language. ICC Bull. 3, (July 1964), 187-194.Google Scholar
- 9 BOHM, C., JACOPINI, G. Nuove tecniche di programmazione semplificanti la sintesi di macchine universuli di Turing. Rend. Acc. Naz. Lincei {8}, 32, (June 1962), 913-922.Google Scholar
Recommendations
Constraint Diagrams: A Step Beyond UML
TOOLS '99: Proceedings of the Technology of Object-Oriented Languages and SystemsThe Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is the Object Constraint Language (OCL) which is ...
Basic Rules to Build Correct UML Diagrams
NISS '09: Proceedings of the 2009 International Conference on New Trends in Information and Service ScienceThe Unified Modeling Language (UML) has been designed to be a full standard notation for Object Oriented Modeling. UML has nine types of diagrams [3, 6]: class, object, sequence, collaboration, use case, statechart, activity, deployment and, component ...
A systematic identification of consistency rules for UML diagrams
Highlights- A systematic mapping study on UML consistency rules.
- From 105 primary studies ...
AbstractUML diagrams describe different views of one software. These diagrams strongly depend on each other and must therefore be consistent with one another, since inconsistencies between diagrams may be a source of faults during software ...
Comments