Works matching DE "LOTOS (Computer program language)"

Results: 12

A Modal Logic for Full LOTOS based on Symbolic Transition Systems.

Published in:

Computer Journal, 2002, v. 45, n. 1, p. 55, doi. 10.1093/comjnl/45.1.55

By:

Calder, M.;
Maharaj, S.;
Shankland, C.

Publication type:

Article

Curriculum Vitae of the LOTOS-EUROS (v2.0) chemistry transport model.

Published in:

Geoscientific Model Development Discussions, 2017, p. 1, doi. 10.5194/gmd-2017-88

By:

Manders, Astrid M. M.;
Builtjes, Peter J. H.;
Curier, Lyana;
Denier van der Gon, Hugo A. C.;
Hendriks, Carlijn;
Jonkers, Sander;
Kranenburg, Richard;
Kuenen, Jeroen;
Segers, Arjo J.;
Timmermans, Renske M. A.;
Visschedijk, Antoon;
Wichink Kruit, Roy J.;
Van Pul, W. Addo J.;
Sauter, Ferd J.;
van der Swaluw, Eric;
Swart, Daan P. J.;
Douros, John;
Eskes, Henk;
van Meijgaard, Erik;
van Ulft, Bert

Publication type:

Article

Curriculum vitae of the LOTOS-EUROS (v2.0) chemistry transport model.

Published in:

Geoscientific Model Development, 2017, v. 10, n. 11, p. 4145, doi. 10.5194/gmd-10-4145-2017

By:

Manders, Astrid M. M.;
Builtjes, Peter J. H.;
Curier, Lyana;
van der Gon, Hugo A. C. Denier;
Hendriks, Carlijn;
Jonkers, Sander;
Kranenburg, Richard;
Kuenen, Jeroen J. P.;
Segers, Arjo J.;
Timmermans, Renske M. A.;
Visschedijk, Antoon J. H.;
Wichink Kruit, Roy J.;
van Pul, W. Addo J.;
Sauter, Ferd J.;
van der Swaluw, Eric;
Swart, Daan P. J.;
Douros, John;
Eskes, Henk;
van Meijgaard, Erik;
van Ulft, Bert

Publication type:

Article

AN EFFICIENT LOTOS-BASED FRAMEWORK FOR DESCRIBING AND SOLVING (TEMPORAL) CSPs.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2009, v. 19, n. 6, p. 765, doi. 10.1142/S0218194009004416

By:

SADAOUI, SAMIRA;
MOUHOUB, MALEK;
CHEN, BO

Publication type:

Article

FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2005, v. 15, n. 5, p. 873, doi. 10.1142/S0218194005002567

By:

EL-GENDY, HAZEM;
EL-KADHI, NABIL

Publication type:

Article

A GENERIC FORMAL FRAMEWORK FOR CONSTRUCTING AGENT INTERACTION PROTOCOLS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2005, v. 15, n. 1, p. 61, doi. 10.1142/S0218194005001884

By:

CHEN, BO;
SADAOUI, SAMIRA

Publication type:

Article

Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798

By:

Cheng, Betty H.C.;
Wang, Enoch Y.

Publication type:

Article

Toward Constraint-Object-Oriented Development.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 594, doi. 10.1109/32.859530

By:

Bolognesi, Tommaso

Publication type:

Article

A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method.

Published in:

IEEE Transactions on Software Engineering, 1999, v. 25, n. 2, p. 258, doi. 10.1109/32.761449

By:

Go, Kentaro;
Shiratori, Norio

Publication type:

Article

Test generation for radiotherapy accelerators.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 4, p. 361, doi. 10.1007/s10009-004-0148-7

By:

Turner, Kenneth J.

Publication type:

Article

TURTLE-P: a UML profile for the formal validation of critical and distributed systems.

Published in:

Software & Systems Modeling, 2006, v. 5, n. 4, p. 449, doi. 10.1007/s10270-006-0029-5

By:

Apvrille, Ludovic;
De Saqui-Sannes, Pierre;
Khendek, Ferhat

Publication type:

Article

Distributed reachability testing of concurrent programs.

Published in:

Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 18, p. 2445, doi. 10.1002/cpe.1573

By:

Carver, Richard H.;
Lei, Yu

Publication type:

Article