Coordination contracts for Java applications

J. Gouveia; G. Koutsoukos; M. Wermelinger; Luís Andrade; J. L. Fiadeiro

Coordination contracts for Java applications

J. Gouveia, G. Koutsoukos, M. Wermelinger, Luís Andrade, J. L. Fiadeiro

Science and Engineering Office

Research output: Contribution to journal › Article › peer-review

Abstract

Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop Java applications using it.

Original language	English
Article number	101
Number of pages	1
Journal	International Conference on Software Engineering
Publication status	Published - 2002

ASJC Scopus subject areas

Software

Access to Document

https://ieeexplore.ieee.org/document/1008049Licence: No Licence / Unknown

Cite this

@article{e7560358b98441d7a4ef173b784ea160,

title = "Coordination contracts for Java applications",

abstract = "Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop Java applications using it.",

author = "J. Gouveia and G. Koutsoukos and M. Wermelinger and Lu{\'i}s Andrade and Fiadeiro, {J. L.}",

year = "2002",

language = "English",

journal = "International Conference on Software Engineering",

issn = "0270-5257",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - Coordination contracts for Java applications

AU - Gouveia, J.

AU - Koutsoukos, G.

AU - Wermelinger, M.

AU - Andrade, Luís

AU - Fiadeiro, J. L.

PY - 2002

Y1 - 2002

N2 - Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop Java applications using it.

AB - Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop Java applications using it.

UR - http://www.scopus.com/inward/record.url?scp=0036040022&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0036040022

SN - 0270-5257

JO - International Conference on Software Engineering

JF - International Conference on Software Engineering

M1 - 101

ER -

Coordination contracts for Java applications

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this