TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 von Abramsky, S, Maibaum, T. S. E

Volltext

Categorical foundations for structured specifications in von Castro, Pablo F, Aguirre, Nazareno, Pombo, Carlos L, Maibaum, T S, E

Volltext

Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United N... von Aichernig, Bernhard K, Maibaum, Tom

Volltext

The Epistemology of Validation and Verification Testing von Maibaum, T. S. E.

Volltext

Categorical foundations for structured specifications in Z von Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos L., Maibaum, T. S. E.

Volltext

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Deontic action logic, atomic boolean algebras and fault-tolerance von Castro, Pablo F., Maibaum, T.S.E.

Volltext

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic von Castro, Pablo F., Maibaum, T. S. E.

Volltext

Objects, associations and subsystems: A hierarchical approach to encapsulation von Bicarregui, J. C., Lano, K. C., Maibaum, T. S. E.

Volltext

Is Current Incremental Safety Assurance Sound? von Cassano, V., Grigorova, S., Singh, N. K., Adedjouma, M., Lawford, M., Maibaum, T. S. E., Wassyng, A.

Volltext

The prescription and description of state based systems von Khosla, S., Maibaum, T. S. E.

Volltext

Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering von Haeberer, A., Maibaum, T.

Volltext

Database instances, abstract data types and database specification von MAIBAUM, T. S. E

Volltext

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Volltext

A Tableaux System for Deontic Action Logic von Castro, Pablo F., Maibaum, T. S. E.

Volltext

Conservative extensions, interpretations between theories and all that von Maibaum, T. S. E.

Volltext

Formalising Object-Oriented Models in the Object Calculus von Bicarregui, J. C., Lano, K. C., Maibaum, T. S. E.

Volltext

What we teach sofware engineers in the university : Do we take engineering seriously? von MAIBAUM, T. S. E

Volltext

Systematising reactive system design von MAIBAUM, T. S. E, KAN, P, LANO, K

Volltext

A Complete and Compact Propositional Deontic Logic von Castro, Pablo F., Maibaum, T. S. E.

Volltext