Bibliography

1

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, and Alexander Knapp, editors.
The Pragmatics of OCL and Other Textual Specification Languages 2009, volume 24 of Electronic Communications of the EASST, 2010.
ISSN 1863-2122.

2

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, and Alexander Knapp.
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.
In Sudipto Ghosh, editor, MoDELS Workshops, volume 6002 of Lecture Notes in Computer Science, pages 256-260. Springer, 2009.

3

Michael Felderer, Joanna Chimiak-Opoka, and Ruth Breu.
Model-Driven System Testing of Service Oriented Systems. A standard-aligned approach based on independent system and test models.
2010.
(accepted for ICEIS'2010).

4

Joanna Chimiak-Opoka, Berthold Agreiter, and Ruth Breu.
Bringing Models into Practice: Design and Usage of UML Profiles and OCL Queries in a showcase.
In A. Targamadze, R. Butleris, and Butkiene R., editors, Proc. of the 16th International Conference on Information and Software Technologies, IT'2010, pages 265-273.

5

Joanna Chimiak-Opoka.
OCLLib, OCLUnit, OCLDoc: Pragmatic extensions for the object constraint language by examples, October 2009.
an invited talk at Dresden OCL - Quo Vadis?

6

Joanna Chimiak-Opoka, Birgit Demuth, Darius Silingas, and Nicolas F. Rouquette.
Requirements Analysis for an Integrated OCL Development Environment.
Electronic Communications of the EASST: The Pragmatics of OCL and Other Textual Specification Languages 2009, 24, 2009.
(presented at OCL Workshop).

7

Joanna Chimiak-Opoka.
Model Based Quality: Model Querying and Acceptance Testing.
Invited lecture at the extended workshop / summer school for "Methodologies for Interactive Networked Enterprises--MINE" participants and Ph.D. students in Nida, Lithuania, 7th Jul 2009.
Certificate No. 090707-03.

8

Joanna Chimiak-Opoka.
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language.
In Andy Schuerr and Bran Selic, editors, Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, Colorado, USA, October 4-9, 2009, Proceedings. LNCS 5795, pages 665-669. Springer Verlag, 2009.
(slides).

9

Joanna Chimiak-Opoka, Sarah Loew, Michael Felderer, Ruth Breu, Frank Fiedler, Felix Schupp, and Michael Breu.
Generic Arbitrations for Test Reporting.
In Software Engineering, SE 2009, pages 146-151, Innsbruck, Austria, March 2009. IASTED.

10

Michael Felderer, Ruth Breu, Joanna Chimiak-Opoka, Michael Breu, and Felix Schupp.
Concepts for Model-Based Requirements Testing of Service Oriented Systems.
In Software Engineering, SE 2009, pages 152-157, Innsbruck, Austria, March 2009. IASTED.

11

Joanna Chimiak-Opoka, Ekrem Arslan, Hannes Moesl, and Franz-Josef Peer.
Advanced OCL Editor based on eclipse ocl.
Presentation in the OCL2008 Workshop collocated with MoDELS'2008, 9 2008.
(presented by Michael Felderer).

12

Michael Felderer, Joanna Chimiak-Opoka, and Ruth Breu.
Telling TestStories -- Modellbasiertes Akzeptanz-Testen Serviceorientierter Systeme.
Softwaretechnik Trends, 28(3):18-19, 2008.

13

Michael Felderer, Ruth Breu, Joanna Chimiak-Opoka, and Felix Schupp.
TestStories - Ausfuehrbare Requirements fuer Serviceorientierte Architekturen.
In Informatik 2008 Beherrschbare Systeme - dank Informatik Band 2, Munich, Germany, 2008.

14

Joanna Chimiak-Opoka, Michael Felderer, Chris Lenz, and Christian Lange.
Querying UML Models using OCL and Prolog: A Performance Study.
In Model Driven Engineering, Verification, and Validation, Lillehammer, Norway, 4 2008.
presented at MoDeVVa.

15

Joanna Chimiak-Opoka.
Study on learning sources and learning time in the formal specification and verification course in ws 2006/07.
An on-line publication at Schaufenster Lehre, Mai 2008.

16

Ruth Breu, Joanna Chimiak-Opoka, and Chris Lenz.
A novel approach to model-based acceptance testing.
In Benoit Baudry, Alain Faivre, Sudipto Ghosh, and Alexander Pretschner, editors, Proceedings of the 4th MoDeVVa workshop. Model-Driven Engineering, Verification and Validation. In conjunction with MoDELS'07, pages 13-22, Nashville, TN, USA, October 2007.

17

Samrend Saboor, Joanna Chimiak-Opoka, and Elske Ammenwerth.
Supporting the systematic assessment of clinical processes: the MedFlow Method.
Methods of Information in Medicine, 46(5):586-594, 2007.

18

Chris Lenz, Joanna Chimiak-Opoka, and Ruth Breu.
Model driven testing of soa-based software.
In Daniel Luebke, editor, Proceedings of the SEMSOA Workshop 2007 on Software Engineering Methods for Service-Oriented Architecture, volume 244 of CEUR Workshop Proceedings (ISSN 1613-0073), pages 99-110, Hannover, Germany, May 2007. Leibniz Universität Hannover, FG Software Engineering, Software Engineering Group, Leibniz Universitaet Hannover, Germany.
available on-line at http://CEUR-WS.org/Vol-244/.

19

Bernd Tilg, Joanna Chimiak-Opoka, Chris Lenz, and Ruth Breu.
Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods. An Enterprise-Modelling Oriented Approach to IT Governance.
In W. Abramowicz, editor, Business Information Systems. 10th International Conference, BIS2007, pages 610-625, Poznan, Poland, April 2007. Springer-Verlag Berlin Heidelberg New York.
LNCS 4439.

20

Joanna Chimiak-Opoka and Chris Lenz.
Use of OCL in a model assessment framework: An experience report.
Electronic Communications of the EASST, 5, 2006.

21

Joanna Chimiak-Opoka and Chris Lenz.
Use of OCL in a model assessment framework: An experience report.
In Birgit Demuth, Dan Chiorean, Martin Gogolla, and Jos Warmer, editors, OCL for (Meta-)Models in Multiple Application Domains, number TUD-FI06-04-Sept. 2006, pages 53-67, Genova, Oct 2006.
ISSN 1430-211X, OCLApps workshop colocated with MoDELS 2006.

22

Samrend Saboor, Manfred Wurz, Joanna Chimiak-Opoka, Gunnar Giesinger, and Elske Ammenwerth.
Using augmented process models to assess clinical processes.
In A. Hasman, R. Haux, J. van der Lei, E. De Clercq, and F.H.R. France, editors, Ubiquity: Technologies for Better Health in Aging Societies. Proceedings of Medical Informatics Europe (MIE 2006), volume 124 of Studies in Health Technology and Informatics, pages 957-962, Maastricht, the Netherlands, Aug 27-30 2006. Amsterdam: IOS Press.

23

Joanna Chimiak-Opoka, Gunnar Giesinger, Frank Innerhofer-Oberperfler, and Bernd Tilg.
Tool-Supported Systematic Model Assessment.
In H.C. Mayr and R. Breu, editors, Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings, volume 82 of Lecture Notes in Informatics (LNI)--Proceedings, pages 183-192. Gesellschaft fuer Informatik, 2006.

24

Joanna Chimiak-Opoka, Gunnar Giesinger, Ruth Breu, Samrend Saboor, and Elske Ammenwerth.
Tool-supported analysis of clinical processes.
In C. Ruggiero, editor, Proceedings of the Fourth IASTED International Conference on Biomedical Engineering, BioMed 2006, pages 56-59. ACTA Press, Innsbruck, Austria, February 2006.

25

Ruth Breu and Joanna Chimiak-Opoka.
Towards Systematic Model Assessment.
In Jacky Akoka and et al., editors, Perspectives in Conceptual Modeling: ER 2005 Workshops CAOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, volume 3770 of Lecture Notes in Computer Science, pages 398-409. Springer-Verlag, October 2005.

26

Samrend Saboor, Joanna Chimiak-Opoka, Manfred Wurz, and Elske Ammenwerth.
MedFlow--Unterstuetzung der Evaluation klinischer Prozesse durch semantisch eindeutige Modellierung.
In R Klar, W. Koepcke, H. Lax, and et al., editors, Tagungsband der GMDS 2005 (50. Jahrestagung der Deutschen Gesellschaft fuer Medizinische Informatik, Biometrie und Epidemiologie), pages 207-210, Freiburg, 12 - 15 Sep 2005.

27

Samrend Saboor, Elske Ammenwerth, Manfred Wurz, and Joanna Chimiak-Opoka.
MedFlow--improving modelling and assessment of clinical processes.
In R. Engelbrecht, A. Geissbuhler, C. Lovis, and G. Mihalas, editors, Connecting Medical Informatics and Bio-Informatics. Proceedings of Medical Informatics Europe (MIE 2005), volume 116 of Studies in Health Technology and Informatics, pages 521-526, Geneva, Aug 08 - Sep 01 2005. Amsterdam: IOS Press.

28

Joanna Chimiak-Opoka.
The method of input selection for models of multidimensional systems using artificial intelligence methods for dimensionality reduction (in Polish).
PhD thesis, Faculty of Computer Science and Information Systems, Technical University of Szczecin, Poland, 2002.

29

Joanna Chimiak-Opoka.
Przykład zastosowania algorytmu CellSigni do wstępnej redukcji wymiarowości w procesie modelowania wielkowymiarowego.
In VII Sesja Informatyki, volume 2, pages 335-340. Politechnika Szczecińska,  Wydział Informatyki, 2002.

30

Joanna Chimiak-Opoka.
Calculation of new significance indices for inputs selection using local neural models.
In Advanced Computer Systems, pages 265-270, Międzyzdroje, Poland, 2002. Politechnika Szczecińska,  Wydział Informatyki.

31

Joanna Chimiak-Opoka.
New Index of Significance for Inputs Selection .
In Kacprzyk Rutkowski, editor, Advances in Soft Computing, Proceedings of the Sixth International Conference on Neural Network and Soft Computing, Zakopane, Poland, June 11-15, 2002, pages 292-297. Physica-Verlag, 2003.
(Also presented as a poster).

32

Joanna Chimiak-Opoka.
Badanie nowej metody doboru zmiennych wejsciowych modeli systemów wielowymiarowych w idealnym srodowisku eksperymentalnym.
In VI Sesja Informatyki, pages 425-430. Politechnika Szczecińska,  Wydział Informatyki, 2001.
ISBN 83-87362-40-9.

33

Joanna Chimiak.
Badanie istotnosci wejsc systemów wielowymiarowych. Częsc I. Analiza porównawcza zastosowania współczynnika korelacji i wskaźnika łukowo-kątowego.
Roczniki Informatyki Stosowanej -- Inżynieria systemów informatycznych (wspomaganie decyzji), 8(1):37-62, 2001.

34

Joanna Chimiak.
Analiza metod Cunninghama stosowanych do redukcji wejsc systemów MISO .
In V Sesja Informatyki, pages 315-320. Politechnika Szczecińska,  Wydział Informatyki, 2000.

35

Grzegorz Hołowiński, Krzysztof Małecki, Joanna Kołodziejczyk, Joanna Chimiak, and Denis Popel.
Some aspects of analysis of financial telecommunication systems.
In Vlad Shmerko and Grzegorz Hołowiński, editors, Proc. of 2nd International Workshop on Banking Information Technologies & Financial Telecommunication (BIT&FT99), pages 33-44, Szczecin, 1999.
Nov.

36

Joanna Chimiak, Joanna Kołodziejczyk, and Miroslaw Opoka.
Synthesis of Combinational Binary Circuits based on GA with entropy evaluation.
In Short Course on Evolutionary Algorithms in Engineering and Computer Science (Eurogen99), pages 28-32, Jyvaskyla, Finlandia, 1999.

37

Joanna Chimiak, Piotr Dziurzański, and Svetlana Yanushkevich.
Minimalizacja funkcji symetrycznych z zastosowaniem ocen informacyjnych.
In Krajowa Konferencja - Reprogramowalne Układy Cyfrowe (RUC99), pages 95-102, Szczecin, 1999. Politechnika Szczecińska,  Instytut Informatyki (WTM).

38

Joanna Chimiak, Piotr Dziurzański, Svetlana Yanushkevich, Denis Popel, and Vlad Shmerko.
Podejscie informacyjne do minimalizacj funkcji logicznych.
In Krajowa Konferencja - Reprogramowalne Układy Cyfrowe (RUC99), pages 103-110, Szczecin, 1999. Politechnika Szczecińska,  Instytut Informatyki (WTM).

39

Joanna Chimiak, Tomasz Galas, Joanna Kołodziejczyk, and Denis Popel.
Minimalizacja boolowskich funkcji logicznych z wykorzystaniam tenarnych diagramów decyzyjnych oraz podejscia informacyjnego.
In Materiały III Sesji Naukowej Informatyki, pages 231-236, Szczecin, 1998. Politechnika Szczecińska,  Instytut Informatyki (WTM).
ISBN 83-87362-13-1.

40

Anna Tomaszewska, Szymon Jaroszewicz, Denis Popel, Joanna Chimiak, and Agnieszka Ścioch.
Analiza układów logicznych metodami teorii informacji.
In 20. Międzynarodowe Sympozjum Naukowe Studentów i Młodych Pracowników Nauki - Informatyka, pages 343-347, Zielona Góra, 1998.

41

Mariusz Borawski, Joanna Chimiak, and Georgi Kuchariew.
The Method of Personal Identification based on the iris image recognition.
In Jerzy Sołdek, editor, Proc. of the Int. Conf. on Application Computer Systems (ACS'97), pages 78-85, Szczecin, 1997.

42

Joanna Chimiak, Grzegorz Hołowiński, Krzysztof Małecki, and Tomasz Roszak.
Metodyka porównania systemów bankowych.
In A. Gospodarowicz, editor, Ogólnopolska konferencja - Zastosowanie rozwizań informatycznych w bankowosci, pages 26-34, Wrocław, 1997.

43

Jerzy Sołdek, Vlad Shmerko, Svetlana Yanushkevich, Joanna Chimiak, L. Golenda, and E. Zaitseva.
Szkolenie specjalistów z zakresu informatycznych technologii bankowych.
In A. Gospodarowicz, editor, Ogólnopolska konferencja - Zastosowanie rozwizań informatycznych w bankowosci, pages 221-230, Wrocław, 1997.

44

Tomasz Roszak, Krzysztof Małecki, and Joanna Chimiak.
Some Experiments with Zakrevskijs Algorithm for Minimisation Weakly Specified Logic Functions in Arithmetic Polynomials Domain.
In V. Krasnoproshin, Jerzy Sołdek, S. Ablameyko, and Vlad Shmerko, editors, Proc. of the Int. Conf. on Pattern Recognition and Information Processing (PRIP97), volume 1, pages 340-349, Mińsk, Belarus, 1997.