Searching for authors named "Nikolaos Vlachantonis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Development Environment for an Object Specification Language
by Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis — 1995 — IEEE Transactions on Knowledge and Data Engineering
…Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently exi…
Cited by 3 (2 self) – Add To MetaCart

A Development Environment for an Object Specification Language
by Martin Gogolla Stefan, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis — 1995 — IEEE Transactions on Knowledge and Data Engineering
…Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently exi…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB