The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 70, number: 3

  1. Matthias Anlauff, Asuman Sünbül
    Towards component based systems: refining connectors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  2. Harald Fecher, Mila E. Majster-Cederbaum
    Taking decisions late: end-based choice combined with action refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  3. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
    Refinement of actions in a real-time process algebra with a true concurrency model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  4. Lindsay Groves
    Refinement and the Z schema calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  5. Adrian J. Hilton, Jon G. Hall
    Refining specifications to programmable logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  6. Yngve Lamo, Michal Walicki
    Composition and refinement of specifications and parameterised data types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  7. Antónia Lopes, José Luiz Fiadeiro
    Superposition: Composition vs refinement of non-deterministic action-based systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  8. Emil Sekerinski
    Tabular verification and refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  9. Susan Stepney, Fiona Polack, Ian Toyn
    Refactoring in maintenance and development of Z specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  10. Kai Engelhardt
    Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  11. Steve Dunne
    Junctive Compositions of specifications in total, general correctness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  12. Bernhard K. Aichernig
    Contract-based mutation testing in the refinement calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  13. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  14. Eerke A. Boiten, John Derrick
    Unifying concurrent and relational refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  15. Christie Bolton, Jim Davies
    A comparison of refinement orderings and their associated simulation rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  16. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement of actions in Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  17. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
    Refactoring by Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  18. Jim Davies, Charles Crichton
    Concurrency and refinement in the UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  19. John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  20. Luke Wildman, Colin J. Fidge
    The variety of variables in computer-aided real-time programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002