Publication

Enhancing OCL for Specifying Pre- and Postconditions

Alfred Strohmeier, Shane Sendall
2000
Conference Papers

Abstract

This paper proposes a number of enhancements to UML's Object Constraint Language to improve its usability for specifying operations by pre- and postconditions. In particular, we propose notational shortcuts and semantic modifications to OCL so that it can be more effectively used by developers. Also, the paper discusses an approach for specifying, in OCL, events and exceptions which are output and raised by an operation.

Official source

https://infoscience.epfl.ch/entities/publication/cf37e29b-c82b-4978-a588-5a1683767356

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Alfred Strohmeier, Shane Sendall
2000
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/cf37e29b-c82b-4978-a588-5a1683767356

About this result

Related concepts (32)

Usability

Usability can be described as the capacity of a system to provide a condition for its users to perform the tasks safely, effectively, and efficiently while enjoying the experience. In software engineering, usability is the degree to which a software can be used by specified consumers to achieve quantified objectives with effectiveness, efficiency, and satisfaction in a quantified context of use. The object of use can be a software application, website, book, tool, machine, process, vehicle, or anything a human interacts with.

Usability testing

Usability testing is a technique used in user-centered interaction design to evaluate a product by testing it on users. This can be seen as an irreplaceable usability practice, since it gives direct input on how real users use the system. It is more concerned with the design intuitiveness of the product and tested with users who have no prior exposure to it. Such testing is paramount to the success of an end product as a fully functioning application that creates confusion amongst its users will not last for long.

Usability engineering

Usability Engineering is a professional discipline that focuses on improving the usability of interactive systems. It draws on theories from computer science and psychology to define problems that occur during the use of such a system. Usability Engineering involves the testing of designs at various stages of the development process, with users or with usability experts. The history of usability engineering in this context dates back to the 1980s.

Related publications (5)

Enhancing OCL for Specifying Pre- and Postconditions

Chat with Graph Search

Task-oriented Usability Evaluation of a WebGIS for a Real-World Community

Advances in Fast Multistream Diarization based on the Information Bottleneck Framework

RACE: Towards Exploring the Design Dimensions of a Route Assisting and Communicating System for Elderly