Search Results - "LOTOS (Computer program language)"

Refine Results
  1. 1

    Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos.

    Authors: El-Gendy, Hazem El-Kadhi, Nabil

    Source: Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.). 2005 Supplement, Vol. 5, p45-56. 12p. 2 Diagrams.

    Subjects: Formal methods (Computer science), LOTOS (Computer program language), Algorithms, Computer network protocols, Computer software

    PDF Full Text
    Save to List
  2. 2

    Automatic Derivation of Test Cases for LOTOS Expressions with Data Parameters.

    Authors: Xiang Dong Li Higashino, Teruo Taniguchi, Kenichi

    Source: Electronics & Communications in Japan, Part 1: Communications. Mar1994, Vol. 77 Issue 3, p1-14. 14p.

    Subjects: LOTOS (Computer program language), Programming languages, Electronic data processing, Integer programming, Boolean algebra, Algorithms

    PDF Full Text
    Save to List
  3. 3

    Generation of Efficient Test Sequences from LOTOS Specifications.

    Authors: Okazaki, Naonobu Noguchi, Shoichi Takahashi, Kaoru et al.

    Source: Electronics & Communications in Japan, Part 1: Communications. Feb93, Vol. 76 Issue 2, p1-18. 18p.

    Subjects: LOTOS (Computer program language), Programming languages, Mathematical variables, Computer science, Computer software, Mathematics

    PDF Full Text
    Save to List
  4. 4

    An Automatic Implementation Method for Specifications in LOTOS.

    Authors: Nomura, Shingo Takizuka, Takashi Hasegawa, Toru

    Source: Systems & Computers in Japan. 11/15/94, Vol. 25 Issue 13, p1-14. 14p.

    Subjects: LOTOS (Computer program language), Programming languages, Telecommunication systems, Computer science, Electronics

    PDF Full Text
    Save to List
  5. 5

    An Equivalence in LOTOS and Its Decision Method.

    Authors: Kaminaga, Hiroaki Takahashi, Kaoru Shiratori, Norio et al.

    Source: Systems & Computers in Japan. 1/1/91, Vol. 22 Issue 1, p10-20. 11p.

    Subjects: LOTOS (Computer program language), Programming languages, Algorithms, Algebra, Robots, Industrial robots

    PDF Full Text
    Save to List
  6. 6

    GreASE: A Tool for Efficient "Nonequivalence" Checking.

    Authors: DE FRANCESCO, NICOLETTA LETTIERI, GIUSEPPE SANTONE, ANTONELLA et al.

    Source: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p24:1-24:26, 26p

    PDF Full Text
    Save to List
  7. 7

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

    Authors: Apvrille, Ludovic De Saqui-Sannes, Pierre Khendek, Ferhat

    Source: Software & Systems Modeling; Dec2006, Vol. 5 Issue 4, p449-466, 18p, 23 Diagrams, 1 Chart

    PDF Full Text
    Save to List
  8. 8

    Formal methods: Importance, experience, and comparative analysis.

    Authors: El-Gendy, Hazem El-Kadhi, Nabil

    Source: Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.); 2005 Supplement, Vol. 5, p235-247, 13p, 2 Diagrams

    PDF Full Text
    Save to List
  9. 9

    Using LOTOS in the specification of industrial bus communication protocols.

    Authors: Mariño, Perfecto Domínguez, Miguel Ángel Poza, Francisco et al.

    Source: Computer Networks. Aug2004, Vol. 45 Issue 6, p767-799. 33p. 26 Diagrams, 7 Charts, 1 Graph.

    Subjects: Communications industries, LOTOS (Computer program language), Programming languages, Digital communications, Data transmission systems, Computer network protocols

    Save to List
  10. 10

    Graphic visualization and animation of LOTOS execution traces

    Authors: Stepien, Bernard Logrippo, Luigi

    Source: Computer Networks. Dec2002, Vol. 40 Issue 5, p665. 17p.

    Subjects: LOTOS (Computer program language), Software engineering

    Save to List
  11. 11

    Protocol animation based on event-driven visualization scenarios in real-time LOTOS

    Authors: Yasumoto, Keiichi Umedu, Takaaki Yamaguchi, Hirozumi et al.

    Source: Computer Networks. Dec2002, Vol. 40 Issue 5, p639. 25p.

    Subjects: Animation (Cinematography), LOTOS (Computer program language), Synchronous digital hierarchy (Data transmission)

    Save to List
  12. 12

    The PROFIBUS formal specification: a comparison between two FDTs.

    Authors: Marino, P. Nogueira, J. Siguenza, C. et al.

    Source: Computer Networks. Nov2001, Vol. 37 Issue 3/4, p345. 18p. 5 Black and White Photographs, 6 Diagrams, 3 Charts.

    Subjects: Profibus (Computer bus), LOTOS (Computer program language), SDL (Computer program language)

    Save to List
  13. 13

    A case study in abstraction using E-LOTOS and the FireWire.

    Authors: Shankland, Carron Verdejo, Alberto Quemada, J.

    Source: Computer Networks. Nov2001, Vol. 37 Issue 3/4, p481. 22p. 2 Black and White Photographs, 5 Diagrams.

    Subjects: LOTOS (Computer program language), International Organization for Standardization, Computer buses

    Save to List
  14. 14

    A compiler to implement LOTOS specifications in distributed environments.

    Authors: Yasumoto, Keiichi Higashino, Teruo Kenichi Taniguchi

    Source: Computer Networks. Jul2001, Vol. 36 Issue 2/3, p291. 20p. 3 Black and White Photographs, 6 Diagrams, 12 Charts.

    Subjects: LOTOS (Computer program language), Programming languages

    Save to List
  15. 15

    A tool supporting efficient model checking of concurrent specifications

    Authors: De Francesco, Nicoletta Santone, Antonella

    Source: Microprocessors & Microsystems. Jan2002, Vol. 25 Issue 9-10, p401. 7p.

    Subjects: Software verification, LOTOS (Computer program language)

    Save to List
  16. 16

    Automatically verifying an object-oriented specification of the Steam-Boiler system

    Authors: Carreira, Paulo J.F. Costa, Miguel E.F.

    Source: Science of Computer Programming. Mar2003, Vol. 46 Issue 3, p197. 21p.

    Subjects: LOTOS (Computer program language), Code generators

    Save to List
  17. 17

    Reversible enhanced event structures: Towards reversible E-LOTOS

    Authors: Kapus-Kolar, M.1 monika.kapus-kolar@ijs.si

    Source: Computer Standards & Interfaces. Sep2009, Vol. 31 Issue 5, p942-947. 6p.

    Subjects: LOTOS (Computer program language), Programming languages, Computer software, Embryology

    Save to List
  18. 18

    An action refinement operator for E-LOTOS with true concurrency

    Authors: Kapus-Kolar, M.1 monika.kapus-kolar@ijs.si

    Source: Computer Standards & Interfaces. Jan2009, Vol. 31 Issue 1, p77-87. 11p.

    Subjects: LOTOS (Computer program language), Programming languages, Computer multitasking, Mathematical linguistics, Operator algebras, Distributed computing, Computer programming, Mathematical models

    Save to List
  19. 19

    A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition

    Authors: Kapus-Kolar, M.1 monika.kapus-kolar@ijs.si

    Source: Computer Standards & Interfaces. Oct2004, Vol. 26 Issue 6, p549-563. 15p.

    Subjects: LOTOS (Computer program language), Programming languages, Real-time computing, Electronic data processing

    Save to List
  20. 20

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

    Authors: SADAOUI, SAMIRA MOUHOUB, MALEK CHEN, BO

    Source: International Journal of Software Engineering & Knowledge Engineering. Sep2009, Vol. 19 Issue 6, p765-789. 25p. 19 Diagrams, 2 Charts, 3 Graphs.

    Subjects: LOTOS (Computer program language), Programming languages, Computer simulation, Algorithms, Software engineering

    Save to List

Search Tools: