The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1988, volume: 14, number: 3

  1. Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth
    A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:280-290 [Journal]
  2. David P. Anderson
    Automated Protocol Implementation with RTAG. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:291-300 [Journal]
  3. Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
    PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:301-316 [Journal]
  4. E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro
    The IC* Model of Parallel Computation and Programming Environment. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:317-326 [Journal]
  5. Ching-Hua Chow, Simon S. Lam
    PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:327-338 [Journal]
  6. Claude Jard, Jean-François Monin, Roland Groz
    Development of Véda, a Prototyping Tool for Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:339-352 [Journal]
  7. Simon S. Lam
    Protocol Conversion. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:353-362 [Journal]
  8. Robert S. Matthews, K. H. Muralidhar, Steven Sparks
    MAP 2.1 Conformance Testing Tools. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:363-374 [Journal]
  9. Süleyman Sevinc, Bernard P. Zeigler
    Entity Structure Based Design Methodology: A LAN Protocol Example. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:375-383 [Journal]
  10. Son T. Vuong, Allen C. Lau, R. Isaac Chan
    Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:384-393 [Journal]
  11. Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
    An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:394-404 [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