Works matching IS 14332779 AND DT 2007 AND VI 9 AND IP 5/6

Results: 9

Tools for secure systems development with UML.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 527, doi. 10.1007/s10009-007-0048-8

By:

Jürjens, Jan;
Shabalin, Pasha

Publication type:

Article

A framework for counterexample generation and exploration.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 429, doi. 10.1007/s10009-007-0047-9

By:

Chechik, Marsha;
Gurfinkel, Arie

Publication type:

Article

A correlation framework for the CORBA component model.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 417, doi. 10.1007/s10009-007-0041-2

By:

Jung, Georg;
Hatcliff, John

Publication type:

Article

Slicing concurrent Java programs using Indus and Kaveri.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 489, doi. 10.1007/s10009-007-0043-0

By:

Ranganath, Venkatesh;
Hatcliff, John

Publication type:

Article

Model based development of access policies.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 457, doi. 10.1007/s10009-007-0045-y

By:

Breu, Ruth;
Popp, Gerhard;
Alam, Muhammad

Publication type:

Article

An operational semantics for Stateflow.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 447, doi. 10.1007/s10009-007-0049-7

By:

Hamon, Grégoire;
Rushby, John

Publication type:

Article

Introduction to the special section on fundamental approaches to software engineering.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 415, doi. 10.1007/s10009-007-0042-1

By:

Wermelinger, Michel;
Margaria, Tiziana;
Cerioli, Maura

Publication type:

Article

The software model checker B last.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 505, doi. 10.1007/s10009-007-0044-z

By:

Beyer, Dirk;
Henzinger, Thomas;
Jhala, Ranjit;
Majumdar, Rupak

Publication type:

Article

Modeling software product lines using color-blind transition systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 471, doi. 10.1007/s10009-007-0046-x

By:

Larsen, Kim;
Nyman, Ulrik;
Wasowski, Andrzej

Publication type:

Article