Works matching IS 00985589 AND DT 2000 AND VI 26 AND IP 8

Results: 10

Quantitative Analysis of Faults and Failures in a Complex Software System.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 797, doi. 10.1109/32.879815

By:

Fenton, Norman E.;
Ohlsson, Niclas

Publication type:

Article

An Empirical Investigation of an Object-Oriented Software System.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 786, doi. 10.1109/32.879814

By:

Cartwright, Michelle;
Shepperd, Martin

Publication type:

Article

Using Patterns to. Design Rules in Workflows.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 760, doi. 10.1109/32.879813

By:

Casati, Fabio;
Castano, Silvana;
Fugini, Mariagrazia;
Mirbel, Isabelle;
Pernici, Barbara

Publication type:

Article

Special Issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 673, doi. 10.1109/TSE.2000.879806

By:

Wing, Jeanette M.;
Woodcock, Jim

Publication type:

Article

The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 742, doi. 10.1109/32.879812

By:

Peleg, Mor;
Dori, Dov

Publication type:

Article

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 713, doi. 10.1109/32.879810

By:

Cavalcanti, Ana;
Naumann, David A.

Publication type:

Article

A Formal Security Model for Microprocessor Hardware.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 702, doi. 10.1109/32.879809

By:

Lotz, Volkmar;
Kessler, Volker;
Walter, Georg H.

Publication type:

Article

Formal Development and Verification of a Distributed Railway Control System.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 687, doi. 10.1109/32.879808

By:

Haxthausen, Anne E.;
Peleska, Jan

Publication type:

Article

Is Proof More Cost-Effective Than Testing?

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 675, doi. 10.1109/32.879807

By:

King, Steve;
Hammond, Jonathan;
Chapman, Rod;
Pryor, Andy

Publication type:

Article

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 8, p. 729, doi. 10.1109/32.879811

By:

Marchand, Hervé;
Samaan, Mazen

Publication type:

Article