io-port.net

io-port 05931285 Fernandes, Paula; Werner, Cláudia; Teixeira, Eldânae

An approach for feature modeling of context-aware software product line. (English)

J. UCS 17, No. 5, 807-829, electronic only (2011).

Classification: D.2.1 D.2.13 D.2.2

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05931284 Cubo, Javier; Canal, Carlos; Pimentel, Ernesto

Context-aware composition and adaptation based on model transformation. (English)

J. UCS 17, No. 5, 777-806, electronic only (2011).

Classification: D.2 D.2.1 D.2.10 D.2.11 D.2.12 D.2.13 D.2.2

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05931256 Herskovic, Valeria; Ochoa, Sergio F.; Pino, José A.; Neyem, Andrés

The iceberg effect: behind the user interface of mobile collaborative systems. (English)

J. UCS 17, No. 2, 183-201, electronic only (2011).

Classification: D.2.1 D.2.2

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216834 Chan, R.; Hoshino, J.

Building immersive conversation environment using locomotive interactive character. (English)

J. UCS 13, No. 2, 149-160, electronic only (2007).

Classification: D.1.0 D.1.1 D.2.1

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05482446 Riebisch, Matthias

Unterstützung evolutionärer Softwareentwicklung durch Merkmalmodelle und Traceability-Links. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 315-316 (2004).

Classification: I.6.3 D.2.10 D.2.1

5

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482444 Beyer, Mario; Hesse, Wolfgang

Use of UML for software process modeling. (English)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 311-312 (2004).

Classification: I.6.3 I.6.2 D.2.1 D.2.10

6

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482432 Thaden, Uwe; Buchloh, Tobias; Steimann, Friedrich

iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung vonSoftwaremodellen. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 285-286 (2004).

Classification: I.6.3 D.2.1 D.2.10

7

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482431 Schätz, Bernhard; Romberg, Jan; Slotosch, Oscar; Strecker, Martin

CASE support and model-based development. (English)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 283-284 (2004).

Classification: I.6.3 D.2.1 D.2.10

8

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482426 Pretschner, Alexander

Tutorial 2: Modellbasiertes Testen. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 274 (2004).

Classification: D.2.5 D.2.1 I.6.3

9

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482423 Hesse, Wolfgang; Kaschek, Roland; Mayr, Heinrich C.; Thalheim, Bernhard

Workshop 4: Ontologien in der und für die Softwaretechnik. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 269-270 (2004).

Classification: I.6.3 D.2.1 D.2.10

10

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482418 Schätz, Bernhard

UML-RT - Die Lösung für eingebettete Software? (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 263-265 (2004).

Classification: I.6.2 I.6.3 D.2.1 D.2.10

11

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482404 Kamsties, Erik; Pohl, Klaus; Reis, Sacha; Reuys, Andreas

Szenario-basiertes Systemtesten von Software-Produktfamilien mit ScenTED. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 169-186 (2004).

Classification: I.6.3 D.2.1 D.2.10

12

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482403 Amelunxen, Carsten; Schürr, Andy; Bichler, Lutz

Codegenerierung für Assoziationen in MOF 2.0. (German)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 149-168 (2004).

Classification: I.6.3 D.2.1 D.2.10

13

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482398 Kaschek, Roland

A little theory of abstraction. (English)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 75-92 (2004).

Classification: D.2.1 I.6.3 D.2.10

14

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05482397 Denger, Christian; Paech, Barbara

An integrated quality assurance approach for use case based requirements. (English)

Rumpe, Bernhard et al., Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Bonner Köllen Verlag. GI-Edition - Lecture Notes in Informatics (LNI), P-45, 59-74 (2004).

Classification: D.2.1 I.6.3 D.2.10

15

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05216759 Yeung, W.L.

Checking consistency between uml class and state models based on csp and b. (English)

J. UCS 10, No. 11, 1540-1559, electronic only (2004).

Classification: D.2.1 D.2.2

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216757 Hornos, M.J.

Fbt: a tool for applying interval logic specifications to on-the-fly model checking. (English)

J. UCS 10, No. 11, 1498-1518, electronic only (2004).

Classification: D.2.1 D.2.4 F.3.1

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216753 Denford, M.; Solomon, A.; Leaney, J.; O’neill, T.

Architectural abstraction as transformation of poset labelled graphs. (English)

J. UCS 10, No. 10, 1408-1428, electronic only (2004).

Classification: D.2.1 D.2.2 F.3.1 F.4.2

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216691 In, H.Peter; Olson, D.

Requirements negotiation using multi-criteria preference analysis. (English)

J. UCS 10, No. 4, 306-325, electronic only (2004).

Classification: D.2.1 K.6.3

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216649 Drusinsky, D.; Shing, M.-T.

Monitoring temporal logic specifications combined with time series constraints. (English)

J. UCS 9, No. 11, 1261-1276, electronic only (2003).

Classification: D.2.1 D.2.4 D.2.5 D.2.6 D.3.1 F.3.1

20

PDF XML AMS-TeX TEXT BIBTeX URL