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 11 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
[
Title
]
Type
Year
Filters:
Author
is
Kowsari, M.
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
C
Kowsari, M.
,
P. Hartel
,
G. Denker
, and
H. - D. Ehrich
,
"
A Case Study in Information System Design, The CATC System
",
FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session
, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Grau, A.
,
M. Kowsari
, and
H. - D. Ehrich
,
"
A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)
",
9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20
, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
D
Krone, M.
,
M. Kowsari
,
P. Hartel
,
G. Denker
, and
H. - D. Ehrich
,
"
Developing an Information System Using TROLL: an Application Field Study
",
Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96)
: Springer, Berlin, LNCS 1080, pp. 136-159, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1996CAiSE.pdf
(438.58 KB)
E
Kowsari, M.
, and
P. Hartel
,
"
Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik
",
7.Workshop Grundlagen von Datenbanken
: Universität Hildesheim Institut für Informatik, pp. 88-93, Juni, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Kowsari, M.
, and
A. Grau
,
"
An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.
",
Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998
: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
F
Kowsari, M.
,
"
Formal Object Oriented Specification Language \sc Troll in Information System Design
",
Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996
, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
I
Hartel, P.
,
G. Denker
,
M. Kowsari
,
M. Krone
, and
H. - D. Ehrich
,
"
Information systems modelling with TROLL formal methods at work
",
Information Systems
, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997InfSysAtWork.pdf
(846.73 KB)
O
Kowsari, M.
,
On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study
,
: Technical University Braunschweig, Germany, January, 2003.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
S
Schönhoff, M.
, and
M. Kowsari
,
"
Specifiying the Remote Controlling of Valves in an Explosion Test Environment
",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997
: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
T
Grau, A.
,
K. Filipe
,
M. Kowsari
,
S. Eckstein
,
R. Pinger
, and
H. - D. Ehrich
,
"
The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools
",
Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98)
, Singapore, Springer, LNCS 1507, pp. 277-290, 1998.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1998ER.pdf
(336.76 KB)
V
Grau, A.
, and
M. Kowsari
,
"
A Validation System for Object-Oriented Specifications of Information Systems
",
Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg
: eWiC, Springer, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar