Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 13 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
Filters:
Author
is
Vlachantonis, N.
[Clear All Filters]
1992
Vlachantonis, N.
,
"
Ideen zur Architektur einer offenen und integrierten Entwurfsumgebung für Informationssysteme
",
41 GI Workshop Grundlagen von Datenbanken
: ECRC, München, Technical Report ECRC-92-13, pp. 157-161, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1993
Vlachantonis, N.
, and
P. Hartel
,
"
An Approach towards the Conceptual Modelling of the Tool Integration Aspect
",
Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93)
: EC2, Nanterre, France, pp. 543-553, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Vlachantonis, N.
,
"
A Case Study for an Open CASE System: The TROLL \em light Development Environment
",
Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93)
: Springer, Berlin, LNCS 720, pp. 673-676, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Herzig, R.
, and
N. Vlachantonis
,
Spezifikation einer Fertigungszelle mit TROL1 \it light
,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Vlachantonis, N.
,
R. Herzig
,
M. Gogolla
,
G. Denker
,
S. Conrad
, and
H. - D. Ehrich
,
"
Towards Reliable Information Systems: The KORSO Approach
",
Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93)
: Springer, Berlin, LNCS 685, pp. 463-482, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1993KorSo.pdf
(314.47 KB)
Conrad, S.
,
G. Denker
,
M. Gogolla
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
Zur Entwicklung zuverlässiger Informationssysteme in KorSo
",
Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93)
: Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1993GI.pdf
(401.19 KB)
1994
Gogolla, M.
,
R. Herzig
,
S. Conrad
,
G. Denker
, and
N. Vlachantonis
,
"
Integrating the ER Approach in an OO Environment
",
Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93)
: Springer, Berlin, LNC1 823, pp. 376-389, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
N. Vlachantonis
,
R. Herzig
,
G. Denker
,
S. Conrad
, and
H. - D. Ehrich
,
The KORSO Approach to the Development of Reliable Information Systems
,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Herzig, R.
, and
N. Vlachantonis
,
"
TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems
",
Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification
: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1995
Vlachantonis, N.
,
Logische Modellierung der Steuerungs-Integration in offenen Software-Entwicklungssystemen
,
: VDI-Verlag, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
,
G. Denker
,
M. Gogolla
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
Entwicklung zuverlässiger Informationssysteme
",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2
, vol. 2, pp. 25-33, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1995EMISA.pdf
(691.75 KB)
Gogolla, M.
,
S. Conrad
,
G. Denker
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
TROLL light --- The Language and Its Development Environment
",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report
: Springer, pp. 205-220, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1995TrollLight.pdf
(971.69 KB)
Gogolla, M.
,
S. Conrad
,
G. Denker
,
R. Herzig
, and
N. Vlachantonis
,
"
A Development Environment for an Object Specification Language
",
IEEE Transactions on Knowledge and Data Engineering
, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar