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 19 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
Filters:
Author
is
Conrad, S.
[Clear All Filters]
1995
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
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)
Conrad, S.
,
M. Gogolla
, and
R. Herzig
,
"
Safe Derivations in Object Hierarchies
",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems
: Springer, London, pp. 306-319, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1994
Conrad, S.
,
A Basic Calculus for Verifying Properties of Synchronously Interacting Objects
,
, no. 94-05: Technische Universität Braunschweig, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Herzig, R.
,
S. Conrad
, and
M. Gogolla
,
"
Compositional Description of Object Communities with TROLL \em light
",
Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94)
: C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
,
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
,
: VDI-Verlag, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
, and
H. - D. Ehrich
,
"
An Elementary Logic for Object Specification and Verification
",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing
: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
Conrad, S.
,
"
On Certification of Specifications for TROLL \it light\/ Objects
",
Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92)
: Springer, LNCS 785, pp. 158-172, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
,
"
Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators
",
Working papers of the International Workshop on Information Systems - Correctness and Reusability
: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 228-241, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1993
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)
Conrad, S.
,
Einbindung eines bestehenden Datenbanksystems in einen formalen Software-Entwicklungsprozeß -- ein Beitrag zur HDMS-A-Fallstudie
,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 1-14, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
S. Conrad
, and
R. Herzig
,
"
Sketching Concepts and Computational Model of TROLL \em light
",
Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93)
: Springer, Berlin, LNCS 722, pp. 17-32, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
,
Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie
,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1992
Conrad, S.
, and
M. Gogolla
,
"
An Annotated Bibliography on Object-Orientation and Deduction
",
ACM SIGMOD RECORD
, vol. 21, no. 1, pp. 123-132, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
,
M. Gogolla
, and
R. Herzig
,
TROLL \em light\/: A Core Language for Specifying Objects
,
, no. 92-02: TU Braunschweig, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar