A. Romanovsky G. Di Marzo Serugendo, N. Guelfi and A. F. Zorzo. Formal development and validation of java dependable distributed systems. In Proceedings of ICECCS'99 - Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modeling and Analyzing Software Behavior in UML - Porres (2001) (Correct)
....work on program correctness [33, 46, 29] and is based on using and checking assertions within programs. The contract as a specification binding several parties was first introduced in [82] to constrain the collaborations among di#erent objects. This idea was further developed, for instance in [36]. Contracts are also used in the context of software components [95] Since the components and their clients are developed in mutual ignorance, the contract is the common ground for successful interaction. Many researches have studied the contracts of components, e.g. in [103, 50, 14, 40] We ....
....as captured by UML use cases. In our approach we specify use cases as procedures, while procedure calls in the body of the contract model use case instances as used by the involved agents. Another way of using contracts as formal assertions for specifying collaborations of objects is presented in [36]. The methodology of Di Marzo et al. refers to an entire software development process in which a two language framework is used. A logical language expressed in terms of temporal logic formulas denotes the properties or requirements of the system while a model oriented language expressed as ....
[Article contains additional citation context not shown here]
A. Romanovsky G. Di Marzo Serugendo, N. Guelfi and A. F. Zorzo. Formal development and validation of java dependable distributed systems. In Proceedings of ICECCS'99 - Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999.
A Formal Development and Validation Methodology for System Design - Serugendo (1999) Self-citation (Serugendo) (Correct)
....easier to prove formally that the system has certain properties, since each CA action guarantees a set of properties. These can be used to construct the proof of global system properties. Guidelines: The design phase of dependable distributed applications using the CA action concept is as follows [6]: 1. a set of informal application requirements is stated. It includes validation objectives as well as fault tolerance constraints; 2. an initial contractual specification is built. It gives a model of the application, which is abstract enough to be as independent as possible of implementation ....
G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky, and A. F. Zorzo. Formal development and validation of Java dependable distributed systems. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), 1999. Submitted.
A Formal Development and Validation Methodology Applied to.. - Serugendo (1999) Self-citation (Serugendo) (Correct)
....being developed. They should be seen as refinement patterns, since, after having identified the system to develop, the specifier applies a dedicated series of design steps. Development guidelines have already been defined for client server applications [3] as well as for dependable applications [5]. 2.3 CO OPN 2 and HML The above general theory has been applied to a high level class of Petri nets, called CO OPN 2, using the Hennessy Milner logic (HML) as logical language. Examples of this paper will be illustrated using CO OPN 2 and HML. CO OPN 2 is an object oriented formal ....
G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky, and A. F. Zorzo. Formal development and validation of Java dependable distributed systems. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99). IEEE Computer Society Press, 1999.
A Formal Development and Validation Methodology Applied to.. - Serugendo (2001) Self-citation (Serugendo) (Correct)
....being developed. They should be seen as refinement patterns, since, after having identified the system to develop, the specifier applies a dedicated series of design steps. Development guidelines have already been defined for client server applications [3] as well as for dependable applications [5]. 2.3 CO OPN 2 and HML The above general theory has been applied to a high level class of Petri nets, called CO OPN 2, using the Hennessy Milner logic (HML) as logical language. Examples of this paper will be illustrated using CO OPN 2 and HML. CO OPN 2 [1] is an object oriented formal ....
G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky, and A. F. Zorzo. Formal development and validation of Java dependable distributed systems. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99). IEEE Computer Society Press, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC