Works matching DE "LOTOS (Computer program language)"
Results: 12
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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article