io-port.net

io-port 05659224 Zhu, Huibiao; Qin, Shengchao; He, Jifeng; Bowen, Jonathan P.

PTSC: probability, time and shared-variable concurrency. (English)

Innov. Syst. Softw. Eng. 5, No. 4, 271-284 (2009).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659223 Bucholz, Robert; Laplante, Phillip A.

A dynamic capture-recapture model for software defect prediction. (English)

Innov. Syst. Softw. Eng. 5, No. 4, 265-270 (2009).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659222 Valles-Barajas, Fernando

Use of a lightweight formal method to model the static aspects of state machines. (English)

Innov. Syst. Softw. Eng. 5, No. 4, 255-264 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659221 Schneidewind, Norman F.

Analysis of object-oriented software reliability model development. (English)

Innov. Syst. Softw. Eng. 5, No. 4, 243-253 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659220 Liang, Hui; Dong, Jin Song; Sun, Jing; Wong, W.Eric

Software monitoring through formal specification animation. (English)

Innov. Syst. Softw. Eng. 5, No. 4, 231-241 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659219 Bakera, Marco; Margaria, Tiziana; Renner, Clemens D.; Steffen, Bernhard

Tool-supported enhancement of diagnosis in model-driven verification. (English)

Innov. Syst. Softw. Eng. 5, No. 3, 211-228 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659218 Rahni, Ahmed; Grolleau, Emmanuel; Richard, Michaël

An efficient response-time analysis for real-time transactions with fixed priority assignment. (English)

Innov. Syst. Softw. Eng. 5, No. 3, 197-209 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659217 du Bousquet, Lydie; Nakamura, Masahide; Yan, Ben; Igaki, Hiroshi

Using formal methods to increase confidence in a home network system implementation: a case study. (English)

Innov. Syst. Softw. Eng. 5, No. 3, 181-196 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659216 Boniol, Frédéric; Ermont, Jérôme; Pagetti, Claire

Verification of real-time systems with preemption: negative and positive results. (English)

Innov. Syst. Softw. Eng. 5, No. 3, 163-179 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659215 Kornecki, Andrew; Zalewski, Janusz

Certification of software for real-time safety-critical systems: state of the art. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 149-161 (2009).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659214 Rysavy, Ondrej; Rab, Jaroslav

A formal model of composing components: the TLA$^{+}$ approach. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 139-148 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659213 Kot, Martin

Modeling selected real-time database concurrency control protocols in Uppaal. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 129-138 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659212 Furfaro, Angelo; Nigro, Libero

A development methodology for embedded systems based on RT-DEVS. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 117-127 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659211 Sterritt, Roy; Hinchey, Mike

Adaptive reflex autonomicity for real-time systems. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 107-115 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659210 Gumzej, Roman; Halang, Wolfgang A.

A safety shell for UML-RT projects structure and methods of the corresponding UML pattern. (English)

Innov. Syst. Softw. Eng. 5, No. 2, 97-105 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659209 Fuentes, Lidia; Gámez, Nadia; Sánchez, Pablo

Aspect-oriented design and implementation of context-aware pervasive applications. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 79-93 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659208 Bragança, Alexandre; Machado, Ricardo J.

A model-driven approach for the derivation of architectural requirements of software product lines. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 65-78 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659207 Truşcan, Dragoş; Lundkvist, Torbjörn; Alanen, Marcus; Sandström, Kim; Porres, Ivan; Lilius, Johan

MDE for SoC design. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 49-64 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659206 Riccobene, Elvinia; Scandurra, Patrizia

Model transformations in the UPES/UPSoC development process for embedded systems. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 35-47 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659205 Soffer, Avi; Dori, Dov

Bridging the requirements-implementation modeling gap with object-process methodology. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 27-34 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX DOI