Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 6

Results: 13

Tool Support for Estimating the Memory Usage of Mobile Phone Software.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 531, doi. 10.1007/s10009-006-0012-z

By:

Jørgensen, Jens Bæk;
Christensen, Søren;
Tuovinen, Antti-Pekka;
Xu, Jianli

Publication type:

Article

Formal and experimental validation approaches in HCI systems design based on a shared event B model.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 547, doi. 10.1007/s10009-006-0008-8

By:

Ait-Ameur, Yamine;
Baron, Mickael

Publication type:

Article

Case studies with Lurette V2.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 517, doi. 10.1007/s10009-006-0023-9

By:

Jahier, Erwan;
Raymond, Pascal;
Baufreton, Philippe

Publication type:

Article

Guest editors’ introduction: quantitative analysis of real-time embedded systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 1, doi. 10.1007/s10009-006-0013-y

By:

Buchholz, Peter;
Katoen, Joost-Pieter;
Verhoef, Marcel

Publication type:

Article

Rule-based verification of Web sites.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 565, doi. 10.1007/s10009-006-0009-7

By:

Alpuente, M.;
Ballis, D.;
Falaschi, M.

Publication type:

Article

Model checker aided design of a controller for a wafer scanner.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 633, doi. 10.1007/s10009-006-0025-7

By:

Hendriks, Martijn;
van den Nieuwelaar, Barend;
Vaandrager, Frits

Publication type:

Article

Special Section on “Leveraging Formal Methods”.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 467, doi. 10.1007/s10009-006-0028-4

By:

Margaria, Tiziana;
Steffen, Bernhard

Publication type:

Article

A formal analysis of bluetooth device discovery.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 621, doi. 10.1007/s10009-006-0014-x

By:

Duflot, Marie;
Kwiatkowska, Marta;
Norman, Gethin;
Parker, David

Publication type:

Article

System architecture evaluation using modular performance analysis: a case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 649, doi. 10.1007/s10009-006-0019-5

By:

Wandeler, Ernesto;
Thiele, Lothar;
Verhoef, Marcel;
Lieverse, Paul

Publication type:

Article

Automated model generation for performance engineering of building automation networks.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 607, doi. 10.1007/s10009-006-0016-8

By:

Ploennigs, Joern;
Neugebauer, Mario;
Kabitzsch, Klaus

Publication type:

Article

Experiences applying formal approaches in the development of swarm-based space exploration systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 587, doi. 10.1007/s10009-006-0027-5

By:

Rouff, Christopher A.;
Hinchey, Michael G.;
Truszkowski, Walter F.;
Rash, James L.

Publication type:

Article

A formal framework for verifying distributed embedded systems based on abstraction methods.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 471, doi. 10.1007/s10009-006-0011-0

By:

Carcenac, Francois;
Boniol, Frederic

Publication type:

Article

Compositional specification of commercial contracts.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 485, doi. 10.1007/s10009-006-0010-1

By:

Andersen, Jesper;
Elsborg, Ebbe;
Henglein, Fritz;
Simonsen, Jakob;
Stefansen, Christian

Publication type:

Article