• No results found

A survey on formal, object-oriented program development approaches

N/A
N/A
Protected

Academic year: 2020

Share "A survey on formal, object-oriented program development approaches"

Copied!
17
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Table 1. Comparing object-oriented specication languages.
Table 2. Mapping rules from UML-B constructs to Event-B constructs.
Table 3 shows the criteria that will be used for com- com-paring formal, object-oriented program development techniques:
Table 4. Strengths of existing formal methods for object-oriented program development.
+2

References

Related documents

However, aside from reviewing the charity account to insure that at least some funds were transferred to some ostensibly charitable purpose, the Gaming Commission cannot legally

Major concentration of the paper has been on capturing the live traffic using the network protocol analyzer Wireshark and on the basis of analysis scripts using

Over half of Pioneers (54%) have seen significant change to their core business strategy or business model because of their use of new technologies, and 52% have seen

Conversely to an approach advocating for a universal interpretation of “corporate purpose” (which includes the Team Production Theory in which the view that the

 Emergency core cooling system via the steam generators – cools down the reactor core upon loss of power and loss of coolant in the primary or secondary circuit. In the event

In order to provide context for the body of public art examined in Chapters 4 and 5, this chapter examines post-contact art practices of Aboriginal people in southern Sydney since