Author of the publication

Language design for the Ironman requirement: reference manual.

, , and . ACM SIGPLAN Notices, 13 (9): 36-58 (1978)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Abstractions for Software Architecture and Tools to Support Them., , , , , and . IEEE Trans. Software Eng., 21 (4): 314-335 (1995)Immigration course in computer science.. ACM SIGCSE Bull., 4 (2): 16-27 (1972)A value-based approach to predicting system properties from design., , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-5 (2005)Software Engineering Body of Knowledge (SWEBOK)., , , , , and . ICSE, page 693-696. IEEE Computer Society, (2001)A Design Space for Self-Adaptive Systems, , , , , , and . Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)Comparing Architectural Design Styles.. IEEE Software, 12 (6): 27-41 (1995)Can Software Engineering Harness the Benefits of Advanced AI?, and . IEEE Softw., 39 (6): 99-104 (2022)Research Directions in Abstract Data Structures.. Conference on Data: Abstraction, Definition and Structure, page 66-68. ACM, (1976)Software Architecture: The Next Step for Object Technology (Panel)., , , and . OOPSLA, page 356-359. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.Some Patterns for Software Architectures. Pattern Languages of Program Design, 2, page 255-269. Addison-Wesley, (1996)