The SCEAS System
Navigation Menu

Conferences in DBLP

Ada-Europe (adaEurope)
1986 (conf/adaEurope/1986)

  1. James E. Archer Jr.
    Design of the Rational Environment. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:1-15 [Conf]
  2. Ferdinando Gallo
    The PCTE Initiative: Toward a European Approach to Software Engineering. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:16-29 [Conf]
  3. Charles Z. Mitchell
    Engineering VAX Ada for a Multi-Language Programming Environment. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:30-47 [Conf]
  4. Vic Stenning
    The Ada Environment - A Personal View. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:48-61 [Conf]
  5. Stephen J. Westfold, Lawrence Markosian, William A. Brew
    Knowledge-Based Software Development from Requirements to Code. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:62-80 [Conf]
  6. Egidio Astesiano, Gianna Reggio
    The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:81-116 [Conf]
  7. Dines Bjørner
    Project Graphs and Meta-Programs. Towards a Theory of Software Development. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:117-152 [Conf]
  8. Cliff B. Jones
    Software Development Based on Formal Methods. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:153-172 [Conf]
  9. Bernd Krieg-Brückner
    Integration of Program Construction and Verification: The PROSPECTRA Methodology. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:173-194 [Conf]
  10. John B. Goodenough
    Ada Compiler Validation: An Example of Software Testing Theory and Practice. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:195-232 [Conf]
  11. A. Nico Habermann
    The Software Engineering Institute at Carnegie Mellon University. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:233-248 [Conf]
  12. David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
    Task Sequencing Languages for Specifying Distributed Ada Systems. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:249-305 [Conf]
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