Vassileios Karakostas

Rule-Based Requirements Specification and Validation

Pericles Loucopoulos, Aphrodite Tsalgatidou, Vassileios Karakostas, 1990, CAiSE.

Automatic Transformation of Hybrid Object and Logic Specification to C++ Code

Vassileios Karakostas, L. Pourkashani, 1994, TOOLS.

Combined use of languages in object-oriented software construction

Vassileios Karakostas, L. Pourkashani, 1994, OOPS.

Intelligent search and acquisition of business knowledge from programs

Vassileios Karakostas, V. Karakostas, 1992, J. Softw. Maintenance Res. Pract..

Modelling and validating office information systems: an object and logic oriented approach

Pericles Loucopoulos, Vassileios Karakostas, 1989, Softw. Eng. J..

A teleological perspective of software and its application to large scale reuse and maintenance

Vassileios Karakostas, 1990 .

Modelling and maintenance software systems at the teleological level

Vassileios Karakostas, V. Karakostas, 1990, J. Softw. Maintenance Res. Pract..

Business-Object Semantics Communication Model in Distributed Environment

Hei-Chia Wang, Vassileios Karakostas, 1998, ECOOP Workshops.