System Development and Ada 1986: Capri, Italy

> Home > Conferences and Workshops > System Development and Ada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/1986
A. Nico Habermann, Ugo Montanari:
Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Lecture Notes in Computer Science 275, Springer 1987, ISBN 3-540-18341-8
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Archer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Archer86
James E. Archer Jr.:
Design of the Rational Environment. 1-15
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Gallo86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Gallo86
Ferdinando Gallo:
The PCTE Initiative: Toward a European Approach to Software Engineering. 16-29
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Mitchell86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Mitchell86
Charles Z. Mitchell:
Engineering VAX Ada for a Multi-Language Programming Environment. 30-47
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Stenning86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Stenning86
Vic Stenning:
The Ada Environment - A Personal View. 48-61
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/WestfoldMB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/WestfoldMB86
Stephen J. Westfold, Lawrence Markosian, William A. Brew:
Knowledge-Based Software Development from Requirements to Code. 62-80
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/AstesianoR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AstesianoR86
Egidio Astesiano, Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. 81-116
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Bjorner86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Bjorner86
Dines Bjørner:
Project Graphs and Meta-Programs. Towards a Theory of Software Development. 117-152
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Jones86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Jones86
Cliff B. Jones:
Software Development Based on Formal Methods. 153-172
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Krieg-Bruckner86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Krieg-Bruckner86
Bernd Krieg-Brückner:
Integration of Program Construction and Verification: The PROSPECTRA Methodology. 173-194
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Goodenough86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Goodenough86
John B. Goodenough:
Ada Compiler Validation: An Example of Software Testing Theory and Practice. 195-232
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/Habermann86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Habermann86
A. Nico Habermann:
The Software Engineering Institute at Carnegie Mellon University. 233-248
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaEurope/LuckhamHMBH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/LuckhamHMBH86
David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler:
Task Sequencing Languages for Specifying Distributed Ada Systems. 249-305

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.